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