Theological Underpinnings of the Modern Philosophy of Mathematics.

Shaposhnikov, Vladislav

doi:10.1515/slgr-2016-0009

Abstract

The study is focused on the relation between theology and mathematics in the situation of increasing secularization. My main concern in the second part of this paper is the early-twentieth-century foundational crisis of mathematics. The hypothesis that pure mathematics partially fulfilled the functions of theology at that time is tested on the views of the leading figures of the three main foundationalist programs: Russell, Hilbert and Brouwer.

References

Bell, E.T. (1945). The development of mathematics (2nd ed.). New York, NY: McGraw-Hill.
Search in Google Scholar
Benacerraf, P., & Putnam, H. (Eds.). (1983). Philosophy of mathematics: Selected readings (2nd ed.). New York, NY: Cambridge University Press.
Search in Google Scholar
Bergmans, L. (2005). Gerrit Mannoury and his fellow significians on mathematics and mysticism. In T. Koetsier & L. Bergmans (Eds.), Mathematics and the divine: A historical study (pp. 549–568). Amsterdam: Elsevier B.V.
Search in Google Scholar
Bishop, E. (1967). Foundations of constructive analysis. New York, NY: McGraw-Hill.
Search in Google Scholar
Brouwer, L.E.J. (1975). Collected works, vol. 1: Philosophy and foundations of mathematics (A. Heyting, Ed.). Amsterdam: North-Holland Publishing Company.
Search in Google Scholar
Brouwer, L.E.J. (1996). Life, art, and mysticism (W.P. van Stigt, Intr. and trans.). Notre Dame Journal of Formal Logic, 37, 381–429. (Original work published 1905)
Search in Google Scholar
Cellucci, C. (2005). Mathematical discourse vs. mathematical intuition. In C. Cellucci & D. Gillies (Eds.), Mathematical reasoning and heuristics (pp. 137–165). London: King’s College Publications.
Search in Google Scholar
Cohen, D.J. (2007). Equations from God: Pure mathematics and Victorian faith. Baltimore, MD: The Johns Hopkins University Press.10.1353/book.3301
Search in Google Scholar
Davis, P.J. (2004). A brief look at mathematics and theology. The Humanistic Mathematics Network Journal Online, 27. Retrieved from http://www2.hmc.edu/www_common/HMNJ-OLD/davis2brieflook1and2.pdf10.5642/hmnj.200401.27.14
Search in Google Scholar
Ewald, W.B. (1996). From Kant to Hilbert: A source book in the foundations of mathematics. New York, NY: Oxford University Press.
Search in Google Scholar
Ferreirós, J. (2004). The motives behind Cantor’s set theory – physical, biological, and philosophical questions. Science in Context, 17, 49–83.10.1017/S0269889704000055
Search in Google Scholar
Frege, G. (1980). Philosophical and mathematical correspondence (G. Gabriel et al., Eds., B. McGuinness, Abr., H. Kaal, Trans.). Oxford, UK: Basil Blackwell.
Search in Google Scholar
Gray, J.J. (2004). Anxiety and abstraction in nineteenth-century mathematics. Science in Context, 17, 23–47.10.1017/S0269889704000043
Search in Google Scholar
Gray, J.J. (2008). Plato’s ghost: The modernist transformation of mathematics. Princeton, NJ: Princeton University Press.10.1515/9781400829040
Search in Google Scholar
Heijerman, E. (1990). Relativism and significs: Gerrit Mannoury on the foundations of mathematics. In H.W. Schmitz (Ed.), Essays on significs: Papers presented on the occasion of the 150th anniversary of the birth of Victoria Lady Welby, 1837–1912 (pp. 247–272). John Benjamins B.V.
Search in Google Scholar
Hesseling, D.E. (2003). Gnomes in the fog: The reception of Brouwer’s intuitionism in the 1920s. Basel, Switzerland: Birkhäuser Verlag.10.1007/978-3-0348-7989-7
Search in Google Scholar
Heyerman, E. (1981). Intuition and the intellect: On the relation between mathematics, philosophy and mysticism in the work of L.E.J. Brouwer, including a comparison with Nicolas of Cusa. Preprint No. 208. Utrecht: Utrecht University, Department of Mathematics.
Search in Google Scholar
Hilbert, D. (1900). Mathematische Probleme. In Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen. Mathematisch-Physikalische Klasse aus dem Jahre 1900 (pp. 253–297). Göttingen: Dieterichsche Universitätsbuchhandlung.
Search in Google Scholar
Hilbert, D. (1926). Über das Unendliche. Mathematische Annalen, 95, 161–190. English translation (van Heijenoort, 1967, pp. 367–392).10.1007/BF01206605
Search in Google Scholar
Hilbert, D. (1928). Die Grundlagen der Mathematik. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, 6, 65–85. English translation (van Heijenoort, 1967, pp. 464–479).
Search in Google Scholar
Hilbert, D. (1930). Naturerkennen und Logik. Naturwissenschaften, 18, 959–963. English translation (Ewald, 1996, pp. 1157–1165).10.1007/BF01492194
Search in Google Scholar
Hilbert, D. (2013). David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933 (W. Ewald & W. Sieg, Eds.). Heidelberg: Springer-Verlag.
Search in Google Scholar
Kleene, S.C. (1952). Introduction to metamathematics. Amsterdam: North-Holland.
Search in Google Scholar
Klein, F. (1909). Elementarmathematik vom höheren Standpunkte aus, Teil II: Geometrie, Vorlesung gehalten in Sommersemester 1908. Leipzig: B.G. Teubner.
Search in Google Scholar
Koetsier, T. (2005). Arthur Schopenhauer and L.E.J. Brouwer: A comparison. In T. Koetsier & L. Bergmans (Eds.), Mathematics and the divine: A historical study (pp. 569–593). Amsterdam: Elsevier B.V.
Search in Google Scholar
Kragh, H. (2014). The true (?) story of Hilbert’s infinite hotel. Retrieved from http://arxiv.org/abs/1403.0059
Search in Google Scholar
Kunen, K. (2009). The foundations of mathematics. London, UK: College Publications.
Search in Google Scholar
Lakatos, I. (1976). Proofs and refutations: The logic of mathematical discovery (J. Worrall & E. Zahar, Eds.). Cambridge, UK: Cambridge University Press.10.1017/CBO9781139171472
Search in Google Scholar
McLarty, C. (2012). Hilbert on theology and its discontents. In A. Doxiadis & B. Mazur (Eds.), Circles disturbed: the interplay of mathematics and narrative (pp. 105–129). Princeton, NJ: Princeton University Press.
Search in Google Scholar
Minkowski, H. (1905). Peter Gustav Lejeune Dirichlet und seine Bedeutung für die heutige Mathematik. Jahresberichte der Deutschen Mathematiker-Vereinigung, 14, 149–163.
Search in Google Scholar
Mendelson, E. (1979). Introduction to mathematical logic (2nd ed.). New York, NY: D. Van Nostrand Company. (First edition 1964)
Search in Google Scholar
Plato (1997). Complete works (J.M. Cooper, Ed.). Indianapolis, IN: Hackett Publishing Company.
Search in Google Scholar
Rasiowa, H. & Sikorski, R. (1963). Mathematics of metamathematics. Warszawa: Państwowe Wydawnictwo Naukowe.
Search in Google Scholar
Reid, C. (1970). Hilbert. Berlin – Heidelberg: Springer.10.1007/978-3-662-28615-9
Search in Google Scholar
Russell, B. (1917). Mysticism and logic and other essays. London: Allen & Unwin.
Search in Google Scholar
Russell, B. (1919). Introduction to mathematical philosophy. London, UK: Allen & Unwin, New York, NY: The MacMillan Co.
Search in Google Scholar
Russell, B. (1956). Portraits from memory and other essays. New York, NY: Simon & Schuster.
Search in Google Scholar
Russell, B. (1959). My philosophical development. New York, NY: Simon & Schuster.
Search in Google Scholar
van Atten, M. & Tragesser, R. (2003). Mysticism and mathematics: Brouwer, Gödel, and the common core thesis. In W. Deppert & M. Rahnfeld (Eds.), Klarheit in Religionsdingen (pp. 145–160). Leipzig: Leipziger Universitätsverlag. Reprinted in (van Atten, 2015, pp. 173–187).
Search in Google Scholar
van Atten, M. (2015). Essays on Gödel’s reception of Leibniz, Husserl, and Brouwer. Cham: Springer.10.1007/978-3-319-10031-9
Search in Google Scholar
van Dalen, D. (2008). Another look at Brouwer’s dissertation. In M. van Atten et al. (Eds.), One hundred years of intuitionism (1907–2007): The Cerisy conference (pp. 3–20) Berlin: Birkhäuser.
Search in Google Scholar
van Dalen, D. (2011). The selected correspondence of L.E.J. Brouwer. London, UK: Springer-Verlag.10.1007/978-0-85729-537-8
Search in Google Scholar
van Dalen, D. (2013). L.E.J. Brouwer – topologist, intuitionist, philosopher: How mathematics is rooted in life. London, UK: Springer-Verlag.
Search in Google Scholar
van Heijenoort, J. (1967). From Frege to Gödel: A source book in mathematical logic, 1879–1931. Cambridge, MA: Harvard University Press.
Search in Google Scholar
van Stigt, W.P. (1979). The rejected parts of Brouwer’s dissertation on the foundations of mathematics. Historia Mathematica, 6, 385–404. The rejected parts reprinted in (van Stigt, 1990, pp. 405–415).10.1016/0315-0860(79)90025-9
Search in Google Scholar
van Stigt, W.P. (1990). Brouwer’s intuitionism. Amsterdam: North-Holland Publishing Company.
Search in Google Scholar
Weyl, H. (1921). Über die neue Grundlagenkrise der Mathematik. Mathematische Zeitschrift, 10, 39–79.10.1007/BF02102305
Search in Google Scholar
Weyl, H. (1946). Mathematics and logic. American Mathematical Monthly, 53, 2–13.
Search in Google Scholar

Theological Underpinnings of the Modern Philosophy of Mathematics.

Abstract

Paradigm

My account