Abstract
In the philosophy of mathematics, the realist vs. anti-realist debate continues today with differing positions on the status of mathematical objects. For realists, objects sit in “Plato’s heaven”, immovable, objective, eternal, and we contemplate them, whereas anti-realists (or Constructionists) are the opposite, and emphasize epistemology over ontology, saying that we construct mathematical objects. There are numerous results in mathematics which can be arrived at both from a realist and an anti-realist viewpoint. In other words, they can be contemplated (proved) via methods deemed unsuitable by anti-realists- or simply arrived at it through methods (or construction) as the anti-realist would say. In this chapter, we argue that realism and anti-realism can be seen as two sides of the same coin, or different ways of knowing the same thing, and therefore the so called dichotomy between these positions is reconcilable for particular mathematical objects.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We deliberately rule out formalism for the primary reason that in keeping with Heyting’s (1974) observation: “There is no conflict between intuitionism and formalism when each keeps to its own subject, intuitionism to mental constructions, formalism to the construction of a formal system, motivated by its internal beauty or by its utility for science and industry. They clash when formalists contend that their systems express mathematical thought. Intuitionists make two objections against this contention. In the first place, …[m]ental constructions cannot be rendered exactly by means of language; secondly the usual interpretation of the formal system is untenable as a mental construction.” (p. 89).
- 2.
In this chapter we use the terms Realism and Constructionism for these two positions.
- 3.
The proposal originally made by Georg Cantor that there is no infinite set with a cardinal number between that of the infinite set of integers x 0 and the infinite set of real numbers (the “continuum”).
- 4.
See for instance a classic and constructive proofs for the fundamental theorem of Algebra.
- 5.
A rigorous proof ζ(−1) = −1/12 can be found in: Stopple, J. (2003). A primer of analytic number theory: from Pythagoras to Riemann. Cambridge University Press.
References
P. Benacerraf, What numbers could not be. Philo. Rev. 74, 47–73 (1965)
P. Benacerraf, Mathematical truth. J. Philos. 70(19), 661–679 (1973)
E. Bishop, Foundations of Constructive Analysis (McGraw-Hill, New York, 1967)
E. Bishop, Schizophrenia in Contemporary Mathematics. American Mathematical Society Colloquium Lectures (University of Montana, Missoula, 1973); reprinted in Errett Bishop: Reflections on Him and His Research. American Mathematical Society Memoirs 39
L.E.J. Brouwer, Over de grondslagen der wiskunde. Ph.D. Thesis, University of Amsterdam, Department of Physics and Mathematics (1907)
D. Bridges, F. Richman, Varieties of Constructive Mathematics. London Mathematical Society Lecture Notes 97 (Cambridge University Press, Cambridge, 1987)
P.J. Cohen, The independence of the continuum hypothesis. Proc. Natl. Acad. Sci. 50(6), 1143–1148 (1963)
P. Davis, R. Hersh, The Mathematical Experience (Springer Science & Business Media 1981)
J. Dieudonné, The work of Nicholas Bourbaki. Am. Math. Monthly 77, 134 (1970)
J. Ferreirós, The crisis in the foundations of mathematics, in The Princeton Companion to Mathematics (2008), pp. 142–156
M. Friend, Pluralism in Mathematics: A New Position in the Philosophy of Mathematics (Springer, Netherlands, 2014)
M. Friend, Mathematical Theories as Models, ed. by B. Sriraman. in Humanizing Mathematics and its Philosophy. (Birkhäuser, Cham, 2017)
K. Gödel, The Consistency of the Continuum-Hypothesis (Princeton University Press, Princeton, NJ, 1940)
E. Grosholz, Starry Reckoning: Reference and Analysis in Mathematics and Cosmology. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol. 30 (Springer International Publishing, 2016)
G. Hanna, Some pedagogical aspects of proof. Interchange 21(1), 6–13 (1990)
G. Harel, Intellectual need, Vital Directions for Mathematics Education Research (Springer, New York, 2013), pp. 119–151
D.E. Hesseling, Gnomes in the Fog: The Reception of Brouwer’s Intuitionism in the 1920s (Birkäuser Verlag, Boston, 2003)
M. Mandelkern, Brouwerian counterexamples. Math. Mag. 62(1), 3–27 (1989)
P. Raatikainen, Concepts of truth in intuitionism. Hist. Philos. Logic 25, 131–145 (2004)
F. Richman, Existence proofs. Am. Math. Monthly 106, 303–308 (1999)
E. Snapper, The three crises in mathematics: logicism, intuitionism and formalism. Math. Mag. 52(4), 207–216 (1979)
E. Schechter, Constructivism is difficult. Am. Math. Monthly 108, 50–54 (2001)
M. Steiner, Mathematical explanation. Philos. Stud. 34, 135–151 (1978)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Sriraman, B., Haavold, P. (2018). Reconciling the Realist/Anti Realist Dichotomy in the Philosophy of Mathematics. In: Wuppuluri, S., Doria, F. (eds) The Map and the Territory. The Frontiers Collection. Springer, Cham. https://doi.org/10.1007/978-3-319-72478-2_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-72478-2_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-72477-5
Online ISBN: 978-3-319-72478-2
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)