| __Logic & Semantics__ *(Site not responding. Last check: 2007-10-08)* |

| | **Hypercomputation** is "the study of computation beyond that defined by the Turing machine, and is also known as super-Turing, non-standard or non-recursive computation." This is a relatively new multidisciplinary area and remains something of a speculative backwater. |

| | However, many research ideas here fit rather naturally into my general areas of philosophical research: in particular, relations between the foundations of mathematics/logic and physics, and my work on theories of truth, and more recently philosophy of mind and psychology. |

| | (1) To discuss what the implications of **hypercomputation** might be: implications for the foundations/philosophy of mathematics, and connections with some philosophical ideas about the Church-Turing Thesis, "supertasks", and other oddities. |

| www.cl.cam.ac.uk /Research/LS/Talks/2000_01/01_03_02.Abstract.html (131 words) |