Person stub
Alonzo Church
1903–1995 · American logician
American logician (1903–1995), inventor of the lambda calculus.
Alonzo Church — American logician (1903–1995), inventor of the lambda calculus.
This entry is a stub. It will be written out in full when a Chromix article calls for it. What belongs here: what Alonzo Church actually did, why it mattered at the time, and what it made possible afterwards — each claim carrying its own source.
This entry is a stub. Most First Principles entries begin short and deepen only when a new article calls for it — the encyclopedia grows as Chromix writes.