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.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Label	Occurrences
Alonzo Church canonical	35
Alonzo Church and J. Barkley Rosser	1

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	Curry encoding ⓘ surface form: Church encoding lambda calculus ⓘ surface form: Church numerals Church–Turing thesis ⓘ Entscheidungsproblem ⓘ surface form: 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 (36)

Full triples — surface form annotated when it differs from this entity's canonical label.

Church (surname) → hasNotableBearer → Alonzo Church ⓘ

David Hilbert → influenced → Alonzo Church ⓘ

Alan Turing → doctoralAdvisor → Alonzo Church ⓘ

Princeton University Department of Mathematics → hasNotableFaculty → Alonzo Church ⓘ

lambda calculus → introducedBy → Alonzo Church ⓘ

Church–Turing thesis → namedAfter → Alonzo Church ⓘ

Church–Turing thesis → associatedWith → Alonzo Church ⓘ

Church → hasNotableBearer → Alonzo Church ⓘ

Raymond Smullyan → doctoralAdvisor → Alonzo Church ⓘ

Raymond Smullyan → influencedBy → Alonzo Church ⓘ

Martin Davis → academicAdvisor → Alonzo Church ⓘ

Martin Davis → influencedBy → Alonzo Church ⓘ

Oswald Veblen → doctoralStudent → Alonzo Church ⓘ

Entscheidungsproblem → solvedBy → Alonzo Church ⓘ

Entscheidungsproblem → negativeAnswerGivenBy → Alonzo Church ⓘ

Church–Rosser property → namedAfter → Alonzo Church ⓘ

Church–Rosser property → namedInHonorOf → Alonzo Church ⓘ

this entity surface form: Alonzo Church and J. Barkley Rosser

Stephen Kleene → academicAdvisor → Alonzo Church ⓘ

Stephen Kleene → studentOf → Alonzo Church ⓘ

Computability Theory → hasKeyFigure → Alonzo Church ⓘ

Alonzo → hasNotableBearer → Alonzo Church ⓘ

Dana Scott → doctoralAdvisor → Alonzo Church ⓘ

Christopher Strachey → influencedBy → Alonzo Church ⓘ

The Undecidable → containsWorkBy → Alonzo Church ⓘ

Engines of Logic → mentionsPerson → Alonzo Church ⓘ

The Universal Computer → about → Alonzo Church ⓘ

Michael Rabin → doctoralAdvisor → Alonzo Church ⓘ

subject surface form: Michael O. Rabin

Hilbert and Ackermann’s "Grundzüge der theoretischen Logik" → influenced → Alonzo Church ⓘ

subject surface form: Grundzüge der theoretischen Logik

Haskell Curry → influencedBy → Alonzo Church ⓘ

Barkley Rosser → doctoralAdvisor → Alonzo Church ⓘ

Barkley Rosser → influencedBy → Alonzo Church ⓘ

John G. Kemeny → doctoralAdvisor → Alonzo Church ⓘ

Alonzo Church Award for Outstanding Contributions to Logic and Computation → namedAfter → Alonzo Church ⓘ

Max Newman → influencedBy → Alonzo Church ⓘ

William W. Boone → doctoralAdvisor → Alonzo Church ⓘ

William W. Boone → influencedBy → Alonzo Church ⓘ