Church Turing Thesis

10.3 Church Turing Thesis

The Church Turing thesis, formal models of computation, equivalence of models, and the distinction between mathematical theorem and foundational principle.