Brouwer’s Intuitionism

Brouwer’s Intuitionism

In the preceding articles, we have examined several attempts to respond to the crisis in the foundations of mathematics. Frege sought to reduce Arithmetic to Logic. Russell organized expressions into a hierarchy of types in order to avoid the paradoxes. Zermelo, Fraenkel, and other authors delimited Set Theory through a precise axiomatic structure.

These programs differed profoundly from one another, but they shared a fundamental confidence: that mathematics could be expressed through a logical or axiomatic language whose rules could be studied precisely. Luitzen Egbertus Jan Brouwer challenged that confidence at its root. For him, mathematics does not arise from language, axioms, or logic, but from a constructive activity of the mind.

This position would come to be known as intuitionism. It did not merely propose new restrictions intended to avoid paradoxes. It altered the meaning of notions as basic as truth, existence, negation, set or real number. Classical mathematics was not simply to be secured by a proof of consistency: it had to be reconstructed from what mathematical intuition made it possible to create effectively.

Luitzen Brouwer

Brouwer was born in the Netherlands in 1881. Although he is now remembered chiefly for intuitionism, he was also one of the leading topologists of the early twentieth century. His work on dimension, invariance, and fixed points earned him considerable recognition within academic mathematics.

The foundations of his philosophy already appeared in his 1907 doctoral dissertation, Over de Grondslagen der Wiskunde (“On the Foundations of Mathematics”). In it, he argued that no mathematical object could be regarded as legitimate unless it had been intuitively constructed. Paradoxes occupied a secondary place in his diagnosis: they were symptoms of a deeper error, the confusion of mathematics with the language used to communicate it.

In 1908, Brouwer explicitly challenged the universal validity of the Law of Excluded Middle. In his 1912 inaugural lecture, later published under the title Intuitionism and Formalism, he presented the opposition between his view and approaches grounded in formalization more systematically. From 1918 onward, he also began developing a distinctively intuitionistic mathematics, producing results in Set Theory, Analysis, and the theory of the continuum.

Mathematics Before Logic

The logicism of Frege and Russell had maintained that mathematics depended on more general logical laws. Brouwer reverses this relationship: logic does not ground mathematics, but describes regularities in the language through which we communicate mathematical constructions.

First, we perform a construction in the mind. We may then express it through words, symbols, or formulas. Language helps us remember the construction and enables another person to try to reproduce it, but the sequence of signs is not identical to the original mathematical act.

From this perspective, a proof does not primarily consist of a written chain of propositions connected by formal rules. It is the effective execution of a construction. The text of a proof functions as a set of instructions through which the reader reconstructs the reasoning for themselves.

The First Act of Intuitionism

Brouwer would later describe his program in terms of two major acts. The first consists in separating mathematics from its linguistic expression. A formula has no mathematical content unless it accompanies a possible construction.

This explains his attitude toward paradoxes. For Russell, the solution consisted in preventing certain combinations of symbols through Type Theory. For Zermelo, it was necessary to restrict the legitimate operations by which sets could be formed. Brouwer held that a paradoxical expression did not even succeed in describing a mathematical object: it was a linguistic combination to which no executable construction corresponded.

Nor was the absence of contradiction sufficient to guarantee existence. The fact that a description does not lead to an absurdity does not mean that we have constructed the object described. This distinction would become decisive in the intuitionistic interpretation of proofs.

The Intuition of Time

If mathematics does not arise from logic, a more elementary experience must be found to explain its origin. Brouwer locates it in our intuition of the passage of time.

Consciousness experiences one moment giving way to another. The first moment disappears, but is retained in memory while the second is present. In this way, we perceive two distinct moments which nevertheless form a temporal unity.

Brouwer calls this fundamental structure duality-in-unity or two-ity: something divides into two parts while both nevertheless remain united within a single experience.

$$1,\quad 1+1,\quad 1+1+1,\quad\ldots$$

By abstracting from the particular qualities of the moments and retaining only their succession, we obtain the possibility of repeating the operation indefinitely. Sequences, order, and the natural numbers arise from this temporal intuition.

Brouwer thus takes up a Kantian theme: mathematics depends on an a priori intuition. He does not, however, preserve Kant’s doctrine in its entirety. He rejects the claim that Euclidean space is a necessary form of all experience, while retaining the central role of time as the source of mathematical construction.

The Second Act of Intuitionism

The second act consists in recognizing that, from this temporal intuition, the mind can freely unfold new constructions. Mathematics does not form a completed universe waiting to be discovered. It is an open activity in which new objects, methods, and sequences may emerge.

Mathematical knowledge is not confined within a definitive list of axioms or rules. No finite formal system can anticipate every construction that a creative mind may eventually perform.

Truth and Proof

In classical mathematics, we usually imagine that a proposition has a truth value independently of whether we know how to prove it. A mathematical statement is true or false according to whether it correctly describes previously determined objects.

For intuitionism, by contrast, to assert that a proposition is true is to possess a construction that proves it. Mathematical truth cannot be separated from the possibility of proof.

This does not mean that a proposition is true merely because someone believes they have proved it. The construction must actually be executable and verifiable. But there is no mathematical truth wholly independent of every possible construction.

The Meaning of the Logical Connectives

The logical connectives therefore acquire a constructive meaning. Let \(A\) be a mathematical proposition:

• To prove \(A\land B\) requires providing a proof of \(A\) and a proof of \(B\).
• To prove \(A\lor B\) requires providing either a proof of \(A\) or a proof of \(B\), and indicating which of the two has been obtained.
• To prove \(A\rightarrow B\) requires giving a method that transforms any proof of \(A\) into a proof of \(B\).
• To prove \(\neg A\) requires giving a method that transforms any supposed proof of \(A\) into a contradiction.
• To prove \(\exists x\,P(x)\) requires constructing a specific object \(a\) and proving that \(P(a)\).
• To prove \(\forall x\,P(x)\) requires providing a method that, when applied to any admissible object \(a\), produces a proof of \(P(a)\).

This interpretation was later formalized by Arend Heyting and is now known as the Brouwer–Heyting–Kolmogorov interpretation. It should not, however, be confused with Brouwer’s philosophy as a whole: for him, no system of linguistic rules could exhaust intuitive mathematical activity.

Mathematical Existence

The difference becomes especially clear in existential statements. In classical mathematics, we may prove that an object exists by assuming that it does not and deriving a contradiction:

$$\neg\neg\exists x\,P(x)$$

Classically, double negation then allows us to conclude:

$$\exists x\,P(x)$$

But proving that the nonexistence of \(x\) is impossible does not necessarily provide a specific object satisfying \(P\). For Brouwer, an existence proof must contain, or make it possible to construct, a witness.

This requirement recalls the objections raised against the Axiom of Choice: asserting that a function exists is not equivalent to showing how it is constructed. Intuitionism turns this distinction into a general principle concerning all mathematical existence.

Negation and Double Negation

In intuitionistic logic, to negate a proposition does not simply mean assigning it the value “false.” It means proving that every attempt to construct it leads to a contradiction:

$$\neg A\equiv A\rightarrow\bot$$

From a proof of \(A\), we may conclude \(\neg\neg A\), since a proof of \(A\) prevents \(A\) from leading to a contradiction:

$$A\rightarrow\neg\neg A$$

The converse is not valid in general:

$$\neg\neg A\nrightarrow A$$

The impossibility of refuting \(A\) does not yet constitute a construction of \(A\). This difference between asserting and being unable to deny becomes one of the fundamental dividing lines between classical and intuitionistic logic.

The Law of Excluded Middle

The best-known classical principle that Brouwer rejects in its unrestricted application is the Law of Excluded Middle:

$$A\lor\neg A$$

According to classical logic, every proposition is either true or false. There is no third possibility. Constructively interpreted, however, asserting \(A\lor\neg A\) requires either a proof of \(A\) or a proof that \(A\) leads to a contradiction.

There is no general reason to suppose that, for every mathematical problem, we necessarily possess one of these two constructions. The classical principle turns the current absence of a solution into the claim that a solution must exist on one side or the other.

Finite Domains

The law of excluded middle presents no difficulty when the property under consideration can be decided by a finite check. Suppose we wish to determine whether any of the numbers in the set

$$A=\{1,2,3,4,5\}$$

satisfies a decidable property \(P\). We can examine its elements one by one. The procedure will terminate either by producing an example or by proving that none satisfies the condition.

In finite domains, the divide between classical and intuitionistic mathematics usually disappears because the alternatives can be effectively verified.

Infinite Domains

The situation changes when the search ranges over an infinite totality. Consider a decidable property \(P(n)\) of the natural numbers and the proposition:

$$\exists n\,P(n)$$

We may check \(P(0)\), \(P(1)\), \(P(2)\), and so on in succession. If we find a number satisfying the property, we have proved the existential statement. But if no such number exists, the search by itself will never reach a final moment at which we can conclude that all natural numbers have been examined.

To prove the negation, we would need an additional construction showing that no number can satisfy \(P\). As long as we possess neither a proof of existence nor a proof of impossibility, intuitionism does not accept the disjunction:

$$\exists n\,P(n)\lor\neg\exists n\,P(n)$$

The proposition is not regarded as false. It has simply not been proved.

Proofs by Contradiction

Intuitionism does not reject every proof by contradiction. It is perfectly legitimate to prove \(\neg A\) by assuming \(A\) and deriving an absurdity. What is not accepted in general is proving \(A\) by assuming \(\neg A\), reaching a contradiction, and then eliminating the double negation.

The difference may be expressed as follows:

$$A\rightarrow\neg\neg A$$

$$\neg\neg A\not\rightarrow A$$

Consequently, many classical theorems proved indirectly must receive new constructive proofs or be reformulated in a weaker form.

Sets and Species

The Zermelo–Fraenkel axiomatization had sought to control which sets could be formed. Brouwer raises a more fundamental objection: a set cannot be regarded as a completed totality merely because a formula or an axiom asserts its existence.

In place of the classical notion of a property or set, Brouwer uses the concept of a species. A species is a property that can be applied to mathematical entities already constructed. An object belongs to a species when we possess a proof that it satisfies its defining property.

But the fact that we have not proved that an object belongs to a species does not mean that we have proved that it does not belong. There are three distinct situations:

• we possess a construction proving that the object belongs;
• we possess a construction proving that its membership leads to a contradiction;
• we do not yet possess either construction.

A species therefore does not necessarily divide all objects into two completely determined regions. The extension of a property may grow as new constructions and proofs emerge.

The Intuitionistic Continuum

The differences between classical mathematics and intuitionism become especially profound in the definition of the real numbers and the continuum.

Dedekind, Cantor, and later Set Theory conceived the continuum as a completed totality of points. Every real number existed as a determinate object, even if it could not be individually described. The set of real numbers was given all at once.

Brouwer rejects this conception. The continuum is not a completed set of pre-existing points. It is a medium in which new determinations can unfold indefinitely.

Law-Governed Sequences

A real number may be approximated by a sequence of rational numbers:

$$a_0,a_1,a_2,a_3,\ldots$$

In some cases, a law determines every term in advance. For example:

$$a_n=\sum_{k=0}^{n}\frac{1}{2^k}$$

Once the rule is known, we can calculate any term in the sequence. Brouwer calls these constructions law-governed sequences.

Choice Sequences

Intuitionism also permits choice sequences. In these, the terms need not be determined in advance by a formula. The mathematical subject may choose new values as the sequence develops, subject only to the conditions imposed by its construction.

At any given moment, we possess only a finite initial segment:

$$a_0,a_1,\ldots,a_n$$

The later terms have not yet been chosen. They are not hidden and waiting to be discovered, but remain genuinely open.

A real number represented by a choice sequence is therefore an object in development. We may obtain increasingly precise approximations, but we should not automatically attribute to it every property that a completely determined object would possess.

A Continuum in the Making

Choice sequences allow Brouwer to reconstruct the continuum without reducing it to a static collection of isolated points. The continuum remains in a permanent process of determination. Its elements may acquire new properties as the construction advances.

For this reason, intuitionistic mathematics is not simply classical mathematics with the Law of Excluded Middle removed. It introduces objects and methods of its own. Some classical concepts split into several constructively distinct notions; other theorems take on new forms.

Intuitionism and Formalism

During the 1920s, intuitionism became one of the central positions in the foundational debate. Brouwer temporarily found an important ally in Hermann Weyl, a student of Hilbert, who expressed serious doubts about Set Theory and for several years moved toward the intuitionistic program.

David Hilbert reacted forcefully. He believed that eliminating nonconstructive reasoning would mean abandoning an immense and fruitful part of mathematics. His aim was not to construct every object intuitionistically, but to justify the use of classical methods by proving that the formal systems containing them were consistent.

The opposition should not be simplified into a dispute between meaningful mathematics and a mere game with symbols. Hilbert also attributed content to an elementary part of mathematics and required consistency proofs to rest on finite, secure forms of reasoning. The disagreement concerned whether that security could indirectly legitimate the ideal edifice of classical mathematics.

Cantor’s Paradise

Hilbert was especially committed to Set Theory and Cantor’s transfinite numbers. For him, abandoning these resources because not all their objects could be individually constructed would have amounted to an unjustified mutilation of mathematics.

Brouwer replied that a consistent system of signs did not thereby acquire mathematical content. Transfinite totalities, choice functions, and arbitrary points of the continuum could be accepted only when they corresponded to legitimate constructions.

The conflict also extended into the personal and institutional spheres. Brouwer and Hilbert engaged in a bitter dispute that culminated in the late 1920s with Brouwer’s removal from the editorial board of the journal Mathematische Annalen.

Heyting and Intuitionistic Logic

Brouwer never regarded the formalization of a logic as the principal aim of intuitionism. For him, logic was a secondary description of mathematical language, incapable of exhausting the creative possibilities of the mind.

Nevertheless, his student Arend Heyting systematized in 1930 the logical principles compatible with intuitionistic mathematics. The result was intuitionistic logic, a formal system that retains many classical rules but rejects, among other principles, the law of excluded middle and the general elimination of double negation.

This formalization made it possible to study constructive reasoning technically and compare it with classical logic. Paradoxically, a philosophy born from criticizing the identification of mathematics with language ended up inspiring one of the most important formal systems in modern logic.

Conclusion

Brouwer’s intuitionism offers a response to the crisis in the foundations of mathematics radically different from those examined so far. It does not seek to secure classical mathematics through a logical reduction, a hierarchy of types, or a list of axioms. It questions whether the classical edifice has mathematical content wherever it cannot be reconstructed through effective acts of intuition.

For Brouwer, mathematics is a creation of the mind grounded in the temporal experience of succession. Language and logic allow constructions to be communicated and studied, but they do not originate them. A proposition is true when we possess a construction that proves it; asserting an existence requires constructing a witness; a disjunction requires deciding one of its alternatives.

These requirements lead to the rejection of the unrestricted use of the Law of Excluded Middle and of double-negation elimination. They also transform the conception of sets and real numbers. The continuum ceases to be a completed totality of points and comes to be understood as a structure in development, unfolded through choice sequences.

The price of this constructive security is the abandonment of many forms of reasoning accepted in classical mathematics. For Hilbert, such a renunciation threatened to destroy some of its greatest achievements. The confrontation between the two authors would define a fundamental part of the foundational debate during the 1920s.

In the next article, we will examine the formalist response associated with Hilbert’s program: the attempt to preserve classical mathematics by turning its proofs into the objects of a new discipline, metamathematics.

Recommended Reading

• Brouwer, L. E. J. (1907). Over de Grondslagen der Wiskunde.
• Brouwer, L. E. J. (1912). “Intuitionism and Formalism.”
• Brouwer, L. E. J. (1918). Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten.
• Brouwer, L. E. J. (1923). “On the Significance of the Principle of the Excluded Middle in Mathematics, Especially in Function Theory.”
• Heyting, A. (1956). Intuitionism: An Introduction.
• van Stigt, W. P. (1990). Brouwer’s Intuitionism.
• Troelstra, A. S. and van Dalen, D. (1988). Constructivism in Mathematics.