Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory (2009)

Cached

Download Links

by Robert I. Soare
Citations:4 - 0 self

Active Bibliography

32 Computability and recursion – Robert I. Soare - 1996
5 The history and concept of computability – Robert I. Soare - 1999
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
3 Computability and Incomputability – Robert I. Soare
2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
12 Notions of computability at higher types I – John Longley - 2005
Effectiveness ∗ – Nachum Dershowitz, Evgenia Falkovich, Gleichung Eine, Diophantische Gleichung - 2011
Church’s Thesis – Guram Bezhanishvili
Extensions, Automorphisms, and Definability – Robert I. Soare
1 Comparative Analysis of Hypercomputational Systems Submitted in partial fulfilment – Mariam Kiran, Supervisor Dr Mike Stannett
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 Kleene’s Amazing Second Recursion Theorem (Extended Abstract) – Yiannis N. Moschovakis
21 A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS – Nachum Dershowitz, Yuri Gurevich
UNDECIDABLE PROBLEMS: A SAMPLER – Bjorn Poonen
from Turing to Dijkstra” – Book Extract From, Edgar G. Daylight
1 The physical and philosophical implications of the Church-Turing thesis – Eleni Pagani - 2004
Submitted to Foundation of Physics Letters – Luigi Foschini - 1998