Disambiguation evidence for Alonzo Church via surface form

"Alonzo Church"

Triples (46)

Triples where some other subject referred to this entity as "Alonzo Church".

Church (surname) → hasNotableBearer →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
David Hilbert → influenced →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Alan Turing → doctoralAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Princeton University Department of Mathematics → hasNotableFaculty →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
lambda calculus → introducedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Church–Turing thesis → namedAfter →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Church–Turing thesis → associatedWith →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Church → hasNotableBearer →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Raymond Smullyan → doctoralAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Raymond Smullyan → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Martin Davis → academicAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Martin Davis → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Oswald Veblen → doctoralStudent →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Entscheidungsproblem → solvedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Entscheidungsproblem → negativeAnswerGivenBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Church–Rosser property → namedAfter →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Stephen Kleene → academicAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Stephen Kleene → studentOf →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Computability Theory → hasKeyFigure →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Alonzo → hasNotableBearer →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Dana Scott → doctoralAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Christopher Strachey → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
The Undecidable → containsWorkBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Engines of Logic → mentionsPerson →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
The Universal Computer → about →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Michael O. Rabin → doctoralAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
linked to: Michael Rabin
Grundzüge der theoretischen Logik → influenced →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
linked to: Hilbert and Ackermann’s "Grundzüge der theoretischen Logik"
Haskell Curry → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Barkley Rosser → doctoralAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Barkley Rosser → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
John G. Kemeny → doctoralAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Alonzo Church Award for Outstanding Contributions to Logic and Computation → namedAfter →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Max Newman → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
William W. Boone → doctoralAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
William W. Boone → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
John C. Reynolds → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Intensional Logic → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 → containsWorkBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Peter Landin → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
J. Barkley Rosser → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Church encoding → namedAfter →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
John G. Kemeny → doctoralAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
linked to: Kemeny
Recursive Functions and Intuitionistic Mathematics → influencedBy →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Journal of Symbolic Logic → associatedWith →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Michael Oser Rabin → doctoralAdvisor →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ
Chicago school of mathematics → notableMember →
"Alonzo Church"
↳ resolves to Alonzo Church
ⓘ