Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

Regular Talk:
Constraints on hypercomputation

Author(s): Greg Michaelson and Paul Cockshott
Presentation: Constraints on Hypercomputation.ppt
Slot: Mon, 11:10-11:30, Faraday C (col. 3)

Abstract

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 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net