“The viewpoint of the formalist must lead to the conviction that if other symbolic formulas should be substituted for the ones that now represent the fundamental mathematical relations and the mathematical-logical laws, the absence of the sensation of delight, called "consciousness of legitimacy," which might be the result of such substitution would not in the least invalidate its mathematical exactness. To the philosopher or to the anthropologist, but not to the mathematician, belongs the task of investigating why certain systems of symbolic logic rather than others may be effectively projected upon nature. Not to the mathematician, but to the psychologist, belongs the task of explaining why we believe in certain systems of symbolic logic and not in others, in particular why we are averse to the so-called contradictory systems in which the negative as well as the positive of certain propositions are valid.”

as translated by Arnold Dresden from: Brouwer, L. E. J. (1913). Intuitionism and formalism. Bulletin of the American Mathematical Society, 20(2), 81–96. (quote on p. 84)

Adopted from Wikiquote. Last update Aug. 18, 2025. History

Help us to complete the source, original and additional information

Do you have more details about the quote "The viewpoint of the formalist must lead to the conviction that if other symbolic formulas should be substituted for th…" by L. E. J. Brouwer?
L. E. J. Brouwer photo
L. E. J. Brouwer 2
Dutch mathematician and logician 1881–1966

Related quotes

Donald Ervin Knuth photo
Bertrand Russell photo
R. G. Collingwood photo
Nikola Tesla photo

“Today's scientists have substituted mathematics for experiments, and they wander off through equation after equation, and eventually build a structure which has no relation to reality.”

Nikola Tesla (1856–1943) Serbian American inventor

"Radio Power Will Revolutionize the World" in Modern Mechanics and Inventions (July 1934)

John Von Neumann photo

“The calculus was the first achievement of modern mathematics and it is difficult to overestimate its importance. I think it defines more unequivocally than anything else the inception of modern mathematics; and the system of mathematical analysis, which is its logical development, still constitutes the greatest technical advance in exact thinking.”

John Von Neumann (1903–1957) Hungarian-American mathematician and polymath

As quoted in Bigeometric Calculus: A System with a Scale-Free Derivative (1983) by Michael Grossman, and in Single Variable Calculus (1994) by James Stewart.

Bertrand Russell photo

“The fact that all Mathematics is Symbolic Logic is one of the greatest discoveries of our age”

Bertrand Russell (1872–1970) logician, one of the first analytic philosophers and political activist

Principles of Mathematics (1903), Ch. I: Definition of Pure Mathematics, p. 5
1900s
Context: The fact that all Mathematics is Symbolic Logic is one of the greatest discoveries of our age; and when this fact has been established, the remainder of the principles of mathematics consists in the analysis of Symbolic Logic itself.

William Stanley Jevons photo
Marston Morse photo

“Discovery in mathematics is not a matter of logic. It is rather the result of mysterious powers which no one understands, and in which unconscious recognition of beauty must play an important part. Out of an infinity of designs, a mathematician chooses one pattern for beauty's sake and pulls it down to earth.”

Marston Morse (1892–1977) American mathematician

Attributed in Princeton & Mathematics: A Notable Record, Chaplin, Virginia, Princeton Alumni Weekly, May 9, 1958 http://www.princeton.edu/~mudd/finding_aids/mathoral/pmcxpaw.htm,

Related topics