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

703 Introduction to Metamathematics – S Kleene - 1952
1198 On computable numbers, with an application to the Entscheidungsproblem – A Turing - 1937
483 The Connection Machine – D Hillis - 1985
407 Membrane computing: an introduction – G Paun - 2002
8 Prospects for mathematical logic in the twenty-first century – Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore - 2002
368 Probabilistic checking of proofs: a new characterization of NP – Sanjeev Arora - 1998
276 An unsolvable problem of elementary number theory – A Church - 1936
286 A survey of parallel algorithms for shared-memory machines – Richard M Karp - 1988
159 On The Computational Power Of Neural Nets – Hava T. Siegelmann, Eduardo D. Sontag - 1995