A natural axiomatization of computability and proof of Church’s thesis Nachum Dershowitz and Yuri Gurevich 1.
1 91.304 Foundations of (Theoretical) Computer Science Chapter 3 Lecture Notes (Section 3.3: Definition of Algorithm) David Martin [email protected] With significant.
E-mail Technical Coordinators Meeting Chris Bongaarts Steve Siirila June 8, 2005.