A Brief, Incomplete, and Mostly Wrong Introduction to Alan Turing's Work
A natural axiomatization of computability and proof of Church’s thesis Nachum Dershowitz and Yuri Gurevich 1.
Richard Dedekind Theory of Algebraic Integers
cs3102: Theory of Computation Class 15: Church-Turing Thesis
Polynomial Factorization Olga Sergeeva Ferien-Akademie 2004, September 19 – October 1.
A natural axiomatization of computability and proof of Church’s thesis