Mathematics as Intuition
This chapter explores Brouwer’s conception of mathematics. Brouwer is the principal proponent of the direction in the philosophy of mathematics referred to as intuitionism. Brouwer is also concerned about the paradoxes that troubled Frege, Russell, Whitehead and Hilbert. However, in order to eliminate the paradoxes, he suggests a radically different remedy. A basic idea of intuitionism is that the very language we use to communicate mathematics gives rise to mathematical problems and paradoxes. This also applies to formalised languages. Brouwer finds that mathematical formalisms are only imprecise and limited representations of mathematics. When we, for instance, denote the set of natural numbers as ℕ, we provide a linguistic construction within the recorded mathematics, which does not have anything to do with intuitive mathematical constructions. Brouwer’s thesis is that the linguistic representations of mathematics have departed from the intuitive mathematical constructions. Linguistic expressions bring us to believe that we express ourselves about mathematical entities, while we actually become seduced by language. According to Brouwer, linguistic formulations are the source of paradoxes and inconsistencies.
According to Brouwer, mathematics develops through a particular mathematical intuition shared by all human beings. This way, Brouwer supports the thesis that new mathematics is created. Brouwer’s constructivism opens up the possibility of interpreting mathematics as a process. The chapter summarises Heyting’s presentation of mathematical processes through an invented dialogue between an intuitionist, a formalist, a classic and other characters in mathematics.
KeywordsAnti-realism Constructivism Infinity Intuitionism Principle of the excluded third
- Brouwer, L. E. J. (1913). Intuitionism and formalism. In P. Benacerraf & H. Putnam (Eds.), Philosophy of mathematics (pp. 77–89). Englewood Cliffs, NJ: Prentice-Hall.Google Scholar
- Brouwer, L. E. J. (1981). In D. van Dalen (Ed.), Brouwer’s Cambridge lectures on intuitionism. Cambridge, UK: Cambridge University Press.Google Scholar
- Heyting, A. (1971). Intuitionism: An introduction. Amsterdam, The Netherlands: North Holland Publishing Company.Google Scholar