Alonzo Church
0 sources
Summary
Alonzo Church was born on June 14, 1903[1], in Washington, D.C.[2]. He died on August 11, 1995[3], in Hudson[4]. He worked as a mathematician[5], philosopher[6], university teacher[7], computer scientist[8], and logician[9]. He ranks in the top 0.7% of human entities by monthly Wikipedia readership (2,678 views/month, #6,970 of 1,000,298).[10]
Key Facts
- Place of burial: Princeton Cemetery[11]
- Father: Samuel Robbins Church[12]
- Country of citizenship: United States[13]
- Native language: English[14]
- Field of work: mathematical logic[15], theoretical computer science[16], mathematics[17], logic[18]
- Employer: Princeton University[19], University of California, Los Angeles[20]
- Educated at: Harvard University[21], Princeton University[22], University of Göttingen[23], University of Amsterdam[24]
- Doctoral advisor: Oswald Veblen[25]
- Member of: American Academy of Arts and Sciences[26], American Association for the Advancement of Science[27], National Academy of Sciences[28]
- Religion or worldview: Presbyterianism[29]
- Sex or gender: male[30]
- Doctoral student: C. Anthony Anderson[31], Peter B. Andrews[32], George Alfred Barnard[33], Martin Davis[34], Leon Henkin[35], John George Kemeny[36], Stephen Cole Kleene[37], Michael O. Rabin[38], Hartley Rogers, Jr.[39], J. Barkley Rosser[40], Nathan Salmon[41], Dana Scott[42], Raymond Smullyan[43], Alan Turing[44]
- Archives at: Princeton University Library[45], ETH Zurich University Archives[46]
- Academic degree: Doctor of Philosophy[47]
Body
Works and Contributions
Things named for Alonzo Church include Church–Turing thesis[48], Church encoding[49], Church–Rosser theorem[50], Church–Turing–Deutsch principle[51], and confluence[52].
Why It Matters
Alonzo Church has Wikipedia articles in 26 language editions, a strong signal of global cultural recognition.[53] He is known by 26 alternative names across languages and contexts.[54]
He has been cited as an influence by Leon Henkin[55], a mathematician[56], 1921–2006[57], of United States[58], awarded the Chauvenet Prize[59], specialised in mathematics[60].
He is credited with the discovery of lambda calculus[61], a mathematical model[62] and simply typed lambda calculus[63], a lambda calculus[64]. Entities named for him include Church–Turing thesis[48], Church encoding[49], Church–Rosser theorem[50], Church–Turing–Deutsch principle[51], and confluence[52].
His notable doctoral advisees include Alan Turing[65], a computer scientist[66], 1912–1954[67], of United Kingdom[68], awarded the Fellow of the Royal Society[69], specialised in cryptanalysis[70]; Raymond Smullyan[71], a mathematician[72], 1919–2017[73], of United States[74], specialised in logic[75]; Stephen Cole Kleene[76], a mathematician[77], 1909–1994[78], of United States[79], awarded the Guggenheim Fellowship[80], specialised in theoretical computer science[81]; Michael O. Rabin[82]; John George Kemeny[83]; and Dana Scott[84].
FAQs
Where was Alonzo Church born?
Alonzo Church's place of birth was Washington, D.C.[2].
Where did Alonzo Church die?
Alonzo Church died in Hudson[4].
Who were Alonzo Church's parents?
Alonzo Church's father was Samuel Robbins Church[12].
What did Alonzo Church do for work?
Alonzo Church worked as a mathematician[5], philosopher[6], university teacher[7], computer scientist[8], and logician[9].
Where did Alonzo Church go to school?
Alonzo Church was educated at Harvard University[21], Princeton University[22], University of Göttingen[23], and University of Amsterdam[24].
Who did Alonzo Church influence?
Alonzo Church has been cited as an influence by Leon Henkin[55].
What did Alonzo Church discover?
Alonzo Church is credited as discoverer of lambda calculus[61] and simply typed lambda calculus[63].