Kurt Gödel

E18153

human logician mathematician philosopher

Kurt Gödel was a pioneering logician and mathematician best known for his incompleteness theorems, which fundamentally transformed the foundations of mathematics and logic.

Aliases (2)

Gödel ×1
Kurt Friedrich Gödel ×1

Statements (59)

Predicate	Object
instanceOf	human → logician → mathematician → philosopher →
academicDegree	PhD in mathematics →
awardReceived	Albert Einstein Award → National Medal of Science →
causeOfDeath	malnutrition →
citizenship	Austria → Czechoslovakia → United States of America →
countryOfBirth	Austria-Hungary →
countryOfDeath	United States of America →
dateOfBirth	1906-04-28 →
dateOfDeath	1978-01-14 →
doctoralAdvisor	Hans Hahn →
educatedAt	University of Vienna →
employer	Institute for Advanced Study →
familyName	Gödel →
fieldOfWork	mathematical logic → philosophical logic → philosophy of mathematics → proof theory → set theory →
fullName	Kurt Friedrich Gödel →
givenName	Kurt →
influenced	Alan Turing → Hilary Putnam → Paul Cohen → Saul Kripke → Solomon Feferman →
influencedBy	Bertrand Russell → David Hilbert → Edmund Husserl → Gottlob Frege →
knownFor	completeness theorem → consistency of the axiom of choice with ZF → consistency of the generalized continuum hypothesis with ZF → incompleteness theorems →
languageSpoken	English → German →
memberOf	Austrian Academy of Sciences → Institute for Advanced Study → National Academy of Sciences →
movement	analytic philosophy →
notableIdea	Gödel's ontological proof →
notableWork	Gödel metric → Gödel numbering → Gödel's incompleteness theorems → completeness theorem for first-order logic → constructible universe →
placeOfBirth	Brno → Moravia →
placeOfDeath	Princeton, New Jersey →
religiousBelief	theism →
residence	Princeton, New Jersey → Vienna →
spouse	Adele Gödel →
workLocation	Princeton, New Jersey →

Referenced by (29)

Subject (surface form when different)	Predicate
Alonzo Church → David Hilbert → Ernst Zermelo → Georg Cantor → Jacques Herbrand →	influenced
Alvin Plantinga → Douglas Hofstadter → Martin Davis → Raymond Smullyan →	influencedBy
Gödel Prize → Gödel's incompleteness theorems →	namedAfter
Gödel's incompleteness theorems →	author
Hilbert’s program →	challengedBy
Princeton Cemetery →	containsGraveOf
School of Mathematics →	employerOf
Kurt Gödel ("Gödel") →	familyName
Albert Einstein Award →	firstRecipient
Kurt Gödel ("Kurt Friedrich Gödel") →	fullName
Princeton University Department of Mathematics →	hasNotableFaculty
axiom of choice →	independenceProvedBy
logical positivism →	keyFigure
Vienna Circle →	member
University of Vienna →	notableAlumni
Princeton University Press →	notableAuthorPublished
Albert Einstein Award →	notableRecipient
Institute for Advanced Study →	notableScholar
liar paradox →	studiedBy
Gödel, Escher, Bach →	subject
von Neumann–Bernays–Gödel set theory →	wasDevelopedBy