A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS

by Nachum Dershowitz , Yuri Gurevich
Citations:21 - 10 self

Active Bibliography

2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
18 Thinking May Be More Than Computing – Peter Kugel - 1986
32 Computability and recursion – Robert I. Soare - 1996
If intelligence is computable, then... – Peter Kugel - 2003
1 Comparative Analysis of Hypercomputational Systems Submitted in partial fulfilment – Mariam Kiran, Supervisor Dr Mike Stannett
Effectiveness ∗ – Nachum Dershowitz, Evgenia Falkovich, Gleichung Eine, Diophantische Gleichung - 2011
Church’s Thesis – Guram Bezhanishvili
4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
26 Accelerated Turing Machines – B. Jack Copeland - 2002
3 Computability and Incomputability – Robert I. Soare
2 The Generic Model of Computation – Nachum Dershowitz
3 Towards a theory of intelligence – Peter Kugel
16 The many forms of hypercomputation – Toby Ord - 2006
1 The physical and philosophical implications of the Church-Turing thesis – Eleni Pagani - 2004
development of computer science – J. Díaz C. Torras
A personal account of Turing’s imprint on the development of computer science – J. Díaz, C. Torras
1 The New AI is General & Mathematically Rigorous – Jürgen Schmidhuber