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
This entity first appeared as the object of triple T11736269 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: R. L. Goodstein Context triple: [Barkley Rosser, coAuthor, R. L. Goodstein]
-
A.
Fred Rosser
Fred Rosser is an American professional wrestler best known for his WWE run under the ring name Darren Young and for being one of the first openly gay wrestlers in a major wrestling promotion.
-
B.
Leo J. Frachtenberg
Leo J. Frachtenberg was an early 20th-century American anthropologist and linguist known for his documentation and analysis of Native American languages of the Pacific Northwest, including Siuslaw.
-
C.
J. Barkley Rosser
J. Barkley Rosser was an American logician and mathematician known for his influential work in mathematical logic, including contributions to lambda calculus and proof theory.
-
D.
B. D. Hyman
B. D. Hyman is an American author and Christian minister best known as the estranged daughter of actress Bette Davis and for her controversial memoir about their relationship.
-
E.
Morris Stoloff
Morris Stoloff was an American musical director, conductor, and composer best known for his work on numerous Hollywood film scores during the mid-20th century.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: R. L. Goodstein Target entity description: R. L. Goodstein was a British mathematician and logician best known for Goodstein's theorem and his work in the foundations of mathematics.
-
A.
Fred Rosser
Fred Rosser is an American professional wrestler best known for his WWE run under the ring name Darren Young and for being one of the first openly gay wrestlers in a major wrestling promotion.
-
B.
Leo J. Frachtenberg
Leo J. Frachtenberg was an early 20th-century American anthropologist and linguist known for his documentation and analysis of Native American languages of the Pacific Northwest, including Siuslaw.
-
C.
J. Barkley Rosser
J. Barkley Rosser was an American logician and mathematician known for his influential work in mathematical logic, including contributions to lambda calculus and proof theory.
-
D.
B. D. Hyman
B. D. Hyman is an American author and Christian minister best known as the estranged daughter of actress Bette Davis and for her controversial memoir about their relationship.
-
E.
Morris Stoloff
Morris Stoloff was an American musical director, conductor, and composer best known for his work on numerous Hollywood film scores during the mid-20th century.
- F. None of above. chosen
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 ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: R. L. Goodstein Description of subject: R. L. Goodstein was a British mathematician and logician best known for Goodstein's theorem and his work in the foundations of mathematics.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.