A natural axiomatization of computability and proof of Church’s thesis Nachum Dershowitz and Yuri Gurevich 1.
Recursive drawing
A natural axiomatization of computability and proof of Church’s thesis