- (3 other versions)Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.details
|
|
The Physical Church Thesis and Physical Computational Complexity.Itamar Pitowski - 1990 - Iyyun 39:81-99.details
|
|
(2 other versions)Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.details
|
|
(1 other version)The Fabric of Reality.David Deutsch - 1997 - Allan Lane.details
|
|
Consistent Quantum Theory.Robert B. Griffiths - 2002 - Cambridge UP.details
|
|
Non-Turing Computations via Malament-Hogarth space-times.Gábor Etesi & István Németi - 2002 - International Journal of Theoretical Physics 41:341--70.details
|
|
Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.details
|
|
Two undecidable problems of analysis.Bruno Scarpellini - 2003 - Minds and Machines 13 (1):49-77.details
|
|
Can an infinitude of operations be performed in a finite time?Adolf Grünbaum - 1969 - British Journal for the Philosophy of Science 20 (3):203-218.details
|
|
Forever is a day: Supertasks in Pitowsky and Malament-Hogarth spacetimes.John Earman & John D. Norton - 1993 - Philosophy of Science 60 (1):22-42.details
|
|
Application of Recursive Arithmetic to the Problem of Circuit Synthesis.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (4):289-290.details
|
|
(1 other version)The Fabric of Reality: The Science of Parallel Universes-- and Its Implications.David Deutsch & Roger Deutsch - 1997 - Viking Adult.details
|
|
Reflections on quantum computing.Michael J. Dinneen, Karl Svozil & Cristian S. Calude - 2000 - Complexity 6 (1):35-37.details
|
|
Computability and physical theories.Robert Geroch & James B. Hartle - 1986 - Foundations of Physics 16 (6):533-550.details
|
|
The diagonal method and hypercomputation.Toby Ord & Tien D. Kieu - 2005 - British Journal for the Philosophy of Science 56 (1):147-156.details
|
|
Hypercomputation and the Physical Church‐Turing Thesis.Paolo Cotogno - 2003 - British Journal for the Philosophy of Science 54 (2):181-223.details
|
|
Deciding arithmetic using SAD computers.Mark Hogarth - 2004 - British Journal for the Philosophy of Science 55 (4):681-691.details
|
|