[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
