Alonzo Church lived from 14 June 1903 to 11 August 1995 and was an American mathematician, logician and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science; he is best known for the lambda calculus, the Church-Turing thesis, proving the unsolvability of the Entscheidungsproblem, or decision problem, the Frege-Church ontology, and the Church-Rosser theorem. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.
Facts
Birth YearSourced to the subject's own account Defining MomentProved the unsolvability of the Entscheidungsproblem in An Unsolvable Problem of Elementary Number Theory (1936), now regarded as a classic of logic and computability theory. 2 Birth DateSourced to the subject's own account Notable PublicationAn Unsolvable Problem of Elementary Number Theory (1936) 2 Office HeldSourced to the subject's own accountProfessor of Mathematics, Princeton University 1 Death YearSourced to the subject's own account Death DateSourced to the subject's own account BirthplaceSourced to the subject's own accountWashington, D.C., United States 1 Death PlaceSourced to the subject's own accountHudson, Ohio, United States 1 TraditionMathematical logic (analytic tradition) 2 Classification
NationalitySourced to the subject's own account Tradition
Tradition (category) Connections
Associated With
Source Slingshot Argument (Wikipedia)
In Branch
Source Alonzo Church (Wikipedia)
In Tradition
Influenced
Source Alan Turing (Wikipedia)
In the Other Atlases
Same As
Also in Mathematics Atlas: the same subject.
Nationality
Also in History Atlas: the nationality of this subject.
Originated In
Also in Geography Atlas: where this subject originated.
Source Alonzo Church (Wikipedia)Lead sentence 1tier 3Quote, Lead sentence 1
Alonzo Church (June 14, 1903 – August 11, 1995) was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science.
Sources
1. Alonzo Church (Wikipedia)
WikipediaLead sentence, Wikipedia article Alonzo Church
Alonzo Church (June 14, 1903 - August 11, 1995) was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science.
Infobox, birth_place field, Wikipedia article Alonzo Church
birth_place = Washington, D.C., U.S.
Infobox, death_place field, Wikipedia article Alonzo Church
death_place = Hudson, Ohio, U.S.
Infobox, workplaces field, Wikipedia article Alonzo Church
workplaces = Princeton University (1929-67), UCLA (1967-95)
In Branch: Logic, Lead
Alonzo Church (June 14, 1903, August 11, 1995) was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science.
In Group: Analytic Logic, Lead
Alonzo Church (June 14, 1903, August 11, 1995) was an American computer scientist, mathematician, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science.
View the Source 2. Alonzo Church (Stanford Encyclopedia of Philosophy)
Stanford Encyclopedia of PhilosophyPreamble, Stanford Encyclopedia of Philosophy entry Church
Alonzo Church (1903-1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor.
Body text, Stanford Encyclopedia of Philosophy entry Church, discussion of the 1936 result
The paper in which this result is presented, entitled “An Unsolvable Problem of Elementary Number Theory” (1936a), is a great classic of logic and computability theory.
View the Source Alan Turing (Wikipedia)
WikipediaInfluenced: Alan Turing, Princeton sectionQuote, Influenced: Alan Turing, Princeton section
From September 1936 to July 1938, Turing spent most of his time studying under Church at Princeton University, in the second year as a Jane Eliza Procter Visiting Fellow.
Slingshot Argument (Wikipedia)
WikipediaAssociated With: Slingshot Argument, Article textQuote, Associated With: Slingshot Argument, Article text
It is usually said that versions of the slingshot argument have been given by Gottlob Frege, Alonzo Church, W. V. Quine, and Donald Davidson.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.
View At A Past Year
Choose a year to see this entry's facts and connections as the atlas records them at that moment: what it held then, what it held instead, and what it had not yet adopted. Choose Present for the current record.