Computability in Europe 2006
Logical Approaches to Computational Barriers
|Author(s):||Greg Michaelson and Paul Cockshott|
|Presentation:||Constraints on Hypercomputation.ppt|
|Slot:||Mon, 11:10-11:30, Faraday C (col. 3)|
Wegner and Eberbach have argued that there are fundamental limitations to Turing Machines as a foundation of computability and that these can be overcome by so-called superTuring models. In this paper we contest their claims for interaction machines and the pi-calculus.
|websites: Arnold Beckmann||2006-04-19|