Person
Alonzo Church
1903–1995
American mathematician and logician (1903–1995)
Contributions to this atlas (1)
Ideas in this atlas this person contributed to — grouped by the kind of contribution. A descriptive record, not a ranking.
Discovered
Attributions are a curated, verified selection — they claim no completeness, often honour several independent contributions, and mark disputed priority as such.