Results 1 
2 of
2
Even Turing Machines Can Compute Uncomputable Functions
 Unconventional Models of Computation
, 1998
"... Accelerated Turing machines are Turing machines that perform tasks commonly regarded as impossible, such as computing the halting function. The existence of these notional machines has obvious implications concerning the theoretical limits of computability. 2 1. Introduction Neither Turing nor Post ..."
Abstract

Cited by 18 (3 self)
 Add to MetaCart
Accelerated Turing machines are Turing machines that perform tasks commonly regarded as impossible, such as computing the halting function. The existence of these notional machines has obvious implications concerning the theoretical limits of computability. 2 1. Introduction Neither Turing nor Post, in their descriptions of the devices we now call Turing machines, made much mention of time (Turing 1936, Post 1936). 1 They listed the primitive operations that their devices perform  read a square of the tape, write a single symbol on a square of the tape (first deleting any symbol already present), move one square to the right, and so forth  but they made no mention of the duration of each primitive operation. The crucial concept is that of whether or not the machine halts after a finite number of operations. Temporal considerations are not relevant to the functioning of the devices as described, nor  so we are clearly supposed to believe  to the soundness of the proofs that Turi...
The many forms of hypercomputation
 Applied Mathematics and Computation
, 2006
"... This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess. ..."
Abstract

Cited by 17 (0 self)
 Add to MetaCart
(Show Context)
This paper surveys a wide range of proposed hypermachines, examining the resources that they require and the capabilities that they possess.