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||
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie06/conf-code.php on line 135