A natural axiomatization of Church’s thesis (2007)

Cached

Download Links

by Nachum Dershowitz , Yuri Gurevich
Citations:2 - 0 self

Active Bibliography

21 A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS – Nachum Dershowitz, Yuri Gurevich
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
32 Computability and recursion – Robert I. Soare - 1996
Church’s Thesis – Guram Bezhanishvili
1 Comparative Analysis of Hypercomputational Systems Submitted in partial fulfilment – Mariam Kiran, Supervisor Dr Mike Stannett
3 Computability and Incomputability – Robert I. Soare
A personal account of Turing’s imprint on the development of computer science – J. Díaz, C. Torras
19 Algorithms: A quest for absolute definitions – Andreas Blass, Yuri Gurevich - 2003
development of computer science – J. Díaz C. Torras
Effectiveness ∗ – Nachum Dershowitz, Evgenia Falkovich, Gleichung Eine, Diophantische Gleichung - 2011
13 Physical Hypercomputation and the Church–Turing Thesis – Oron Shagrir, et al. - 2003
Effective computation by humans and machines – Oron Shagir - 2002
5 The history and concept of computability – Robert I. Soare - 1999
4 Interactive small-step algorithms I: Axiomatization, – Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman - 2006
A Study of Logic and Programming via Turing Machines – Jerry M. Lodder
1 Information processing, computation, and cognition – Gualtiero Piccinini, Andrea Scarantino
12 The Church-Turing Thesis over Arbitrary Domains – Udi Boker, Nachum Dershowitz - 2008