The Church-Turing Thesis over Arbitrary Domains (2008)

by Udi Boker , Nachum Dershowitz
Citations:12 - 9 self

Active Bibliography

The Influence of Domain . . . – Udi Boker - 2008
2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
3 A Formalization of the Church-Turing Thesis for State-Transition Models – Udi Boker, Nachum Dershowitz
Proving Church’s Thesis (Abstract) – Yuri Gurevich
19 Algorithms: A quest for absolute definitions – Andreas Blass, Yuri Gurevich - 2003
6 N.: Comparing computational power – Udi Boker, Nachum Dershowitz
1 Comparative Analysis of Hypercomputational Systems Submitted in partial fulfilment – Mariam Kiran, Supervisor Dr Mike Stannett
4 Alan Turing and the Mathematical Objection – Gualtiero Piccinini - 2003
21 A NATURAL AXIOMATIZATION OF COMPUTABILITY AND PROOF OF CHURCH’S THESIS – Nachum Dershowitz, Yuri Gurevich
4 Three Paths to Effectiveness – Udi Boker, Nachum Dershowitz
Effectiveness ∗ – Nachum Dershowitz, Evgenia Falkovich, Gleichung Eine, Diophantische Gleichung - 2011
Models of Hypercomputation – Erman Acar - 2012
Church’s Thesis – Guram Bezhanishvili
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
16 The many forms of hypercomputation – Toby Ord - 2006
11 The Broad Conception Of Computation – B. Jack Copeland - 1997
1 The Physical Church-Turing Thesis: Modest or Bold? – Gualtiero Piccinini
unknown title – unknown authors
18 Thinking May Be More Than Computing – Peter Kugel - 1986