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 has Wikipedia articles in 26 language editions, a strong signal of global cultural recognition.^[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–Rosser theorem^[93], confluence^[94], and Church–Turing–Deutsch principle^[95].

Why It Matters

Alonzo Church has Wikipedia articles in 26 language editions, a strong signal of global cultural recognition.^[10] He is known by 16 alternative names across languages and contexts.^[96]

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

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

His notable doctoral advisees include Raymond Smullyan^[107], a mathematician^[108], 1919–2017^[109], of United States^[110], specialised in logic^[111]; Simon B. Kochen^[112], a mathematician^[113], b. 1934^[114], of United States^[115], awarded the Guggenheim Fellowship^[116], specialised in model theory^[117]; J. Barkley Rosser^[118], a mathematician^[119], 1907–1989^[120], of United States^[121], awarded the Guggenheim Fellowship^[122], specialised in mathematical logic^[123]; Hartley Rogers, Jr.^[124]; Peter B. Andrews^[125]; and William Boone^[126].

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^[97].

What did Alonzo Church discover?

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