Bernard Bolzano
E492929
Bernard Bolzano was a 19th-century Bohemian mathematician, logician, and philosopher whose rigorous work in logic, analysis, and the foundations of mathematics anticipated modern analytic philosophy and influenced later thinkers such as Edmund Husserl.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Bernard Bolzano canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5073508 — 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: Bernard Bolzano Context triple: [Edmund Husserl, influencedBy, Bernard Bolzano]
-
A.
Julius König
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.
-
B.
Alexander Bunge
Alexander Bunge was a Russian-German explorer and scientist known for leading important early expeditions in the Arctic regions of the Russian Empire.
-
C.
Jakob Ignaz Hittorff
Jakob Ignaz Hittorff was a 19th-century German-born French architect and designer known for his influential work on Parisian urban spaces, including the redesign of the Place de la Concorde.
-
D.
Otton Nikodym
Otton Nikodym was a Polish mathematician best known for his fundamental contributions to measure theory, particularly the Radon–Nikodym theorem.
-
E.
Friedrich Reinhold Kreutzwald
Friedrich Reinhold Kreutzwald was a 19th-century Estonian writer and physician best known as the author of the Estonian national epic "Kalevipoeg."
- 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: Bernard Bolzano Target entity description: Bernard Bolzano was a 19th-century Bohemian mathematician, logician, and philosopher whose rigorous work in logic, analysis, and the foundations of mathematics anticipated modern analytic philosophy and influenced later thinkers such as Edmund Husserl.
-
A.
Julius König
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.
-
B.
Alexander Bunge
Alexander Bunge was a Russian-German explorer and scientist known for leading important early expeditions in the Arctic regions of the Russian Empire.
-
C.
Jakob Ignaz Hittorff
Jakob Ignaz Hittorff was a 19th-century German-born French architect and designer known for his influential work on Parisian urban spaces, including the redesign of the Place de la Concorde.
-
D.
Otton Nikodym
Otton Nikodym was a Polish mathematician best known for his fundamental contributions to measure theory, particularly the Radon–Nikodym theorem.
-
E.
Friedrich Reinhold Kreutzwald
Friedrich Reinhold Kreutzwald was a 19th-century Estonian writer and physician best known as the author of the Estonian national epic "Kalevipoeg."
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
Catholic priest
ⓘ
human ⓘ mathematician ⓘ philosopher ⓘ |
| countryOfCitizenship | Kingdom of Bohemia NERFINISHED ⓘ |
| dateOfBirth | 1781-10-05 ⓘ |
| dateOfDeath | 1848-12-18 ⓘ |
| educatedAt | Charles University in Prague NERFINISHED ⓘ |
| employer | Charles University in Prague NERFINISHED ⓘ |
| era | 19th-century philosophy ⓘ |
| ethnicGroup | Bohemian German ⓘ |
| familyName | Bolzano NERFINISHED ⓘ |
| fieldOfWork |
ethics
ⓘ
logic ⓘ mathematical analysis ⓘ philosophy of mathematics ⓘ theology ⓘ |
| givenName | Bernard NERFINISHED ⓘ |
| influenced |
Edmund Husserl
NERFINISHED
ⓘ
Gottlob Frege NERFINISHED ⓘ Kazimierz Twardowski NERFINISHED ⓘ Lviv–Warsaw school NERFINISHED ⓘ analytic philosophy NERFINISHED ⓘ |
| languageOfWorkOrName | German ⓘ |
| movement |
early analytic philosophy
ⓘ
logicism (precursor) ⓘ |
| nativeLanguage | German ⓘ |
| notableFor |
critique of Kantian philosophy
ⓘ
early work on set theory and infinity ⓘ rigorous foundations of real analysis ⓘ systematic theory of logical consequence ⓘ |
| notableIdea |
Bolzano–Weierstrass theorem (early formulation)
NERFINISHED
ⓘ
Bolzano’s theorem on continuous functions NERFINISHED ⓘ objective truth ⓘ propositions in themselves ⓘ semantic notion of consequence ⓘ |
| notableWork |
Athanasia
NERFINISHED
ⓘ
Lehrbuch der Religionswissenschaft NERFINISHED ⓘ Paradoxes of the Infinite NERFINISHED ⓘ Rein analytischer Beweis NERFINISHED ⓘ Theory of Science NERFINISHED ⓘ Wissenschaftslehre NERFINISHED ⓘ |
| placeOfBirth |
Kingdom of Bohemia
NERFINISHED
ⓘ
Prague NERFINISHED ⓘ |
| placeOfDeath | Prague NERFINISHED ⓘ |
| positionHeld | professor of religion at Charles University in Prague ⓘ |
| religion |
Roman Catholicism
ⓘ
surface form:
Catholicism
|
| sexOrGender | male ⓘ |
| workLocation | Prague 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: Bernard Bolzano Description of subject: Bernard Bolzano was a 19th-century Bohemian mathematician, logician, and philosopher whose rigorous work in logic, analysis, and the foundations of mathematics anticipated modern analytic philosophy and influenced later thinkers such as Edmund Husserl.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.