Concept

Brouwer–Hilbert controversy

Overview

foundational controversy in twentieth-century mathematics

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• Georg Cantor
• John von Neumann
• Formalism (philosophy of mathematics)
• Kurt Gödel
• Foundations of mathematics
• L. E. J. Brouwer
• Law of excluded middle
• Proof theory
• Axiomatic system
• Intuitionism
• Constructivism (philosophy of mathematics)
• Reductio ad absurdum
• Rule of inference
• Syntax
• Stephen Cole Kleene
• Semantics
• Double negation
• Bertrand Russell
• Gottlob Frege
• Henri Poincaré
• Wilhelm Ackermann
• David Hilbert
• Axiom

Place in the tradition

Part of Intuitionistic logic.

Explore Brouwer–Hilbert controversy in the interactive graph →