Luitzen Egbertus Jan Brouwer
E100235
Luitzen Egbertus Jan Brouwer was a Dutch mathematician and philosopher best known as the founder of intuitionism, a major school in the philosophy of mathematics that challenged classical logic and set theory.
All labels observed (3)
| Label | Occurrences |
|---|---|
| L. E. J. Brouwer | 8 |
| Luitzen Egbertus Jan Brouwer canonical | 3 |
| Brouwer | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T846902 — 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.
Target entity: Luitzen Egbertus Jan Brouwer Context triple: [Leopold Kronecker, influenced, Luitzen Egbertus Jan Brouwer]
-
A.
N. G. de Bruijn
N. G. de Bruijn was a Dutch mathematician renowned for his influential work in number theory, combinatorics, and logic, including the introduction of de Bruijn sequences and de Bruijn graphs.
-
B.
Bartel Leendert van der Waerden
Bartel Leendert van der Waerden was a Dutch mathematician best known for his foundational work in abstract algebra and contributions to algebraic geometry and number theory.
-
C.
Johannes van der Meer
Johannes van der Meer is another name for Johannes Vermeer, the renowned 17th-century Dutch painter celebrated for his masterful use of light and intimate domestic interior scenes.
-
D.
Hendrik Anthony Kramers
Hendrik Anthony Kramers was a Dutch theoretical physicist known for his pioneering work in quantum mechanics, dispersion theory, and the Kramers–Kronig relations.
-
E.
Gerardus Petrus Wilhelmus Koop
Gerardus Petrus Wilhelmus Koop is an individual notable for bearing the Dutch surname "Koop," though specific widely recognized achievements or roles associated with him are not well documented.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Luitzen Egbertus Jan Brouwer Target entity description: Luitzen Egbertus Jan Brouwer was a Dutch mathematician and philosopher best known as the founder of intuitionism, a major school in the philosophy of mathematics that challenged classical logic and set theory.
-
A.
N. G. de Bruijn
N. G. de Bruijn was a Dutch mathematician renowned for his influential work in number theory, combinatorics, and logic, including the introduction of de Bruijn sequences and de Bruijn graphs.
-
B.
Bartel Leendert van der Waerden
Bartel Leendert van der Waerden was a Dutch mathematician best known for his foundational work in abstract algebra and contributions to algebraic geometry and number theory.
-
C.
Johannes van der Meer
Johannes van der Meer is another name for Johannes Vermeer, the renowned 17th-century Dutch painter celebrated for his masterful use of light and intimate domestic interior scenes.
-
D.
Hendrik Anthony Kramers
Hendrik Anthony Kramers was a Dutch theoretical physicist known for his pioneering work in quantum mechanics, dispersion theory, and the Kramers–Kronig relations.
-
E.
Gerardus Petrus Wilhelmus Koop
Gerardus Petrus Wilhelmus Koop is an individual notable for bearing the Dutch surname "Koop," though specific widely recognized achievements or roles associated with him are not well documented.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
Dutch mathematician
ⓘ
Dutch philosopher ⓘ human ⓘ mathematician ⓘ philosopher ⓘ |
| academicDiscipline | pure mathematics ⓘ |
| birthDate | 1881-02-27 ⓘ |
| birthPlace |
Netherlands
ⓘ
Overschie ⓘ |
| countryOfCitizenship | Netherlands ⓘ |
| deathDate | 1966-12-02 ⓘ |
| deathPlace |
Blaricum
ⓘ
Netherlands ⓘ |
| doctoralAdvisor | Diederik Johannes Korteweg ⓘ |
| educatedAt | University of Amsterdam ⓘ |
| employer | University of Amsterdam ⓘ |
| era |
20th-century mathematics
ⓘ
20th-century philosophy ⓘ |
| familyName |
Luitzen Egbertus Jan Brouwer
self-linksurface differs
ⓘ
surface form:
Brouwer
|
| fieldOfWork |
foundations of mathematics
ⓘ
mathematical logic ⓘ mathematics ⓘ philosophy of mathematics ⓘ topology ⓘ |
| givenName |
Hrodebert
ⓘ
surface form:
Egbertus
Jan ⓘ Luitzen ⓘ |
| hasAcademicRank | professor ⓘ |
| influenced |
Andrei Kolmogorov
ⓘ
surface form:
Andrey Kolmogorov
Arend Heyting ⓘ intuitionistic logic ⓘ |
| influencedBy |
Henri Poincaré
ⓘ
Immanuel Kant ⓘ |
| language | Dutch ⓘ |
| memberOf | Royal Netherlands Academy of Arts and Sciences ⓘ |
| movement | intuitionism ⓘ |
| notableFor |
Brouwer fixed-point theorem
ⓘ
Brouwer–Heyting–Kolmogorov interpretation ⓘ founding intuitionism ⓘ work in topology ⓘ |
| notableIdea |
mathematics as mental construction
ⓘ
rejection of non-constructive proofs ⓘ |
| opposed |
classical logic
ⓘ
classical set theory ⓘ law of excluded middle in mathematics ⓘ |
| philosophicalSchool | intuitionism ⓘ |
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.
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.
Subject: Luitzen Egbertus Jan Brouwer Description of subject: Luitzen Egbertus Jan Brouwer was a Dutch mathematician and philosopher best known as the founder of intuitionism, a major school in the philosophy of mathematics that challenged classical logic and set theory.
Referenced by (12)
Full triples — surface form annotated when it differs from this entity's canonical label.