Emil Leon Post

GPTKB entity

Statements (47)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:City_College_of_New_York
gptkb:Columbia_University
gptkbp:awardReceived gptkb:Guggenheim_Fellowship
gptkbp:birthDate 1897-02-11
gptkbp:birthPlace gptkb:Augustów,_Russian_Empire
gptkbp:causeOfDeath heart attack
gptkbp:children gptkb:Gertrude_Ruth_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:doctoralStudent gptkb:Martin_Davis
gptkbp:employer gptkb:City_College_of_New_York
gptkbp:ethnicGroup Jewish
gptkbp:field gptkb:logic
gptkb:mathematics
computability theory
recursion theory
https://www.w3.org/2000/01/rdf-schema#label Emil Leon Post
gptkbp:influenced gptkb:Alan_Turing
gptkb:Martin_Davis
gptkb:Stephen_Kleene
computability theory
gptkbp:influencedBy gptkb:Alonzo_Church
gptkb:Bertrand_Russell
gptkb:David_Hilbert
gptkb:Kurt_Gödel
gptkbp:knownFor gptkb:Post's_theorem
gptkb:Post_correspondence_problem
gptkb:Post_normal_systems
work on formal systems
work on recursive functions
work on undecidability
work on computability theory
gptkbp:memberOf gptkb:American_Mathematical_Society
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:Finite_combinatory_processes—formulation_1_(1936)
gptkb:Introduction_to_a_general_theory_of_elementary_propositions_(1921)
gptkb:Recursively_enumerable_sets_of_positive_integers_and_their_decision_problems_(1944)
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkbp:religion gptkb:Judaism
gptkbp:residence gptkb:New_York_City,_United_States
gptkbp:spouse gptkb:Gertrude_Singer
gptkbp:bfsParent gptkb:Emil_Post
gptkbp:bfsLayer 5