Properties (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:affiliation |
gptkb:Ohio_State_University
|
| gptkbp:awards |
Fellow_of_the_American_Academy_of_Arts_and_Sciences
Fellow_of_the_Association_for_Computing_Machinery |
| gptkbp:birthDate |
1939-04-01
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Harvey Friedman
|
| gptkbp:influencedBy |
gptkb:Paul_Cohen
Kurt Gödel |
| gptkbp:knownFor |
Mathematical logic
Set theory |
| gptkbp:nationality |
American
|
| gptkbp:notableFeature |
gptkb:M._Z._Spira
gptkb:Richard_Smullyan gptkb:J._Michael_Steele gptkb:Stephen_Cole_Kleene gptkb:W._Hugh_Woodin |
| gptkbp:researchFocus |
Computability theory
Proof theory Foundations of mathematics Set-theoretic topology |