A Natural Axiomatization of Computability and Proof of Church s Thesis

Nachum Dershowitz, Yuri Gurevich. A Natural Axiomatization of Computability and Proof of Church s Thesis. Bulletin of Symbolic Logic, 14(3):299-350, 2008. [doi]

Abstract

Abstract is missing.