R. L. Goodstein
E946723
R. L. Goodstein was a British mathematician and logician best known for Goodstein's theorem and his work in the foundations of mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| R. L. Goodstein canonical | 1 |
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
logician ⓘ mathematician ⓘ |
| areaOfInfluence |
proof theory
ⓘ
transfinite numbers ⓘ |
| citizenship | British ⓘ |
| countryOfCitizenship | United Kingdom ⓘ |
| dateOfBirth | 1912 ⓘ |
| dateOfDeath | 1985 ⓘ |
| doctoralAdvisor |
G. H. Hardy
NERFINISHED
ⓘ
Ludwig Wittgenstein NERFINISHED ⓘ |
| doctoralStudent | John Horton Conway NERFINISHED ⓘ |
| educatedAt |
St John's College, Cambridge
NERFINISHED
ⓘ
Cambridge University ⓘ
surface form:
University of Cambridge
|
| employer |
University of Leicester
NERFINISHED
ⓘ
University of Reading NERFINISHED ⓘ |
| familyName | Goodstein NERFINISHED ⓘ |
| fieldOfWork |
foundations of mathematics
ⓘ
mathematical logic ⓘ ordinal analysis ⓘ |
| genre |
logic textbook
ⓘ
mathematics textbook ⓘ |
| givenName | Reuben NERFINISHED ⓘ |
| hasAcademicDiscipline |
mathematics
ⓘ
philosophy of mathematics ⓘ |
| hasNotableStudent | John Horton Conway NERFINISHED ⓘ |
| influencedBy |
David Hilbert
NERFINISHED
ⓘ
G. H. Hardy NERFINISHED ⓘ Ludwig Wittgenstein ⓘ |
| knownFor |
Goodstein's theorem
NERFINISHED
ⓘ
work on ordinal numbers ⓘ work on the foundations of arithmetic ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf | London Mathematical Society NERFINISHED ⓘ |
| notableWork |
Boolean Algebra
NERFINISHED
ⓘ
Constructive Formalism NERFINISHED ⓘ Goodstein sequence NERFINISHED ⓘ Goodstein's theorem NERFINISHED ⓘ Recursive Number Theory NERFINISHED ⓘ The Structure of Arithmetic NERFINISHED ⓘ |
| occupation | university teacher ⓘ |
| placeOfBirth |
London, England
ⓘ
surface form:
London
|
| placeOfDeath | Leicester NERFINISHED ⓘ |
| sexOrGender | male ⓘ |
| workLocation |
Leicester
NERFINISHED
ⓘ
Reading NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.