Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Person
|
| gptkbp:affiliatedWith |
gptkb:Princeton_University
|
| gptkbp:awards |
gptkb:National_Medal_of_Science
|
| gptkbp:birthDate |
1903-06-14
|
| gptkbp:bornIn |
gptkb:United_States
|
| gptkbp:contributedTo |
Computability theory
|
| gptkbp:deathDate |
1995-08-11
|
| gptkbp:hasFieldOfUse |
Mathematics
|
| gptkbp:hasOccupation |
Scientist
|
| https://www.w3.org/2000/01/rdf-schema#label |
John Church
|
| gptkbp:knownFor |
gptkb:Church-Turing_thesis
|