“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.”

—  L. E. J. Brouwer

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. Brouwer2
Dutch mathematician and logician 1881–1966

Related quotes

Donald Ervin Knuth photo

“A mathematical formula should never be "owned" by anybody! Mathematics belong to God.”

Donald Ervin Knuth Digital Typography

Digital Typography, ch. 1, p. 8 (1999)

Bertrand Russell photo

“So much of modern mathematical work is obviously on the border-line of logic, so much of modern logic is symbolic and formal, that the very close relationship of logic and mathematics has become obvious to every instructed student. The proof of their identity is, of course, a matter of detail: starting with premisses which would be universally admitted to belong to logic, and arriving by deduction at results which as obviously belong to mathematics, we find that there is no point at which a sharp line can be drawn, with logic to the left and mathematics to the right. If there are still those who do not admit the identity of logic and mathematics, we may challenge them to indicate at what point, in the successive definitions and deductions of Principia Mathematica, they consider that logic ends and mathematics begins. It will then be obvious that any answer must be quite arbitrary.”

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

Source: 1910s, Introduction to Mathematical Philosophy (1919), Ch. 18: Mathematics and Logic

“Mathematics has also been developed as a philosophy, in the sense in which this term is defined by A. N. Whitehead as 'the endeavor to frame a coherent, logical and necessary system of general ideas in terms of which every element of our experience can be interpreted'. Substitute 'mathematics' for 'experience' and we have an admirable description of its speculative and philosophic development…. Philosophy of mathematics… has its paradoxes and antimonies, and also diverse schools of thought…”

George Frederick James Temple (1901–1992) British mathematician

100 Years of Mathematics: a Personal Viewpoint (1981)

R. G. Collingwood photo

“We can now return to the distinction between language and symbolism. A symbol is language and yet not language. A mathematical or logical or any other kind of symbol is invented to serve a purpose purely scientific; it is supposed to have no emotional expressiveness whatever. But when once a particular symbolism has been taken into use and mastered, it reacquires the emotional expressiveness of language proper. Every mathematician knows this. At the same time, the emotions which mathematicians find expressed in their symbols are not emotions in general, they are the peculiar emotions belonging to mathematical thinking.”

R. G. Collingwood (1889–1943) British historian and philosopher

Source: The Principles of Art (1938), p. 268

“Pure mathematics proves itself a royal science both through its content and form, which contains within itself the cause of its being and its methods of proof. For in complete independence mathematics creates for itself the object of which it treats, its magnitudes and laws, its formulas and symbols.”

Christian Heinrich von Dillmann (1829–1899) German educationist

Source: Die Mathematik die Fackelträgerin einer neuen Zeit (Stuttgart, 1889), p. 94.

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

“All acts of reasoning seem to me to be different cases of one uniform process which may perhaps be best described as the substitution of similars… The chief difficulty consists in showing that all the forms of the old logic, as well as the fundamental rules of mathematical reasoning, may be explained upon the same principle; and it is to this difficult task I have devoted the most attention.”

William Stanley Jevons (1835–1882) English economist and logician

Preface
The Substitution of Similars, The True Principles of Reasoning (1869)

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