Effectiveness (2011)

by Nachum Dershowitz , Evgenia Falkovich

Active Bibliography

2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
2 The Generic Model of Computation – Nachum Dershowitz
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
3 A Formalization of the Church-Turing Thesis for State-Transition Models – Udi Boker, Nachum Dershowitz
The Influence of Domain . . . – Udi Boker - 2008
WHAT IS AN ALGORITHM? (REVISED) – Yuri Gurevich
21 A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS – Nachum Dershowitz, Yuri Gurevich
32 Computability and recursion – Robert I. Soare - 1996
19 Algorithms: A quest for absolute definitions – Andreas Blass, Yuri Gurevich - 2003
12 The Church-Turing Thesis over Arbitrary Domains – Udi Boker, Nachum Dershowitz - 2008
5 The history and concept of computability – Robert I. Soare - 1999
3 Computability and Incomputability – Robert I. Soare
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
1 Comparative Analysis of Hypercomputational Systems Submitted in partial fulfilment – Mariam Kiran, Supervisor Dr Mike Stannett
Universality, Turing Incompleteness and Observers – Klaus Sutner
4 Three Paths to Effectiveness – Udi Boker, Nachum Dershowitz
4 Interactive small-step algorithms I: Axiomatization, – Andreas Blass, Yuri Gurevich, Dean Rosenzweig, Benjamin Rossman - 2006
Proving Church’s Thesis (Abstract) – Yuri Gurevich