Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos
Alonzo Church
Table of Contents
Introduction References & Edit History Quick Facts & Related Topics
Quizzes
computer chip. computer. Hand holding computer chip. Central processing unit (CPU). history and society, science and technology, microchip, microprocessor motherboard computer Circuit Board
Computers and Technology Quiz
Equations written on blackboard
Numbers and Mathematics
Related Questions
Read Next
bunch of numbers
Unusual Counting Systems
Programming computer abstract
Influential Computer Programming Languages
number zero, 0 balloon
Is Zero an Even or an Odd Number?
Discover
Four year old boy with grandfather and father lighting Hanukkah menorah. Photo taken on: December 21st, 2009
Which Is Correct: Hanukkah or Chanukah?
Ice Sledge Hockey, Hockey Canada Cup, USA (left) vs Canada, 2009. UBC Thunderbird Arena, Vancouver, BC, competition site for Olympic ice hockey and Paralympic ice sledge hockey. Vancouver 2010 Olympic and Paralympic Winter Games, Vancouver Olympics
10 Best Hockey Players of All Time
Orange basketball on black background and with low key lighting. Homepage 2010, arts and entertainment, history and society
The 10 Greatest Basketball Players of All Time
Facsimile of one of William Henry Ireland's forgeries, a primitive self-portrait of William Shakespeare(tinted engraving). Published for Samuel Ireland, Norfolk Street, Strand, December 1, 1795. (W.H. Ireland, forgery)
The Time a Law Clerk Successfully Forged a New Shakespeare Play to Impress His Dad
Colorful winter sunset
What's the Difference Between a Solstice and an Equinox?
A mug shot taken by the regional Colombia control agency in Medellin
Pablo Escobar: 8 Interesting Facts About the King of Cocaine
Close-up of ostriches (Struthio camelus) necks and heads; location unknown.
6 of the World's Most Dangerous Birds

Alonzo Church

American mathematician
verifiedCite
While every effort has been made to follow citation style rules, there may be some discrepancies. Please refer to the appropriate style manual or other sources if you have any questions.
Select Citation Style
Share
Share to social media
URL
https://mainten.top/biography/Alonzo-Church
Feedback
Corrections? Updates? Omissions? Let us know if you have suggestions to improve this article (requires login).
Thank you for your feedback

Our editors will review what you’ve submitted and determine whether to revise the article.

External Websites
Written and fact-checked by
The Editors of Encyclopaedia Britannica
Encyclopaedia Britannica's editors oversee subject areas in which they have extensive knowledge, whether from years of experience gained by working on that content or via study for an advanced degree. They write new content and verify and edit content received from contributors.
The Editors of Encyclopaedia Britannica
Article History
Quick Facts
Born:
June 14, 1903, Washington, D.C., U.S.
Died:
Aug. 11, 1995, Hudson, Ohio (aged 92)
Subjects Of Study:
Church’s thesis
See all related content

Alonzo Church (born June 14, 1903, Washington, D.C., U.S.—died Aug. 11, 1995, Hudson, Ohio) was a U.S. mathematician. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the foundations of computer science. The rule known as Church’s theorem or Church’s thesis (proposed independently by Alan M. Turing) states that only recursive functions can be calculated mechanically and implies that arithmetic procedures cannot be used to decide the consistency of statements formulated in accordance with the laws of arithmetic. He wrote the standard textbook Introduction to Mathematical Logic (1956) and helped found the Journal of Symbolic Logic, which he edited until 1979.

This article was most recently revised and updated by Encyclopaedia Britannica.