Statements (25)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:person
|
| gptkbp:almaMater |
gptkb:University_of_Oxford
|
| gptkbp:birthDate |
1912-12-15
|
| gptkbp:birthPlace |
gptkb:London,_England
|
| gptkbp:deathDate |
1985-03-08
|
| gptkbp:deathPlace |
gptkb:Leicester,_England
|
| gptkbp:doctoralAdvisor |
gptkb:G._H._Hardy
|
| gptkbp:field |
gptkb:logic
gptkb:set_theory number theory |
| https://www.w3.org/2000/01/rdf-schema#label |
Reuben Goodstein
|
| gptkbp:knownFor |
work on the foundations of mathematics
work on mathematical logic Goodstein's theorem |
| gptkbp:nationality |
British
|
| gptkbp:occupation |
gptkb:mathematician
|
| gptkbp:publishedIn |
'Constructive Formalism'
'Logic and Life' 'Mathematical Logic' 'The Steinhaus Longimeter' 'Recursive Number Theory: A Development of Recursive Arithmetic in a Logic-Free Equation Calculus' |
| gptkbp:spouse |
Margaret Goodstein
|
| gptkbp:workInstitution |
University of Leicester
|
| gptkbp:bfsParent |
gptkb:Philosophers_of_mathematics
|
| gptkbp:bfsLayer |
8
|