L. E. J. Brouwer

[6][7][8] Brouwer also became a major figure in the philosophy of intuitionism, a constructivist school of mathematics which argues that math is a cognitive construct rather than a type of objective truth.

[13] Brouwer founded intuitionism, a philosophy of mathematics that challenged the then-prevailing formalism of David Hilbert and his collaborators, who included Paul Bernays, Wilhelm Ackermann, and John von Neumann (cf.

[14] It is sometimes (simplistically) characterized by saying that its adherents do not admit the law of excluded middle as a general axiom in mathematical reasoning, although it may be proven as a theorem in some special cases.

Nevertheless, in 1908: "After completing his dissertation, Brouwer made a conscious decision to temporarily keep his contentious ideas under wraps and to concentrate on demonstrating his mathematical prowess" (Davis (2000), p. 95); by 1910 he had published a number of important papers, in particular the Fixed Point Theorem.

Hilbert—the formalist with whom the intuitionist Brouwer would ultimately spend years in conflict—admired the young man and helped him receive a regular academic appointment (1912) at the University of Amsterdam (Davis, p. 96).

According to Mark van Atten, this pugnacity reflected his combination of independence, brilliance, high moral standards and extreme sensitivity to issues of justice.

[5] He was involved in a very public and eventually demeaning controversy with Hilbert in the late 1920s over editorial policy at Mathematische Annalen, at the time a leading journal.

Brouwer (right) at the International Mathematical Congress, Zurich 1932