A natural axiomatization of Church’s thesis (2007)

Cached

Download Links

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

Documents Related by Co-Citation

8 Prospects for mathematical logic in the twenty-first century – Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore - 2002
7 Towards a general theory of computability – R Montague
21 Why Gödel Didn't Have Church's Thesis – M Davis - 1982
18 Recursion Theory – Joseph R Shoenfield
6 Collected Works – K Gödel - 1986
4 O ponyatii algoritma [On the concept of algorithm], Uspekhi Matematicheskikh Nauk [Russian Mathematical Surveys – Andreĭ N Kolmogorov - 1953
685 Introduction to metamathematics – S C Kleene - 1952
1150 On computable numbers, with an application to the Entscheidungsproblem – A M Turing - 1936
261 An Unsolvable Problem of Elementary Number Theory – A Church - 1936
114 Sequential abstract state machines capture sequential algorithms – Yuri Gurevich
473 The Connection Machine – W Hillis - 1985
398 Membrane Computing. An Introduction – G Păun - 2002
357 Probabilistic checking of proofs: a new characterization of NP – Sanjeev Arora - 1998
56 Church’s thesis and principles for mechanism, in – R Gandy - 1980
156 On The Computational Power Of Neural Nets – Hava T. Siegelmann, Eduardo D. Sontag - 1995
285 Parallel algorithms for shared-memory machines, in: Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity – R M Karp, V Ramachandran - 1990
68 Păun: The Power of Communication: P Systems with Symport/Antiport – A Păun, Gh
48 P Systems with Active Membranes: Attacking NP Complete Problems – Gheorghe Păun - 1999
19 Algorithms: A quest for absolute definitions – Andreas Blass, Yuri Gurevich - 2003