Emil Post

GPTKB entity

Statements (49)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:award gptkb:Guggenheim_Fellowship
gptkbp:birthDate 1897-02-11
gptkbp:birthPlace gptkb:Augustów,_Russian_Empire
gptkbp:causeOfDeath heart attack
gptkbp:child gptkb:Gertrude_Post
gptkbp:citizenship gptkb:United_States
gptkbp:deathDate 1954-04-21
gptkbp:deathPlace gptkb:New_York_City,_United_States
gptkbp:doctoralAdvisor gptkb:Cassius_Jackson_Keyser
gptkbp:education gptkb:City_College_of_New_York
gptkb:Columbia_University
gptkbp:emigratedTo gptkb:Russian_Empire
gptkb:United_States
gptkbp:employer gptkb:City_College_of_New_York
gptkb:Columbia_University
gptkbp:ethnicity Jewish
gptkbp:field gptkb:logic
gptkb:mathematics
computability theory
gptkbp:fullName gptkb:Emil_Leon_Post
https://www.w3.org/2000/01/rdf-schema#label Emil Post
gptkbp:influenced gptkb:Alan_Turing
gptkb:Martin_Davis
gptkb:Stephen_Kleene
gptkbp:influencedBy gptkb:Bertrand_Russell
gptkb:David_Hilbert
gptkbp:knownFor gptkb:Post's_theorem
gptkb:Post–Turing_machine
gptkb:Post_correspondence_problem
gptkb:Post_normal_systems
work on formal systems
work on recursive functions
work on undecidability
gptkbp:memberOf gptkb:American_Mathematical_Society
gptkbp:nationality gptkb:American
gptkbp:notableStudent gptkb:Martin_Davis
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:publishedIn gptkb:American_Journal_of_Mathematics
gptkb:Annals_of_Mathematics
gptkbp:religion gptkb:Judaism
gptkbp:residence gptkb:New_York_City
gptkbp:spouse gptkb:Gertrude_Singer
gptkbp:thesisTitle Introduction to a general theory of elementary propositions
gptkbp:thesisYear 1920
gptkbp:bfsParent gptkb:Emmy_Noether
gptkb:logic
gptkbp:bfsLayer 4