“If we compare. e. g. the systems of classical mathematics and of intuitionistic mathematics, we find that the first is much simpler and technically more efficient, while the second is more safe from surprising occurences, e. g. contradictions. At the present time, any estimation of the degree of safety of the system of classical mathematics, in other words, the degree of plausibility of its principles, is rather subjective. The majority of mathematicians seem to regard this degree as sufficiently high for all practical purposes and therefore prefer the application of classical mathematics to that of intuitionistic mathematics. The latter has not, so far as I know, been seriously applied in physics by anybody.”
Rudolf Carnap (1939; 51), as cited in: Paul van Ulsen. Wetenschapsfilosofie http://www.illc.uva.nl/Research/Publications/Inaugurals/IV-10-Arend-Heyting.text.pdf, 6 november 2017.
Help us to complete the source, original and additional information
Rudolf Carnap 21
German philosopher 1891–1970Related quotes
100 Years of Mathematics: a Personal Viewpoint (1981)
Set theory and the continuum hypothesis, p. 1. https://books.google.com/books?id=Z4NCAwAAQBAJ&pg=PA1 Courier Corporation, 2008 (Dover reprint).
Set Theory and the Continuum Hypothesis (1966)

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.

Source: The mechanization of the world picture, 1961, p. 499
George Forsythe (1958) cited in: Computers and people Vol 23. (1974). p. 11 Pagina 11

Third Lecture, Critical Discussion of the Foundations of Probability, p. 80
Probability, Statistics And Truth - Second Revised English Edition - (1957)

Footnote: In the future by 'mathematics' will always be meant 'pure mathematics'.
The Foundations of Mathematics (1925)