Halmos
E1041772
Halmos is the surname of Paul Halmos, a prominent 20th-century mathematician known for his contributions to probability theory, functional analysis, and mathematical exposition.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Halmos canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T13444222 — 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: Halmos Context triple: [Paul Halmos, familyName, Halmos]
-
A.
Hoel
Hoel is a given name and surname of Breton and Welsh origin, historically borne by several medieval rulers and later used in various European cultures.
-
B.
Hausdorff
Hausdorff is a topological separation property requiring that any two distinct points in a space can be enclosed in disjoint open sets.
-
C.
Rudin
Rudin is a surname most prominently associated with American film and theater producer Scott Rudin.
-
D.
Rudin
"Rudin" is a novel by Ivan Turgenev that portrays an eloquent but ineffectual intellectual whose inability to act reflects the dilemmas of the Russian intelligentsia in the mid-19th century.
-
E.
Billingsley
Billingsley is an English-origin surname borne by various notable individuals in fields such as entertainment, sports, and academia.
- 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: Halmos Target entity description: Halmos is the surname of Paul Halmos, a prominent 20th-century mathematician known for his contributions to probability theory, functional analysis, and mathematical exposition.
-
A.
Hoel
Hoel is a given name and surname of Breton and Welsh origin, historically borne by several medieval rulers and later used in various European cultures.
-
B.
Hausdorff
Hausdorff is a topological separation property requiring that any two distinct points in a space can be enclosed in disjoint open sets.
-
C.
Rudin
Rudin is a surname most prominently associated with American film and theater producer Scott Rudin.
-
D.
Rudin
"Rudin" is a novel by Ivan Turgenev that portrays an eloquent but ineffectual intellectual whose inability to act reflects the dilemmas of the Russian intelligentsia in the mid-19th century.
-
E.
Billingsley
Billingsley is an English-origin surname borne by various notable individuals in fields such as entertainment, sports, and academia.
- F. None of above. chosen
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf |
human
ⓘ
surname ⓘ |
| academicDegree | PhD in mathematics ⓘ |
| awardReceived | Leroy P. Steele Prize for Exposition NERFINISHED ⓘ |
| citizenship | United States of America ⓘ |
| countryOfBirth | Hungary NERFINISHED ⓘ |
| educatedAt | University of Illinois at Urbana–Champaign ⓘ |
| employer |
Indiana University
NERFINISHED
ⓘ
Santa Clara University NERFINISHED ⓘ University of California, Santa Barbara NERFINISHED ⓘ University of Chicago ⓘ University of Michigan ⓘ |
| familyName | Halmos NERFINISHED ⓘ |
| fieldOfWork |
ergodic theory
ⓘ
functional analysis ⓘ mathematical exposition ⓘ operator theory ⓘ probability theory ⓘ |
| genre |
autobiographical writing
ⓘ
mathematics textbook ⓘ |
| givenName | Paul ⓘ |
| hasSurnamedForm | Halmos NERFINISHED ⓘ |
| influenced | mathematical pedagogy in the 20th century ⓘ |
| knownFor |
Halmos dilation theorem
NERFINISHED
ⓘ
popularizing measure theory ⓘ work on Hilbert spaces ⓘ |
| languageOfOrigin | Hungarian ⓘ |
| languageOfWorkOrName | English ⓘ |
| memberOf | American Mathematical Society ⓘ |
| notableFor |
clear and informal mathematical style
ⓘ
contributions to functional analysis ⓘ contributions to probability theory ⓘ expository mathematical writing ⓘ |
| notableWork |
Finite-Dimensional Vector Spaces
NERFINISHED
ⓘ
I Want to Be a Mathematician: An Automathography NERFINISHED ⓘ Introduction to Hilbert Space and the Theory of Spectral Multiplicity NERFINISHED ⓘ Measure Theory NERFINISHED ⓘ Naive Set Theory NERFINISHED ⓘ |
| occupation | mathematician ⓘ |
| placeOfBirth | Budapest ⓘ |
| usedBy | Paul Halmos 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: Halmos Description of subject: Halmos is the surname of Paul Halmos, a prominent 20th-century mathematician known for his contributions to probability theory, functional analysis, and mathematical exposition.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.