Alonzo Church
1903-1995 · Princeton · American mathematical logic
lambda-calculusfunctional-programmingentscheidungsproblem
Primary works· 1
- 1936An Unsolvable Problem of Elementary Number Theory· English
Cross-branch
Biography pending
No hand-written bio for Alonzo Church yet. The metadata above (lifespan, region, tradition, primary works, tags) is the canon record from canon-figures/figures.json. Bios live under canon-figures/bios/ — contributions welcome.