Results 1 
4 of
4
Physical Hypercomputation and the Church–Turing Thesis
, 2003
"... We describe a possible physical device that computes a function that cannot be computed by a Turing machine. The device is physical in the sense that it is compatible with General Relativity. We discuss some objections, focusing on those which deny that the device is either a computer or computes a ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
We describe a possible physical device that computes a function that cannot be computed by a Turing machine. The device is physical in the sense that it is compatible with General Relativity. We discuss some objections, focusing on those which deny that the device is either a computer or computes a function that is not Turing computable. Finally, we argue that the existence of the device does not refute the Church–Turing thesis, but nevertheless may be a counterexample to Gandy’s thesis.
Zeno machines and hypercomputation
 Theoretical Computer Science
"... This paper reviews the ChurchTuring Thesis (or rather, theses) with reference to their origin and application and considers some models of “hypercomputation”, concentrating on perhaps the most straightforward option: Zeno machines (Turing machines with accelerating clock). The halting problem is br ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
This paper reviews the ChurchTuring Thesis (or rather, theses) with reference to their origin and application and considers some models of “hypercomputation”, concentrating on perhaps the most straightforward option: Zeno machines (Turing machines with accelerating clock). The halting problem is briefly discussed in a general context and the suggestion that it is an inevitable companion of any reasonable computational model is emphasised. It is suggested that claims to have “broken the Turing barrier ” could be toned down and that the important and wellfounded rôle of Turing computability in the mathematical sciences stands unchallenged.
Constraints on Hypercomputation, in
 Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006
, 2006
"... “To infinity, and beyond!”, Buzz Lightyear, Toy Story, Pixar, 1995. Many attempts to transcend the fundamental limitations to computability implied by the Halting Problem for Turing Machines depend on the use of forms of hypercomputation that draw on notions of infinite or continuous, as opposed to ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
“To infinity, and beyond!”, Buzz Lightyear, Toy Story, Pixar, 1995. Many attempts to transcend the fundamental limitations to computability implied by the Halting Problem for Turing Machines depend on the use of forms of hypercomputation that draw on notions of infinite or continuous, as opposed to bounded or discrete, computation. Thus, such schemes may include the deployment of actualised rather than potential infinities of physical resources, or of physical representations of real numbers to arbitrary precision. Here, we argue that such bases for hypercomputation are not materially realisable and so cannot constitute new forms of effective calculability. 1
TURING AND THE PHYSICS OF THE MIND
, 2011
"... Turing's lecture 'Can Digital Computers Think? ' was broadcast on BBC Radio on 15th May 1951 (repeated on 3rd July). It was the second in a series of lectures entitled 'Automatic ..."
Abstract
 Add to MetaCart
Turing's lecture 'Can Digital Computers Think? ' was broadcast on BBC Radio on 15th May 1951 (repeated on 3rd July). It was the second in a series of lectures entitled 'Automatic