Linked from

The 14 pages that link to L. E. J. Brouwer, each with the reason it gives.

• David HilbertCompared with: Brouwer’s constructivist outlook directly opposed Hilbert’s formalist foundations.

• Intuitionistic logicRelated: His philosophy of mathematics motivated rejecting proofs that provide no construction.

• Brouwer fixed-point theoremRelated: His 1911 work established the fixed-point result now bearing his name.

• Mathematical logicRelated: His challenge to classical logic made the status of proof and excluded middle central foundational questions.

• Jordan curve theoremRelated: His topological methods clarified and generalized separation results.

• IntuitionismRelated: His philosophy made mathematical construction, rather than formal deduction alone, foundational.

• Law of Excluded MiddleRelated: His intuitionism made acceptance of excluded middle depend on whether a proposition is decidable.

• Constructive mathematicsRelated: His foundational program shaped modern constructive mathematics.

• Heyting algebraRelated: Brouwer’s foundational program preceded the formal logic later modeled algebraically.

• Borsuk–Ulam theoremRelated: Brouwer’s fixed-point theorem is closely connected to proofs of Borsuk–Ulam.

• ConstructivismRelated: His intuitionist philosophy gave constructivism one of its most influential foundations.

• Hairy ball theoremRelated: Brouwer's degree theory provides a topological framework for proving the obstruction.

• Invariance of domainRelated: He proved the theorem now known as invariance of domain.

• Peirce's lawRelated: Brouwer's intuitionism provides the historical setting for rejecting the law.