Alonzo Church

Summary

Alonzo Church is a human^[1]. Born in Washington, D.C.^[2], he… he was born on June 14, 1903^[3]. He passed away in Hudson^[4]. He died on August 11, 1995^[5]. He worked as a mathematician^[6], philosopher^[7], university teacher^[8], and computer scientist^[9]. He ranks in the top 0.7% of human entities by monthly Wikipedia readership (2,284 views/month, #6,970 of 1,000,298).^[10]

Key Facts

• Alonzo Church was born in Washington, D.C.^[2].
• Alonzo Church died in Hudson^[4].
• Alonzo Church was born on June 14, 1903^[3].
• Alonzo Church died on August 11, 1995^[5].
• Alonzo Church is buried at Princeton Cemetery^[11].
• Alonzo Church held citizenship in United States^[12].
• English was Alonzo Church's native language^[13].
• Alonzo Church worked as a mathematician^[6].
• Alonzo Church's professions included philosopher^[7].
• Alonzo Church worked as a university teacher^[8].
• Alonzo Church worked as a computer scientist^[9].
• Alonzo Church's field of work was mathematical logic^[14].
• Alonzo Church's field of work was theoretical computer science^[15].
• Alonzo Church's field of work was mathematics^[16].
• Alonzo Church's field of work was logic^[17].
• Alonzo Church was employed by Princeton University^[18].
• Alonzo Church was employed by University of California, Los Angeles^[19].
• Alonzo Church was educated at Harvard University^[20].
• Alonzo Church was educated at Princeton University^[21].
• Alonzo Church was educated at University of Göttingen^[22].
• Alonzo Church was educated at University of Amsterdam^[23].
• Alonzo Church's doctoral advisor was Oswald Veblen^[24].
• Alonzo Church was a member of American Academy of Arts and Sciences^[25].
• Alonzo Church was a member of American Association for the Advancement of Science^[26].
• Alonzo Church was a member of National Academy of Sciences^[27].

Body

Origins and Family

Alonzo Church was born in Washington, D.C.^[2]. He was born on June 14, 1903^[3]. English was his native language^[13].

Education

Educated at Harvard University^[20], a private university^[28], in United States^[29], founded in 1636^[30], headquartered in Cambridge^[31]; Princeton University^[21], a private university^[32], in United States^[33], founded in 1746^[34], headquartered in Princeton^[35]; University of Göttingen^[22], a campus university^[36], in Germany^[37], founded in 1734^[38], headquartered in Göttingen^[39]; and University of Amsterdam^[23], a university^[40], in Netherlands^[41], founded in 1632^[42], headquartered in Amsterdam^[43]. Alonzo Church's doctoral advisor was Oswald Veblen^[24]. He earned the academic degree of Doctor of Philosophy^[44].

Career and Affiliations

Recorded occupations include mathematician^[6], philosopher^[7], university teacher^[8], and computer scientist^[9]. Fields of work include mathematical logic^[14], a branch of mathematics^[45]; theoretical computer science^[15], a branch of computer science^[46]; mathematics^[16], an academic discipline^[47]; and logic^[17], a class used in Universal Decimal Classification^[48]. Employers include Princeton University^[18], a private university^[49], in United States^[50], founded in 1746^[51], headquartered in Princeton^[52] and University of California, Los Angeles^[19], a public research university^[53], in United States^[54], founded in 1919^[55], headquartered in Los Angeles^[56]. Doctoral students include C. Anthony Anderson^[57], a philosopher^[58], b. 1940^[59], of United States^[60]; Peter B. Andrews^[61], a mathematician^[62], 1937–2025^[63], of United States^[64], awarded the Herbrand Award^[65], specialised in mathematical logic^[66]; George Alfred Barnard^[67], a mathematician^[68], 1915–2002^[69], of United Kingdom^[70], awarded the Guy Medal in Gold^[71], specialised in statistics^[72]; Martin Davis^[73], a mathematician^[74], 1928–2023^[75], of United States^[76], awarded the Herbrand Award^[77], specialised in number theory^[78]; Leon Henkin^[79], a mathematician^[80], 1921–2006^[81], of United States^[82], awarded the Chauvenet Prize^[83], specialised in mathematics^[84]; and John George Kemeny^[85], a mathematician^[86], 1926–1992^[87], of Hungary^[88], awarded the Computer Pioneer Award^[89].

Personal Life

Alonzo Church's religion is recorded as Presbyterianism^[90].

Death and Burial

Alonzo Church died on August 11, 1995^[5]. He died in Hudson^[4]. He is buried at Princeton Cemetery^[11].

Works and Contributions

Things named for Alonzo Church include Church–Turing thesis^[91], Church encoding^[92], Church–Turing–Deutsch principle^[93], Church–Rosser theorem^[94], and confluence^[95].

Why It Matters

Alonzo Church ranks in the top 0.7% of human entities by monthly Wikipedia readership (2,284 views/month, #6,970 of 1,000,298).^[10] He has Wikipedia articles in 26 language editions, a strong signal of global cultural recognition.^[96] He is known by 16 alternative names across languages and contexts.^[97]

He has been cited as an influence by Leon Henkin^[98], a mathematician^[99], 1921–2006^[100], of United States^[101], awarded the Chauvenet Prize^[102], specialised in mathematics^[103].

He is credited with the discovery of lambda calculus^[104], a mathematical model^[105] and simply typed lambda calculus^[106], a lambda calculus^[107]. Entities named for him include Church–Turing thesis^[91], Church encoding^[92], Church–Turing–Deutsch principle^[93], Church–Rosser theorem^[94], and confluence^[95].

His notable doctoral advisees include Alan Turing^[108], a computer scientist^[109], 1912–1954^[110], of United Kingdom^[111], awarded the Fellow of the Royal Society^[112], specialised in cryptanalysis^[113]; Michael O. Rabin^[114], a computer scientist^[115], b. 1931^[116], of Israel^[117], awarded the Turing Award^[118], specialised in informatics^[119]; Raymond Smullyan^[120], a mathematician^[121], 1919–2017^[122], of United States^[123], specialised in logic^[124]; Stephen Cole Kleene^[125]; Dana Scott^[126]; and John George Kemeny^[127].

FAQs

Where was Alonzo Church born?

Born in Washington, D.C.^[2], Alonzo Church…

Where did Alonzo Church die?

Alonzo Church died in Hudson^[4].

What did Alonzo Church do for work?

Alonzo Church worked as mathematician^[6], philosopher^[7], university teacher^[8], and computer scientist^[9].

Where did Alonzo Church go to school?

Alonzo Church was educated at Harvard University^[20], Princeton University^[21], University of Göttingen^[22], and University of Amsterdam^[23].

Who did Alonzo Church influence?

Alonzo Church has been cited as an influence by Leon Henkin^[98].

What did Alonzo Church discover?

Alonzo Church is credited as discoverer of lambda calculus^[104] and simply typed lambda calculus^[106].