Hugh Woodin
E446866
Hugh Woodin is an American logician and set theorist renowned for his work on large cardinals, determinacy, and the foundations of mathematics.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Hugh Woodin canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4493084 — 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: Hugh Woodin Context triple: [Paul Cohen, notableStudent, Hugh Woodin]
-
A.
William H. Woodin
William H. Woodin was an American industrialist and politician who served as U.S. Secretary of the Treasury under President Franklin D. Roosevelt during the early New Deal era.
-
B.
Richard J. Wilson
Richard J. Wilson is a British mathematician and author known for his work in graph theory and for co-writing influential popular and academic mathematics books.
-
C.
John Perry
John Perry is an American poet, essayist, and cyberlibertarian activist best known as a lyricist for the Grateful Dead and a co-founder of the Electronic Frontier Foundation.
-
D.
David Drumlin
David Drumlin is a high-ranking government science advisor and political figure in the science fiction film "Contact," often serving as a skeptical foil to the protagonist Ellie Arroway.
-
E.
Jeffrey L. Kimball
Jeffrey L. Kimball is an American cinematographer known for his work on high-profile action films, including "The Expendables" and several collaborations with director Tony Scott.
- 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: Hugh Woodin Target entity description: Hugh Woodin is an American logician and set theorist renowned for his work on large cardinals, determinacy, and the foundations of mathematics.
-
A.
William H. Woodin
William H. Woodin was an American industrialist and politician who served as U.S. Secretary of the Treasury under President Franklin D. Roosevelt during the early New Deal era.
-
B.
Richard J. Wilson
Richard J. Wilson is a British mathematician and author known for his work in graph theory and for co-writing influential popular and academic mathematics books.
-
C.
John Perry
John Perry is an American poet, essayist, and cyberlibertarian activist best known as a lyricist for the Grateful Dead and a co-founder of the Electronic Frontier Foundation.
-
D.
David Drumlin
David Drumlin is a high-ranking government science advisor and political figure in the science fiction film "Contact," often serving as a skeptical foil to the protagonist Ellie Arroway.
-
E.
Jeffrey L. Kimball
Jeffrey L. Kimball is an American cinematographer known for his work on high-profile action films, including "The Expendables" and several collaborations with director Tony Scott.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
logician ⓘ mathematician ⓘ set theorist ⓘ |
| awardReceived |
Gödel Lecture (American Mathematical Society)
NERFINISHED
ⓘ
Hausdorff Medal (European Set Theory Society) NERFINISHED ⓘ |
| countryOfCitizenship | United States of America ⓘ |
| doctoralAdvisor | W. Hugh Woodin Sr. (unknown/uncertain) NERFINISHED ⓘ |
| educatedAt |
California Institute of Technology
ⓘ
University of California, Berkeley ⓘ |
| employer |
Harvard University
ⓘ
University of California, Berkeley ⓘ |
| familyName | Woodin NERFINISHED ⓘ |
| fieldOfWork |
foundations of mathematics
ⓘ
mathematical logic ⓘ set theory ⓘ |
| givenName | Hugh NERFINISHED ⓘ |
| hasAcademicDiscipline |
philosophy of set theory
ⓘ
pure mathematics ⓘ |
| influenced |
modern set theory
ⓘ
research on the continuum problem ⓘ |
| influencedBy |
Donald A. Martin
NERFINISHED
ⓘ
Kurt Gödel NERFINISHED ⓘ Paul Cohen NERFINISHED ⓘ W. Hugh Woodin Sr. (uncertain) NERFINISHED ⓘ |
| knownFor |
Woodin cardinals
NERFINISHED
ⓘ
axioms of determinacy ⓘ descriptive set theory ⓘ determinacy ⓘ inner model theory ⓘ large cardinals ⓘ work on the continuum hypothesis ⓘ Ω-logic ⓘ |
| languageSpoken | English ⓘ |
| memberOf | American Mathematical Society NERFINISHED ⓘ |
| name | Hugh Woodin NERFINISHED ⓘ |
| notableConcept |
Woodin cardinal
NERFINISHED
ⓘ
strong axioms of infinity ⓘ |
| notableStudent |
Itay Neeman
NERFINISHED
ⓘ
Ralf Schindler NERFINISHED ⓘ |
| occupation | university professor ⓘ |
| positionHeld |
Chair of the Harvard Mathematics Department
ⓘ
Professor of Mathematics ⓘ |
| researchInterest |
continuum hypothesis
NERFINISHED
ⓘ
determinacy of infinite games ⓘ inner models with large cardinals ⓘ large cardinal axioms ⓘ |
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: Hugh Woodin Description of subject: Hugh Woodin is an American logician and set theorist renowned for his work on large cardinals, determinacy, and the foundations of mathematics.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.