Detail map of Princeton, New Jersey, United States Overview map of Princeton, New Jersey, United States

A: Princeton, New Jersey, United States

Alonzo Church Proves Undecidability

1936
photograph of Alonzo Church
Image Source: en.wikipedia.org

Alonzo Church

In 1936 American mathematician and logician Alonzo Church of Princeton published his logical proof of the undecidability of arithmetic, using his lambda calculus.

Timeline Themes

Mathematics / Logic
Computer Science / Computing Theory