Active Bibliography

4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
33 Computability and recursion – Robert I. Soare - 1996
2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
5 The history and concept of computability – Robert I. Soare - 1999
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
1 Comparative Analysis of Hypercomputational Systems Submitted in partial fulfilment – Mariam Kiran, Supervisor Dr Mike Stannett
15 Computation and Hypercomputation – Mike Stannett - 2003
4 Hilbert’s Program Then and Now – Richard Zach - 2005
23 A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS – Nachum Dershowitz, Yuri Gurevich
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
Turing’s Approaches to Computability, Mathematical Reasoning and Intelligence – Accademia Nazionale Dei Lincei, Carlo Cellucci
Effective computation by humans and machines – Oron Shagir - 2002
1 The Church-Turing Thesis as an Immature Form of the Zuse-Fredkin Thesis (More Arguments in Support of the “Universe as a Cellular Automaton” Idea) – Plamen Petrov
3 Computability and Incomputability – Robert I. Soare
A Study of Logic and Programming via Turing Machines – Jerry M. Lodder
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
BERNAYS AND SET THEORY – Akihiro Kanamori, Heinz-dieter Ebbinghaus, Ulrich Felgner, Juliet Floyd, Wilfried Sieg, William Tait For
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
Gödel on Intuition and on Hilbert’s finitism – W. W. Tait