Church’s Thesis and the Conceptual Analysis of Computability (2007)

Cached

Download Links

by Michael Rescorla
Venue:Notre Dame Journal of Formal Logic
Citations:6 - 2 self

Active Bibliography

2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
1 The Physical Church-Turing Thesis: Modest or Bold? – Gualtiero Piccinini
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
21 A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS – Nachum Dershowitz, Yuri Gurevich
4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
unknown title – unknown authors
Quantum Computation: A Computer Science Perspective – Anders K. H. Bengtsson - 2005
unknown title – Bhupinder Singh Anand
10 Mathematical Models of Interactive Computing – Peter Wegner, Dina Goldin - 1999
Quantum Information Theory and . . . Quantum Mechanics – Christopher Gordon Timpson - 2004
1 The Incomputable Alan Turing – S. Barry Cooper
2 Church Without Dogma: Axioms for computability – Wilfried Sieg
Extensions, Automorphisms, and Definability – Robert I. Soare
32 Computability and recursion – Robert I. Soare - 1996
Copeland and Proudfoot on Computability – Michael Rescorla
21 Hypercomputation and the Physical Church-Turing Thesis – Paolo Cotogno - 2003
5 Zeno machines and hypercomputation – Petrus H. Potgieter
1 The physical and philosophical implications of the Church-Turing thesis – Eleni Pagani - 2004
12 The Church-Turing Thesis over Arbitrary Domains – Udi Boker, Nachum Dershowitz - 2008