A: Princeton, New Jersey, United States
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.
