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
|