Julius König
E422342
Julius König was a Hungarian mathematician known for his work in set theory, logic, and the foundations of mathematics in the late 19th and early 20th centuries.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Julius König canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T4228694 — 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: Julius König Context triple: [König, hasNotableBearer, Julius König]
-
A.
Rudolf Lipschitz
Rudolf Lipschitz was a 19th-century German mathematician known for foundational work in analysis and differential equations, including the Lipschitz continuity condition that underpins key existence and uniqueness results.
-
B.
Felix Klein
Felix Klein was a German mathematician renowned for his work in group theory, non-Euclidean geometry, and the Erlangen Program, which redefined the foundations of geometry.
-
C.
Ernst Eduard Kummer
Ernst Eduard Kummer was a 19th-century German mathematician renowned for his foundational work in number theory, particularly on ideal numbers and Fermat's Last Theorem.
-
D.
Paul Gordan
Paul Gordan was a 19th-century German mathematician known as the "king of invariant theory" for his foundational work in algebraic invariants.
-
E.
Alfred Pringsheim
Alfred Pringsheim was a German mathematician and art collector known for his work in analysis and as the father of Katia Mann, wife of writer Thomas Mann.
- 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: Julius König Target entity description: Julius König was a Hungarian mathematician known for his work in set theory, logic, and the foundations of mathematics in the late 19th and early 20th centuries.
-
A.
Rudolf Lipschitz
Rudolf Lipschitz was a 19th-century German mathematician known for foundational work in analysis and differential equations, including the Lipschitz continuity condition that underpins key existence and uniqueness results.
-
B.
Felix Klein
Felix Klein was a German mathematician renowned for his work in group theory, non-Euclidean geometry, and the Erlangen Program, which redefined the foundations of geometry.
-
C.
Ernst Eduard Kummer
Ernst Eduard Kummer was a 19th-century German mathematician renowned for his foundational work in number theory, particularly on ideal numbers and Fermat's Last Theorem.
-
D.
Paul Gordan
Paul Gordan was a 19th-century German mathematician known as the "king of invariant theory" for his foundational work in algebraic invariants.
-
E.
Alfred Pringsheim
Alfred Pringsheim was a German mathematician and art collector known for his work in analysis and as the father of Katia Mann, wife of writer Thomas Mann.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
Hungarian mathematician
ⓘ
human ⓘ mathematician ⓘ |
| countryOfCitizenship | Hungary ⓘ |
| educatedAt |
Humboldt University of Berlin
ⓘ
surface form:
University of Berlin
University of Budapest NERFINISHED ⓘ University of Heidelberg NERFINISHED ⓘ |
| employer | University of Budapest ONNED1 ⓘ |
| era |
19th-century mathematics
ⓘ
20th-century mathematics ⓘ |
| familyName | König ONNED1 ⓘ |
| fieldOfWork |
combinatorics
ⓘ
foundations of mathematics ⓘ graph theory ⓘ mathematical logic ⓘ mathematics ⓘ set theory ⓘ |
| gender | male ⓘ |
| givenName | Julius ONNED1 ⓘ |
| influenced |
Hungarian school of mathematics
ONNED1
ⓘ
László Kalmár ONNED1 ⓘ |
| influencedBy |
Georg Cantor
ONNED1
ⓘ
Leopold Kronecker NERFINISHED ⓘ |
| knownFor |
König's lemma in infinite graph theory
ONNED1
ⓘ
König's theorem in graph theory ONNED1 ⓘ critical stance toward unrestricted use of actual infinities ⓘ important early results in set theory ⓘ |
| languageOfWorkOrName |
German
ⓘ
Hungarian ⓘ |
| memberOf | Hungarian Academy of Sciences NERFINISHED ⓘ |
| movement | foundations of mathematics movement ⓘ |
| name | Julius König ONNED1 ⓘ |
| nativeLanguage | Hungarian ⓘ |
| notableAchievement | presented a famous result on the continuum hypothesis at the 1904 International Congress of Mathematicians in Heidelberg ⓘ |
| notableIdea |
early criticism of Cantorian set theory
ⓘ
use of constructive methods in set theory ⓘ |
| notableStudent | László Kalmár NERFINISHED ⓘ |
| notableWork |
König's lemma
ONNED1
ⓘ
König's theorem ONNED1 ⓘ applications of set theory to analysis ⓘ contributions to the theory of linear orders and well-orderings ⓘ contributions to the theory of ordinal numbers ⓘ early work related to descriptive set theory ⓘ proof of the inconsistency of certain forms of the continuum hypothesis (1904) ⓘ results on the continuum and cardinal arithmetic ⓘ textbooks and papers on set theory and logic ⓘ work on the axiom of choice and its consequences ⓘ |
| occupation | university professor ⓘ |
| placeOfActivity | Budapest ⓘ |
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: Julius König Description of subject: Julius König was a Hungarian mathematician known for his work in set theory, logic, and the foundations of mathematics in the late 19th and early 20th centuries.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.