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

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
8 Prospects for mathematical logic in the twenty-first century – Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore - 2002
4 O ponyatii algoritma [On the concept of algorithm], Uspekhi Matematicheskikh Nauk [Russian Mathematical Surveys – Andreĭ N Kolmogorov - 1953
690 Introduction to metamathematics, D – S C Kleene - 1952
1161 On computable numbers with an application to the Entscheidungsproblem – A Turing - 1936
265 An unsolvable problem of elementary number theory – A Church - 1936
115 Sequential abstract state machines capture sequential algorithms – Yuri Gurevich