1.Previous
3.Next

This result preceded Alan Turing's work on the halting problem, which also demonstrated the existence of a problem unsolvable by mechanical means. Upon hearing of Church's work, Turing enrolled at Princeton later that year under Church for a Ph.D. Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative "mechanical processes

1.Previous
3.Next