Properties (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:academicAdvisor |
gptkb:Alonzo_Church
|
| gptkbp:almaMater |
gptkb:University_of_California,_Berkeley
|
| gptkbp:author |
gptkb:Hilary_Putnam
gptkb:George_Boolos The Undecidable Computability_and_Unsolvability |
| gptkbp:awards |
Fellow_of_the_American_Mathematical_Society
Fellow_of_the_American_Academy_of_Arts_and_Sciences Fellow_of_the_Association_for_Computing_Machinery |
| gptkbp:birthDate |
1927-05-08
|
| gptkbp:employees |
gptkb:New_York_University
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Martin D. Davis
|
| gptkbp:influenced |
Philosophy of mathematics
Mathematical logic community Computability community |
| gptkbp:influencedBy |
gptkb:Alan_Turing
Kurt Gödel |
| gptkbp:knownFor |
Contributions to mathematical logic
|
| gptkbp:nationality |
American
|
| gptkbp:notableFeature |
gptkb:Richard_K._Guy
|
| gptkbp:occupation |
Professor
|
| gptkbp:researchInterest |
Algebra
Mathematical logic Computability theory |