Location:
United States
Coordinates:
40.3431, -74.6551
Events at Princeton University (1)
1936
ID: 370
Alonzo Church proves the undecidability of first-order logic (Church's Theorem) and develops lambda calculus
ID: 370