2 events with tag "lambda calculus"
1936
ID: 370
Alonzo Church proves the undecidability of first-order logic (Church's Theorem) and develops lambda calculus
ID: 370
1936
ID: 4487
Alonzo Church independently develops lambda calculus for computability
ID: 4487