Church's Thesis After 70 Years
Preview
[Church in a letter to Gédel, July 27, 1932] Alonzo Church's mathematical work
on computability and undecidability is well-known indeed, and we seem to have
an excellent understanding of the context in which it arose. The approach Church
...