Born
1903
Died
1995
Nationality
American
Events involving Alonzo Church (1)
1936
ID: 370
Alonzo Church proves the undecidability of first-order logic (Church's Theorem) and develops lambda calculus
ID: 370