Properties (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
Mathematician
|
| gptkbp:academicAdvisor |
gptkb:Alonzo_Church
|
| gptkbp:almaMater |
gptkb:University_of_California,_Berkeley
|
| gptkbp:awards |
Fellow_of_the_American_Mathematical_Society
Fellow_of_the_American_Academy_of_Arts_and_Sciences |
| gptkbp:birthDate |
1928-05-08
|
| gptkbp:children |
2
|
| gptkbp:employees |
gptkb:New_York_University
|
| gptkbp:field |
Mathematics
|
| https://www.w3.org/2000/01/rdf-schema#label |
Martin Davis
|
| gptkbp:influenced |
gptkb:Stephen_Cole_Kleene
|
| gptkbp:influencedBy |
gptkb:David_Hilbert
|
| gptkbp:knownFor |
Contributions to mathematical logic
|
| gptkbp:nationality |
American
|
| gptkbp:notableWork |
gptkb:Hilbert's_tenth_problem
|
| gptkbp:occupation |
Professor
|
| gptkbp:spouse |
Ruth_Davis
|