Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematician
logician |
| gptkbp:almaMater |
gptkb:University_of_Pennsylvania
|
| gptkbp:awards |
gptkb:National_Medal_of_Science
|
| gptkbp:born |
January 11, 1897
|
| gptkbp:died |
April 21, 1954
|
| gptkbp:field |
computer science
mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Emil Post
|
| gptkbp:influenced |
gptkb:Martin_Davis
gptkb:John_von_Neumann gptkb:Alan_Turing gptkb:Stephen_Cole_Kleene |
| gptkbp:knownFor |
Post Correspondence Problem
Post's_theorem |
| gptkbp:nationality |
American
|
| gptkbp:notableAlumni |
Post's_canonical_form
Post's_program |
| gptkbp:work |
gptkb:Formal_Languages
gptkb:Post's_Correspondence_Problem Mathematical Logic Computability Theory Recursive Functions Theory of Computation Theory of Algorithms Post's Problem |