Sciweavers

457 search results - page 1 / 92
» Hypercomputation: computing more than the Turing machine
Sort
View
CORR
2007
Springer
111views Education» more  CORR 2007»
13 years 4 months ago
Hypocomputation
Most research into hypercomputation focuses only on machines able to prove stronger results the basic Turing Machine, hence the phrase hypercomputation. However, developing hyperco...
David Love
CIE
2005
Springer
13 years 10 months ago
How to Compare the Power of Computational Models
We argue that there is currently no satisfactory general framework for comparing the extensional computational power of arbitrary computational models operating over arbitrary doma...
Udi Boker, Nachum Dershowitz
CIE
2006
Springer
13 years 8 months ago
Constraints on Hypercomputation
Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations to Turing Machines as a foundation of computability and that these can be overcome by so-called super...
Greg Michaelson, W. Paul Cockshott
CIE
2007
Springer
13 years 11 months ago
From Logic to Physics: How the Meaning of Computation Changed over Time
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
Itamar Pitowsky