Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:almaMater |
gptkb:University_of_California,_Berkeley
|
| gptkbp:awards |
Fellow_of_the_American_Academy_of_Arts_and_Sciences
Fellow_of_the_Association_for_Computing_Machinery |
| gptkbp:birthDate |
1934-01-30
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
John Soare
|
| gptkbp:influenced |
gptkb:Stephen_Cole_Kleene
|
| gptkbp:influencedBy |
gptkb:Alonzo_Church
|
| gptkbp:knownFor |
Recursive function theory
|
| gptkbp:nationality |
American
|
| gptkbp:work |
Computational Complexity
Mathematical Logic Set Theory Computability Theory |