Brouwerian intuitionism

Brouwerian intuitionism
Name	Brouwerian intuitionism
Caption	L. E. J. Brouwer in 1912
Founder	L. E. J. Brouwer
Region	Netherlands
Era	20th century philosophy of mathematics

Brouwerian intuitionism is a foundational position in the philosophy of mathematics initiated by L. E. J. Brouwer that emphasizes mathematical construction and mental activity over classical formalism. It rejects non-constructive existence proofs and the unrestricted law of excluded middle, proposing a view of mathematical objects as mental constructions created by mathematicians rather than discovered in an external Platonic realm. Major figures associated with its dissemination and critique include Hermann Weyl, Arend Heyting, David Hilbert, Kurt Gödel, and Michael Dummett.

History and development

Brouwerian intuitionism emerged in the early 20th century during interactions among leading mathematicians and philosophers such as L. E. J. Brouwer, David Hilbert, Henri Poincaré, Gottlob Frege, Bertrand Russell, Felix Klein, Emmy Noether, and Hermann Weyl. It developed against the background of foundational disputes exemplified by the Hilbert–Bernays exchanges and controversies involving Hilbert's program, Russell's paradox, Zermelo–Fraenkel set theory, and reactions from figures like Alfred North Whitehead, John von Neumann, Norbert Wiener, and Emil Artin. Early institutional venues included interactions at the University of Amsterdam, exchanges with the Royal Netherlands Academy of Arts and Sciences, and debates in journals and conferences attended by scholars such as Paul Bernays, Oswald Veblen, Felix Hausdorff, J. von Neumann, Hermann Minkowski, and Richard Courant. The movement influenced and was influenced by logical developments by Kurt Gödel, Alonzo Church, Emil Post, Bertrand Russell's contemporaries, and later commentators like Michael Dummett, Arend Heyting, Georg Kreisel, Per Martin-Löf, and Dag Prawitz.

Core principles and philosophy

Brouwerian intuitionism centers on principles advanced by Brouwer and discussed with philosophers and mathematicians including Immanuel Kant, G. W. F. Hegel, Edmund Husserl, Wilhelm Dilthey, and contemporaries such as Hermann Weyl, Arend Heyting, Luitzen Egbertus Jan Brouwer, Michael Dummett, and P. T. Geach. Key commitments include the primacy of mental construction defended by Brouwer and contrasted with positions held by David Hilbert, Bertrand Russell, Gottlob Frege, and Alonzo Church. The rejection of the law of excluded middle as a universal principle provoked responses from logicians like Kurt Gödel, Gerhard Gentzen, Hilary Putnam, Saul Kripke, and John Myhill. Philosophical antecedents and interlocutors include Immanuel Kant's synthetic a priori, Gottlob Frege's logicism, and Edmund Husserl's phenomenology, while later defenders and systematizers involved Arend Heyting, W. V. O. Quine, Michael Dummett, and Per Martin-Löf.

Mathematics under Brouwerian intuitionism

Mathematics reinterpreted by Brouwerian intuitionism was practiced and reformulated by mathematicians and logicians such as Arend Heyting, Luitzen Egbertus Jan Brouwer, Hermann Weyl, Brouwer colleagues at the University of Amsterdam, Kurt Gödel (in critique), Georg Kreisel, Per Martin-Löf, and Errett Bishop. Classical theorems were reassessed in dialogue with analysts and topologists like Émile Borel, Henri Lebesgue, André Weil, Jean Leray, Maurice Fréchet, Henri Cartan, Marston Morse, and Oswald Veblen. Core mathematical developments included constructive analysis pursued by Bishop, intuitionistic topology influenced by L. E. J. Brouwer and later by André Weil-era mathematicians, and proof-theoretic studies by Gerhard Gentzen, William Tait, and Georg Kreisel. Applications and critiques involved practitioners and institutions such as Institute for Advanced Study, Princeton University mathematicians like John von Neumann and Oswald Veblen, and commentators like Paul Bernays and Emil Post.

Formal systems and constructive methods

Formalization and constructive methods associated with Brouwerian intuitionism were developed and formalized by figures such as Arend Heyting, Luitzen Egbertus Jan Brouwer (philosophically), Alonzo Church, Gerhard Gentzen, Kurt Gödel, Stephen Kleene, Per Martin-Löf, Dag Prawitz, and William Tait. Systems and concepts include intuitionistic logic formalized by Arend Heyting; proof interpretations and normalization results by Gerhard Gentzen and William Tait; recursive function theory by Stephen Kleene and Emil Post; lambda calculus and type theory by Alonzo Church, Haskell Curry, William Alvin Howard, and Per Martin-Löf; and realizability interpretations developed by Stephen Kleene, Georg Kreisel, and Howard-related researchers. Connections were made between intuitionistic systems and computing by pioneers like Alan Turing, John McCarthy, Donald Knuth, Edsger Dijkstra, C. A. R. Hoare, and institutions including Bell Labs, MIT, and Carnegie Mellon University where constructive type theories influenced programming languages research.

Criticisms and debates

Critiques and debates around Brouwerian intuitionism involved major thinkers and institutions: David Hilbert's formalist program, engagements by Kurt Gödel on completeness and incompleteness, challenges from Bertrand Russell and Gottlob Frege-inspired logicists, and later philosophical debate with Michael Dummett, Hilary Putnam, Saul Kripke, Georg Kreisel, and Alasdair MacIntyre. Technical criticisms came from proof theorists and set theorists at centers like Princeton University, University of Göttingen, University of Vienna, and University of Cambridge with contributions from Paul Cohen, Kurt Gödel, Paul Bernays, Felix Hausdorff, and John von Neumann. Debates ranged across venues including meetings of the International Congress of Mathematicians, publications in journals influenced by editors associated with Harvard University, Cambridge University Press, and Springer, and were engaged by mathematicians such as André Weil, Jean-Pierre Serre, Alexander Grothendieck, Serge Lang, and John Milnor.

Influence and legacy

Brouwerian intuitionism influenced constructive and computational approaches through contributions by Errett Bishop, Per Martin-Löf, Arend Heyting, Stephen Kleene, Georg Kreisel, William Alvin Howard, Alonzo Church, Alan Turing, Jean-Yves Girard, and Samson Abramsky. Its legacy appears in type theory developments at University of Gothenburg, Chalmers University of Technology, Stockholm University, programming language research at MIT and Stanford University, and proof-assistant systems influenced by its ideas such as those developed at INRIA, Microsoft Research, and Carnegie Mellon University. Broader cultural and philosophical impacts engaged thinkers like Michael Dummett, Hilary Putnam, Saul Kripke, Paul Feyerabend, and institutions including the Royal Society, American Mathematical Society, and European Mathematical Society.

Category:Philosophy of mathematics