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
|