Alonzo Church

E34828

human logician mathematician university teacher

Alonzo Church was an American mathematician and logician best known for developing lambda calculus and making foundational contributions to computability theory and mathematical logic.

Statements (52)

Predicate	Object
instanceOf	human → logician → mathematician → university teacher →
academicDegree	PhD in mathematics →
awardReceived	Leroy P. Steele Prize → Schock Prize in Logic and Philosophy →
countryOfCitizenship	United States of America →
dateOfBirth	1903-06-14 →
dateOfDeath	1995-08-11 →
doctoralAdvisor	Oswald Veblen →
educatedAt	Harvard University → Princeton University →
employer	Princeton University → University of California, Los Angeles →
familyName	Church →
fieldOfWork	computability theory → foundations of mathematics → lambda calculus → mathematical logic → philosophy of mathematics →
givenName	Alonzo →
influenced	Alan Turing → Dana Scott → Haskell Curry → Kurt Gödel → Stephen Kleene → computer science →
influencedBy	Bertrand Russell → David Hilbert → Gottlob Frege →
language	English →
mainInterest	decision problems in logic → effective calculability → formal systems →
memberOf	American Academy of Arts and Sciences → National Academy of Sciences →
notableStudent	Alan Turing → Barkley Rosser → Haskell Curry → Leon Henkin → Stephen Kleene →
notableWork	Church encoding → Church numerals → Church–Turing thesis → Church’s theorem on the undecidability of first-order logic → lambda calculus →
placeOfBirth	Washington, D.C. →
placeOfDeath	Hudson, Ohio →
positionHeld	professor of mathematics at Princeton University → professor of philosophy and mathematics at UCLA →
sexOrGender	male →

Referenced by (15)

Subject (surface form when different)	Predicate
Alan Turing → Raymond Smullyan →	doctoralAdvisor
Church → Church (surname) →	hasNotableBearer
Martin Davis → Raymond Smullyan →	influencedBy
Martin Davis →	academicAdvisor
Church–Turing thesis →	associatedWith
Oswald Veblen →	doctoralStudent
Princeton University Department of Mathematics →	hasNotableFaculty
David Hilbert →	influenced
lambda calculus →	introducedBy
Church–Turing thesis →	namedAfter
Entscheidungsproblem →	negativeAnswerGivenBy
Entscheidungsproblem →	solvedBy