KnowraIntuitionismLinked fromLinked fromThe 19 pages that link to Intuitionism, each with the reason it gives.All 19Broader topic 3Related 4Narrower topic 1Compared with 11Intuitionistic logicNarrower topic: Intuitionistic logic grew from this broader philosophical program.AxiomCompared with: Its standards for mathematical truth challenge assumptions accepted in classical formal theories.Brouwer fixed-point theoremRelated: Brouwer's broader mathematical program shaped the context in which he developed topology.Hilbert's programCompared with: Its rejection of some classical proofs opposed Hilbert's defense of classical mathematics.Ernst ZermeloCompared with: Its standards of proof conflict with the unrestricted classical use of choice in Zermelo’s results.Foundations of mathematicsCompared with: It rejects some classical inferences when they lack constructive proof.Constructive mathematicsBroader topic: It is a historically influential foundation for constructive mathematics.Axiomatic methodCompared with: Its standards for proof challenge classical assumptions often used in formal axiom systems.FormalismCompared with: Its restrictions on proof and existence challenged formalist acceptance of classical mathematics.Banach–Tarski paradoxRelated: The theorem's dependence on choice raises questions about existence without explicit construction.LogicismCompared with: It denies that classical logic alone captures legitimate mathematical reasoning.L. E. J. BrouwerBroader topic: Brouwer founded this philosophy and made it central to his account of mathematics.Foundations of GeometryCompared with: Its standards for proof challenge assumptions sometimes used in foundational arguments.Heyting algebraRelated: Its rejection of unrestricted excluded middle motivated the logic represented by Heyting algebras.Philosophy of mathematicsCompared with: Its rejection of some classical principles challenges standard accounts of proof and truth.ConstructivismBroader topic: It is Brouwer’s distinctive constructivist program, with commitments beyond constructive proof alone.Peirce's lawRelated: Its rejection of Peirce's law follows from its constructive account of proof.Axiom (mathematics and logic)Compared with: Its standards for proof reject some classical principles often accepted as axioms.Mathematical conceptsCompared with: It challenges classical assumptions about existence and proof, including unrestricted use of the law of excluded middle.
KnowraIntuitionismLinked fromLinked fromThe 19 pages that link to Intuitionism, each with the reason it gives.All 19Broader topic 3Related 4Narrower topic 1Compared with 11Intuitionistic logicNarrower topic: Intuitionistic logic grew from this broader philosophical program.AxiomCompared with: Its standards for mathematical truth challenge assumptions accepted in classical formal theories.Brouwer fixed-point theoremRelated: Brouwer's broader mathematical program shaped the context in which he developed topology.Hilbert's programCompared with: Its rejection of some classical proofs opposed Hilbert's defense of classical mathematics.Ernst ZermeloCompared with: Its standards of proof conflict with the unrestricted classical use of choice in Zermelo’s results.Foundations of mathematicsCompared with: It rejects some classical inferences when they lack constructive proof.Constructive mathematicsBroader topic: It is a historically influential foundation for constructive mathematics.Axiomatic methodCompared with: Its standards for proof challenge classical assumptions often used in formal axiom systems.FormalismCompared with: Its restrictions on proof and existence challenged formalist acceptance of classical mathematics.Banach–Tarski paradoxRelated: The theorem's dependence on choice raises questions about existence without explicit construction.LogicismCompared with: It denies that classical logic alone captures legitimate mathematical reasoning.L. E. J. BrouwerBroader topic: Brouwer founded this philosophy and made it central to his account of mathematics.Foundations of GeometryCompared with: Its standards for proof challenge assumptions sometimes used in foundational arguments.Heyting algebraRelated: Its rejection of unrestricted excluded middle motivated the logic represented by Heyting algebras.Philosophy of mathematicsCompared with: Its rejection of some classical principles challenges standard accounts of proof and truth.ConstructivismBroader topic: It is Brouwer’s distinctive constructivist program, with commitments beyond constructive proof alone.Peirce's lawRelated: Its rejection of Peirce's law follows from its constructive account of proof.Axiom (mathematics and logic)Compared with: Its standards for proof reject some classical principles often accepted as axioms.Mathematical conceptsCompared with: It challenges classical assumptions about existence and proof, including unrestricted use of the law of excluded middle.