Hilbert–Brouwer controversy
E208852
The Hilbert–Brouwer controversy was an early 20th-century foundational dispute in mathematics between David Hilbert’s formalism and L.E.J. Brouwer’s intuitionism over the nature of mathematical truth and proof.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Hilbert–Brouwer controversy canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T1859246 — 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: Hilbert–Brouwer controversy Context triple: [Hilbert’s program, historicalEvent, Hilbert–Brouwer controversy]
-
A.
Hilbert’s program
Hilbert’s program was an influential early-20th-century initiative in the foundations of mathematics that sought to formalize all of mathematics and prove its consistency using finitistic methods.
-
B.
Bohr–Einstein debates
The Bohr–Einstein debates were a series of famous early 20th-century discussions between Niels Bohr and Albert Einstein about the foundations and interpretation of quantum mechanics, particularly concerning determinism, realism, and the completeness of the theory.
-
C.
Kronecker’s finitism
Kronecker’s finitism is a philosophical and mathematical stance asserting that only finite, constructible mathematical objects and proofs are legitimate, rejecting the existence of actual infinities.
-
D.
Hilbert problems
The Hilbert problems are a famous list of 23 unsolved mathematical problems presented by David Hilbert in 1900 that profoundly influenced the development of 20th-century mathematics.
-
E.
Réflexions sur la métaphysique du calcul infinitésimal
Réflexions sur la métaphysique du calcul infinitésimal is a foundational 18th-century treatise by Lazare Carnot that examines the philosophical and logical underpinnings of infinitesimal calculus.
- 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: Hilbert–Brouwer controversy Target entity description: The Hilbert–Brouwer controversy was an early 20th-century foundational dispute in mathematics between David Hilbert’s formalism and L.E.J. Brouwer’s intuitionism over the nature of mathematical truth and proof.
-
A.
Hilbert’s program
Hilbert’s program was an influential early-20th-century initiative in the foundations of mathematics that sought to formalize all of mathematics and prove its consistency using finitistic methods.
-
B.
Bohr–Einstein debates
The Bohr–Einstein debates were a series of famous early 20th-century discussions between Niels Bohr and Albert Einstein about the foundations and interpretation of quantum mechanics, particularly concerning determinism, realism, and the completeness of the theory.
-
C.
Kronecker’s finitism
Kronecker’s finitism is a philosophical and mathematical stance asserting that only finite, constructible mathematical objects and proofs are legitimate, rejecting the existence of actual infinities.
-
D.
Hilbert problems
The Hilbert problems are a famous list of 23 unsolved mathematical problems presented by David Hilbert in 1900 that profoundly influenced the development of 20th-century mathematics.
-
E.
Réflexions sur la métaphysique du calcul infinitésimal
Réflexions sur la métaphysique du calcul infinitésimal is a foundational 18th-century treatise by Lazare Carnot that examines the philosophical and logical underpinnings of infinitesimal calculus.
- F. None of above. chosen
Statements (44)
| Predicate | Object |
|---|---|
| instanceOf |
foundational dispute in mathematics
ⓘ
historical event in mathematics ⓘ philosophical controversy ⓘ |
| about |
consistency of mathematical systems
ⓘ
constructive proof ⓘ law of excluded middle ⓘ meaning of existence in mathematics ⓘ validity of classical logic in mathematics ⓘ |
| chronologyWithin |
history of 20th-century mathematics
ⓘ
history of mathematical logic ⓘ |
| describedBySource |
biographies of David Hilbert
ⓘ
biographies of L. E. J. Brouwer ⓘ historical studies in philosophy of mathematics ⓘ |
| field |
foundations of mathematics
ⓘ
mathematical logic ⓘ philosophy of mathematics ⓘ |
| hasEffect |
clarification of constructive mathematics
ⓘ
debates on the acceptability of non-constructive proofs ⓘ debates on the role of infinity in mathematics ⓘ development of intuitionistic logic ⓘ development of proof theory ⓘ historical split between classical and intuitionistic mathematics ⓘ increased interest in formal systems ⓘ |
| hasLanguage |
Dutch
ⓘ
English ⓘ German ⓘ |
| hasPart | debate between formalism and intuitionism ⓘ |
| hasParticipant |
David Hilbert
ⓘ
Luitzen Egbertus Jan Brouwer ⓘ
surface form:
L. E. J. Brouwer
|
| influencedBy |
David Hilbert
ⓘ
Luitzen Egbertus Jan Brouwer ⓘ
surface form:
L. E. J. Brouwer
|
| location | Germany ⓘ |
| mainTopic |
foundations of mathematics
ⓘ
mathematical truth ⓘ nature of mathematical proof ⓘ |
| opposesView |
formalism
ⓘ
intuitionism ⓘ |
| relatedTo |
Hilbert’s program
ⓘ
surface form:
Hilbert program
classical mathematics ⓘ constructivism in mathematics ⓘ formalism (philosophy of mathematics) ⓘ intuitionism (philosophy of mathematics) ⓘ intuitionistic mathematics ⓘ |
| startTime | early 20th century ⓘ |
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: Hilbert–Brouwer controversy Description of subject: The Hilbert–Brouwer controversy was an early 20th-century foundational dispute in mathematics between David Hilbert’s formalism and L.E.J. Brouwer’s intuitionism over the nature of mathematical truth and proof.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.