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

How this entity was disambiguated

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 ⓘ
Ludwig Wittgenstein ⓘ
doctoralStudent John Horton Conway ⓘ
linked to: John H. Conway
educatedAt St John's College, Cambridge NERFINISHED ⓘ
University of Cambridge ⓘ
employer University of Leicester ⓘ
University of Reading ⓘ
familyName Goodstein ⓘ
fieldOfWork foundations of mathematics ⓘ
mathematical logic ⓘ
ordinal analysis ⓘ
genre logic textbook ⓘ
mathematics textbook ⓘ
givenName Reuben ⓘ
hasAcademicDiscipline mathematics ⓘ
philosophy of mathematics ⓘ
hasNotableStudent John Horton Conway ⓘ
linked to: John H. Conway
influencedBy David Hilbert ⓘ
G. H. Hardy ⓘ
Ludwig Wittgenstein ⓘ
knownFor Goodstein's theorem ⓘ
work on ordinal numbers ⓘ
work on the foundations of arithmetic ⓘ
languageOfWorkOrName English ⓘ
memberOf London Mathematical Society ⓘ
notableWork Boolean Algebra ⓘ
linked to: Boolean algebra

Constructive Formalism ⓘ
Goodstein sequence ⓘ
Goodstein's theorem ⓘ
Recursive Number Theory ⓘ
The Structure of Arithmetic ⓘ
occupation university teacher ⓘ
placeOfBirth London ⓘ
linked to: London, England
placeOfDeath Leicester ⓘ
sexOrGender male ⓘ
workLocation Leicester ⓘ
Reading ⓘ

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Barkley Rosser → coAuthor → R. L. Goodstein ⓘ