A Basis for a Mathematical Theory of Computation (1963)

by John Mccarthy
Venue:Computer Programming and Formal Systems
Citations:202 - 6 self

Active Bibliography

4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
32 Computability and recursion – Robert I. Soare - 1996
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
Church’s Thesis – Guram Bezhanishvili
If intelligence is computable, then... – Peter Kugel - 2003
3 Towards a theory of intelligence – Peter Kugel
2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
1 Comparative Analysis of Hypercomputational Systems Submitted in partial fulfilment – Mariam Kiran, Supervisor Dr Mike Stannett
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
18 Thinking May Be More Than Computing – Peter Kugel - 1986
3 Computability and Incomputability – Robert I. Soare
31 Hypercomputation: computing more than the Turing machine – Toby Ord - 2002
16 The many forms of hypercomputation – Toby Ord - 2006
12 The Church-Turing Thesis over Arbitrary Domains – Udi Boker, Nachum Dershowitz - 2008
21 A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS – Nachum Dershowitz, Yuri Gurevich
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
Book Review The Essential Turing Reviewed by Andrew Hodges The Essential Turing – A. M. Turing, B. Jack Copel, British Alan, M. Turing
An evolutionary model with Turing machines – Giovanni Feverati, Fabio Musso - 711
Inaccessibility and undecidability in computation, geometry and dynamical systems – Asaki Saito , Kunihiko Kaneko - 2001