[Aczel, A. D. (2000), The Mystery of the Aleph. Mathematics, the Kabbalah, and the Search for Infinity, Washington Square Press.]Search in Google Scholar
[Barendregt, H. & Wiedijk, F. (2005), ‘The challenge of computer mathematics’, Philosophical Transactions of the Royal Society 363, 2351-2375. Published online 12 September 2005, doi:10.1098/rsta.2005.1661.10.1098/rsta.2005.1661]Search in Google Scholar
[Bell, E. T. (2014), Men of Mathematics. The Lives and Achievements of the Great Mathematicians form Zeno to Poincaré, 1st edition 1937 edn, Simon & Schuster, New York.]Search in Google Scholar
[Bolzano, B. (1851), Paradoxien des Unendlichen, 2 edn, Leipzig. Reprint: (Bolzano 1975), English trans.: (Bolzano 1950).]Search in Google Scholar
[Bolzano, B. (1950), Paradoxes of the Infinite, Routledge and Paul, London.]Search in Google Scholar
[Bolzano, B. (1975), Paradoxien des Unendlichen, Vol. 99 of Philosophische Bibliothek, F. Meiner, Hamburg.]Search in Google Scholar
[Brouwer, J. E. J. (1948), Consciousness, philosophy and mathematics, in ‘Proceedings of the 10th International Congress of Philosophy’, Vol. 3, Amsterdam, pp. 1235-1249.]Search in Google Scholar
[Brouwer, L. E. J. (1933), ‘Willen, weten en spreken’, Euclides 9, 177-193. Partly translated in (Heyting & Freudenthal 1975).]Search in Google Scholar
[Brouwer, L. E. J. (1952), ‘Historical background, principles and methods of intuitionism’, South African Journal of Science.]Search in Google Scholar
[Brouwer, L. E. J. (1981), Brouwer’s Cambridge Lectures on Intuitionism, Cambridge University Press, Cambridge.]Search in Google Scholar
[Cajori, F. (1993), A History of Mathematical Notations, Vol. 1-2, Dover Publications, Inc., New York. (two volumes bound as one).]Search in Google Scholar
[Cantor, G. (1880), ‘Über unendliche, lineare Punktmannigfaltigkeiten. Teil II’, Mathematische Annalen 17, 355-358. Part I and II in (Cantor 1932, pp. 139-148).10.1007/BF01446232]Search in Google Scholar
[Cantor, G. (1883a), Grundlagen einer allgemeinen Mannigfaltigkeitslehre: Ein mathematisch-philosophischer Versuch in der Lehre des Unendlichen, Leipzig. in (Cantor 1932).]Search in Google Scholar
[Cantor, G. (1883b), ‘Über unendliche lineare Punktmannigfaltigkeiten, Teil IV’, Mathematische Annalen 21, 51-58. in (Cantor 1932, 157-164).10.1007/BF01442612]Search in Google Scholar
[Cantor, G. (1887), ‘Mitteilungen zur Lehre vom Transfiniten’, Zeitschrift für Philosophie und philosophische Kritik. Teil I 9, 81-125, 252-270. in (Cantor 1932, pp. 378-439).]Search in Google Scholar
[Cantor, G. (1888), ‘Mitteilungen zur Lehre vomTransfiniten. Teil II’, Zeitschrift für Philosophie und philosophische Kritik 92, 24-265. in (Cantor 1932, pp. 378-439).]Search in Google Scholar
[Cantor, G. (1895), ‘Beiträge zur Begründung der transfiniten Mengenlehre’, Mathematische Annalen 46, 481-512. Reprinted in (Cantor 1932, 282-351). English translation in (Cantor 1915).10.1007/BF02124929]Search in Google Scholar
[Cantor, G. (1915), Contributions to the Founding of the Theory of Transfinite Numbers, Dover Publications, Inc., New York. Translated, and provided an intorduction and notes by Philip Edward Bertrand Jourdain. Available on line https://archive.org/details/contributionstot003626mbp. Retrieved 02.08.2014.]Search in Google Scholar
[Cantor, G. (1932), Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Mit Erläuterunden Anmerkungen sowie mit Ergänzungen aus den Briewechsel Cantor-Dedekind. Nebst einem Lebenslauf Cantors von A. Fraenkel, Verlag von Julius Springer, Berlin, Göttingen. Reprinted:Hildesheim 1962; 2nd ed. Springer, Berlin 1980 Mit erläuternden Anmerkungen sowie mit Ergänzungen aus dem Briefwechsel Cantor-Dedekind; reprint 2013. Available online http://gdz.sub.uni-goettingen.de/dms/load/pdf/?PPN=PPN237853094&DMDID=DMDLOG0059&LOGID=LOG0059&PHYSID=PHYS0391.]Search in Google Scholar
[Cantor, G. (1991), Georg Cantor: Briefe, Springer Verlag, Berlin. Available online http://bookzz.org/book/2128814/15fe2e. Retrieved 30.07.2014. The complete known correspondence between Georg Cantor and Cardinal Franzelin has been translated into English and published in one location available online http://www.schillerinstitute.org/fid91-96/943transfinite.htm. Retrieved 30.07.2014.]Search in Google Scholar
[Chaitin, G. J. (1966), ‘On the length of programs for computing finite binary sequences’, Journal of the Association of Computing Machinery 13, 547-569.10.1145/321356.321363]Search in Google Scholar
[Chaitin, G. J. (1987), Algorithmic Information Theory, Cambridge University Press, Cambridge.10.1017/CBO9780511608858]Search in Google Scholar
[Chaitin, G. J. (1997), An invitation to algorithmic information theory, in ‘DMTCS ’96 Proceedings’, Springer-Verlag, Singapore, pp. 1-23.]Search in Google Scholar
[Chaitin, G. J. (2004), ‘Leibniz, randomness & the halting probability’. http://www.cs.auckland.ac.nz/CDMTCS/chaitin/turing.html.]Search in Google Scholar
[Chapman, A., Ellis, A., Hanna, R., Hildebrand, T. & Pickford, H. W. (2013), In Defense of Intuitions: A New Rationalist Manifesto, Palgrave MacMillan.10.1057/9781137347954]Search in Google Scholar
[Cohen, P. J. (2005), ‘Skolem and pessimism about proof in mathematics’, Philosophical Transactions of the Royal Society 363, 2407-2418. Published online 12 September 2005, doi:10.1098/rsta.2005.1661.10.1098/rsta.2005.1661]Search in Google Scholar
[Dauben, J. W. (1977), ‘Georg Cantor and Pope Leo XIII: Mathematics, theology, and the infinite’, Journal of the History of Ideas 38(1), 85-108.10.2307/2708842]Search in Google Scholar
[Dauben, J. W. (1979), Georg Cantor: His Mathematics and Philosophy of the Infinite, Harvard University Press, Cambridge. http://www.math.dartmouth.edu/˜matc/Readers/HowManyAngels/Cantor/Cantor.html.]Search in Google Scholar
[Dauben, J. W. (1992), Conceptual revolutions and history of mathematics: Two studies in the growth of knowledge, in D. Gilles, ed., ‘Revolutions in Mathematics’, Claredon Press, Oxford, chapter 4, pp. 49-71.]Search in Google Scholar
[Dauben, J. W. (2004), Georg Cantor and the battle for transfinite set theory, in ‘Proceedings of the 9th ACMS Conference’, Westmont College, Santa Barbara, CA, pp. 1-22. Internet version published in Journal of the ACMS 2004.]Search in Google Scholar
[Davis, M. (1965), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions, Raven Press, Hewlett, N.Y.]Search in Google Scholar
[Décaillot, A.-M. (2008), Cantor et al France. Correspondance du Mathématicien Alleman avec les Français á la Fin du XIXe Sciècle, ´Editions Kimé, Paris.]Search in Google Scholar
[Décaillot, A.-M. (2011), Cantor und die Franzosen: Mathematik, Philosophie und das Unendliche, Springer, Berlin, Heidelberg. Translated by Klaus Volkert (Décaillot 2008).10.1007/978-3-642-14869-9]Search in Google Scholar
[Descartes, R. (1978), The Philosophical Works of Descartes, Vol. I, II, Cambridge University Press, Cambridge. translated by Elizabeth S. Haldane, and G.R.T. Ross.]Search in Google Scholar
[Dewender, T. (2002), Das Problem des Unendlichen im ausgehenden 14. Jahrhundert: Eine Studie mit Textedition zum Physikkommentare des Lorenz von Lindores, Vol. 36 of Bochumer Studien zum Philosophie, B. R. Grüner Publishing Company, Amsterdam.10.1075/bsp.36]Search in Google Scholar
[Escandell-Vidal, V., Leonetti, M. & Ahern, A., eds (2011), Procedural Meaning: Problems and Perspectives, Current Research in the Semantics / Pragmatics Interface, BRILL. DOI: 10.1163/9780857240941.10.1163/9780857240941]Search in Google Scholar
[Ewald, B. E., ed. (1996), From Kant to Hilbert: A Source Book in the Foundations of Mathematics, Oxford University Press, Oxford.]Search in Google Scholar
[Findlay, J. N., Lewy, C. & Körner, S. (1953), ‘Symposium: The notion of infinity’, Proceedings of the Aristotelian Society 27, 21-68. Supplementary Volumes: Berkeley and Modern Problems.10.1093/aristoteliansupp/27.1.21]Search in Google Scholar
[Frege, G. (1879), Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Verlag von Louis Nebert, Halle.]Search in Google Scholar
[Frege, G. & Austin, J. (1980), The Foundations of Arithmetic: A Logico-Mathematical Enquiry Into the Concept of Number, Northwestern University Press.]Search in Google Scholar
[Galileo, G. (1638), Discorsi e dimostrazioni matematiche, intorno á due nuove scienze, Leida.]Search in Google Scholar
[Gauss, C. F. & Schumacher, H. C. (1860-1865), Briefwechsel zwischen C. F. Gauss und H. C. Schumacher, Vol. II, Gustav Esch, Altona.]Search in Google Scholar
[Gentzen, G. (1969), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam.]Search in Google Scholar
[Genzten, G. (1934), ‘Untersuchungen über das logische Schließen’, Mathematische Zeitschrift 39, 176-210, 405-431. Avaiable online http://eudml.org/doc/168546. Retrieved 08.08.2014. English translation (Gentzen 1969).10.1007/BF01201363]Search in Google Scholar
[Gödel, K. (1929), Über die Vollständigkeit des Logikkalküls, Doctoral dissertation, University of Vienna, Wien. The first proof of the completeness theorem. Reprinted also with English transl. in (Gödel 1986, 60-101).]Search in Google Scholar
[Gödel, K. (1931), ‘Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I’, Monatshefte für Mathematik und Physik 38, 173-198. Received: 17.XI.1930. Translated in: (Gödel 1986, 144-195). Includes the German text and parallel English translation. English translations in (Davis 1965, 5-38), (van Heijenoort 1967, 595-616). Online version (translation by B. Meltzer, 1962): http://www.ddc.net/ygg/etext/godel/, PDF version (translation by M. Hirzel): http://nago.cs.colorado.edu/˜hirzel/papers/canon00-goedel.pdf.Gödel, K. (1986), Collected Works. Publications 1929-1936, Vol. 1, Oxford University Press Inc, USA.]Search in Google Scholar
[Hale, B. (1987), Abstract Objects, Basil Blackwell, Oxford and New York.]Search in Google Scholar
[Hallet, M. (1984), Cantorian set theory and limitation of size, Clarendon Press, Oxford. Foreword by Michael Dummett. Reprinted in paperback, with revisions, 1986, 1988.]Search in Google Scholar
[Hallett, M. (1986), Cantorian Set Theory and Limitation of Size, Clarendon Pres, Oxford.]Search in Google Scholar
[Hersh, R. (1997), What is Mathematics, Really?, Oxfor University Press.10.1515/dmvm-1998-0205]Search in Google Scholar
[Heyting, A. (1934), Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie, Springer Verlag, Berlin.10.1007/978-3-642-65617-0_9]Search in Google Scholar
[Heyting, A. (1956), Intuitionism. An Introduction, 1 edn, North-Holland Publishing Co., Amsterdam. 2nd edition 1966.]Search in Google Scholar
[Heyting, A. & Freudenthal, H., eds (1975), Collected Works of Luitzen Egbertus Jean Brouwer, North-Holland, Amsterdam.]Search in Google Scholar
[Hiebert, J., ed. (1986), Conceptual and Procedural Knowledge: The Case of Mathematics, Lawrence Erlbaum, Hillsdale, NJ.]Search in Google Scholar
[Hilbert, D. (1899), Grundlagen der Geometrie, Teubner-Verlag, Leipzig. 8th amended ed. by P. Bernays with supplements, Stuttgart, 1956-1987; 14th ed., with contributions by H. Kiechle et al., M. Toepell, ed., Stuttgart, 1999; the first English translation The Foundations of Geometry by E. J. Townsend, Open Court, Chicago, 1902; new translation by L. Unger, Open Court, La Salle, 1972. [The first German edition of the Grundlagen was a contribution to the Festschrift zur Enthüllung des Gauss-Weber Denkmals in Göttingen, pp. 1-92; later editions were published separately].]Search in Google Scholar
[Hilbert, D. (1922), Neubegründung der Mathematik: Erste Mitteilung, Technical Report 1, Abhandlungen aus dem Seminar der Hamburgischen Universit ät. (Series of talks given at the University of Hamburg, July 25-27, 1921. Reprinted with notes by Bernays in (Hilbert 1932-1935, pp. 157-177). English translation in (Mancosu 1998a, pp. 198-214) and (Ewald 1996, vol. 2, pp. 1115-1134).]Search in Google Scholar
[Hilbert, D. (1925), ‘Über das Unendliche’, Mathematische Annalen 95, 161-190. Lecture given in Münster, 4 June 1925. Also in (Hilbert 1899), 7th ed., pp. 262-288, shortened version in Jahresber. Deutsch. Math. Verein. 36 (1927) 201-215; English translation (by S. Bauer-Mengelberg) in (van Heijenoort 1967), pp. 367-392; 2nd ed., 1971; French translation (by A. Weil), Sur l’infinie, Acta Math. 48 (1926) 91-122.10.1007/BF02629757]Search in Google Scholar
[Hilbert, D. (1926), ‘Über das Unendliche’, Mathematische Annalen 95, 161-190. Lecture given in Münster, 4 June 1925. Also in (Hilbert 1899), 7th ed., pp. 262-288, shortened version in Jahresber. Deutsch. Math. Verein. 36 (1927) 201-215; English translation (by S. Bauer-Mengelberg) in (van Heijenoort 1967), pp. 367-392; 2nd ed., 1971; French translation (by A. Weil),Sur l’infinie, Acta Math. 48 (1926) 91-122. Available online http://eudml.org/doc/159124.10.1007/BF02629757]Search in Google Scholar
[Hilbert, D. (1928), ‘Die Grundlagen der Mathematik’, Abhandlungen aus dem Seminar der Hamburgischen Universität 6, 65-85. followed by Diskussionsbemerkungen zu dem zweiten Hilbertschen Vortrag by H. Weyl, pp. 86-88, and Zusatz zu Hilberts Vortrag by P. Bernays, pp. 89-95; shortened version in (Hilbert 1998), 7th ed., pp. 289-312; English translation (by S. Bauer-Mengelberg and D. Follesdal) in (van Heijenoort 1967), pp. 464-479. Online publication www.marxists.org/reference/subject/philosophy/works/ge/hilbert.htm.]Search in Google Scholar
[Hilbert, D. (1929), Probleme der Grundlegung der Mathematik, in N. Zanichelli, ed., ‘Atti del Congresso Internazionale dei Matematici. 3-10 September 1928’, Bologna, pp. 135-141. also in Math. Ann. 102 (1930) 1-9, (Hilbert 1899), 7th ed., pp. 313-323, and (Hilbert 1971), pp. 9-19.]Search in Google Scholar
[Hilbert, D. (1930), ‘Die grundlebung der elementahren zahlenlehre’, Mathematische Annalen 104, 485-494. doi:10.1007/BF01457953.10.1007/BF01457953]Search in Google Scholar
[Hilbert, D. (1931), ‘Die grundlegung der elementaren zahlenlehre’, Mathematische Annalen 104, 485-494. Reprinted in (Hilbert 1932-1935, 192-195). English translation in (Ewald 1996, 1148-1157).10.1007/BF01457953]Search in Google Scholar
[Hilbert, D. (1932-1935), Gesammelte Abhandlungen, Vol. 3, 2nd ed., 1970 edn, Springer-Verlag, Berlin.10.1007/978-3-662-25726-5]Search in Google Scholar
[Hilbert, D. (1971), Gedenkband, Springer, Berlin, Heidelberg, New York.]Search in Google Scholar
[Hilbert, D. (1983), On the infinite, in P. Benacerraf & H. Putnam, eds, ‘Philosophy of Mathematics. Selected Readings’, second edn, Oxford Univeristy Press, pp. 183-201.]Search in Google Scholar
[Hilbert, D. (1996), The foundations of mathematics, in S. Sakar, ed., ‘The Emergence of Logical Empiricism: From 1900 to the Vienna Circle’, Vol. 1 of Reading in Philosophy. Science and Philosophy in the Twentieth Century, Harvard University Press, pp. 228-243. The text of and address delivered in July 1927 at the Hamburg Mathematical Seminar.]Search in Google Scholar
[Hilbert, D. (1998), The Theory of Algebraic Number Fields, Springer Verlag, Berlin.10.1007/978-3-662-03545-0]Search in Google Scholar
[Humaez, A., Humez, N. & MaGuire, J. (1994), Zero to Lazy Eight: The Romance Numbers, Touchstone Books, Simon & Schuster, New York.]Search in Google Scholar
[Jacquette, D. (2000), David Hume’s Critique of Infinity, Brill’s Studies in Itellectual History, Brill Academic Publications.10.1163/9789004247550]Search in Google Scholar
[Jaśkowski, S. (1934), ‘On the rules of supposition in formal logic’, Studia Logica 41.]Search in Google Scholar
[Kleene, S. C. (1967), Mathematical Logic, John Wiley & Sons, Inc., New York. Russian transl.: Mir, Moskwa 1973.]Search in Google Scholar
[Knorr, W. R. (1982), Infinity and continuity: The interaction of mathematics and philosophy in antiquity, in N. Kretzmann, ed., ‘Infinity and Continuity in Ancient and Medieval Thought’, Cornell University Press, Ithaca and London, pp. 112-145.]Search in Google Scholar
[Kousta, S.-T., Andrews, M., Vinson, D. P., Vigliocco, G. & Del Campo, E. (2012), The representation of abstract words: Why emotion matters, Technical report, Research Department of Cognitive, Perceptual, and Brain Sciences, University College London, London, UK; Research Department of Cognitive, Perceptual, and Brain Sciences and Deafness Cognition and Language Centre, University College London, London, UK.; Dipartimento di Psicologia Generale, Universita’ degli Studi di Padova, Italy, http://www.abstractproject.eu/papers/AbstractJEP2010-06-18.pdf. This research was supported by an EU (FP6-2004-NEST-PATH) grant (♯028714) and by ESRC grant (RES-062-23-2012) to Gabriella Vigliocco.]Search in Google Scholar
[Kuhn, T. S. (1962), The Structure of Scientific Revolutions, 1 edn, University of Chicago Press. 1970 - enlarged 2nd ed., 1996 - 3rd ed.; 2012 - 4th ed. 50th anniversary. Introduction by Ian Hacking.]Search in Google Scholar
[Leibniz, G. W. (1982), New Essays on Human Understanding, Cambridge University Press, Cambridge. Re-issued in digital printed version, 2009.]Search in Google Scholar
[Mancosu, P., ed. (1998a), From Brouwer to Hilbert: the Debate on the Foundations of Mathematics in the 1920’s, Oxford University Press, Oxford.]Search in Google Scholar
[Mancosu, P., ed. (1998b), From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, Oxford.]Search in Google Scholar
[Maor, E. (1987), To Infinity and Beyond: A Cultural History of the Infinite, Birkhäuser, Boston, MA. reprinted: Princeton University Press, 1991.]Search in Google Scholar
[Menninger, K. (1969), Number Words and Number Symbols, Dover Publications, Cambridge, Mass. Reprint edition (October 27, 2011).]Search in Google Scholar
[Meschkowski, H. (1938), Wandlungen des mathematischen Denkens. Eine Einf ührung in die Grundlagenprobleme der Mathematik, 4 edn, Vieweg. Mieli, Aldo, Braunschweig. Il tricentenario dei ‘Discorsi e dimonstrazioni matematiche’ di Galileo Galilei.” Archeion 21: 193-297.]Search in Google Scholar
[Meschkowski, H. (1965), ‘Aus den briefbüchern georg cantors’, Archive for History of Exact Sciences 2, 503-51.10.1007/BF00324881]Search in Google Scholar
[Moore, A. W. (2001), The Infinite, Routledge, New York.]Search in Google Scholar
[Murk, J. E. (2009), The Dreambook of Skyler Dread, Oscura Press.]Search in Google Scholar
[Neidhart, L. (2008), Unendlichkeit im Schnittpunkt von Mathematik und Theologie, Cuvillier Verlag, Göttingen. erste Auflage 2007, zweite, überarbeitete Auflage 2008.]Search in Google Scholar
[Newman, J. R. (1956), The World of Mathematics, Simon and Schuster, New York. Reprinted in 2003, New York: Dover.]Search in Google Scholar
[Newstead, A. (2009), ‘Cantor of infinity in nature, numbers, and the divine mind’, American Catholic Philosophical Querterly 83(4), 533-553.10.5840/acpq200983444]Search in Google Scholar
[Pesch, T. (1883), Institutiones philosophiae naturalis: Secundum principia S. Thomas Aquinatis ad usum scholasticum, Herder, Freiburg.]Search in Google Scholar
[Placek, T. (1999), Mathematical Intuitionism and Intersubjectivity. A Critical Exposition of Arguments for Intuitionism, Kluwer Academic Publishers.10.1007/978-94-015-9315-1]Search in Google Scholar
[Prasad, G. (1993), Some great mathematicians of the nineteenth century, Dynamic informative series, Dynamic Publications India.]Search in Google Scholar
[Rodych, V. (2007), Wittgenstein’s philosophy of mathematics, in E. N. Zalta, ed., ‘The Stanford Encyclopedia of Philosophy’, http://en.wikipedia.org/wiki/ The Stanford Encyclopedia of Philosophy.]Search in Google Scholar
[Rosenbloom, P. (1950), The Elements of Mathematical Logic, Dover, New York.]Search in Google Scholar
[Rucker, R. (2007), Infinity and the Mind, 3 edn, New Age International (P), Publishers, New Delhi. 1st ed.: Princeton University Press, 1995.]Search in Google Scholar
[Russell, B. (1903), The Principles of Mathematics,W.W. Norton & Company, London. Avaialable online https://archive.org/details/principlesofmath005807mbp, II ed. facsimile. Retrieved 02.08.2014.]Search in Google Scholar
[Ryle, G. (1949), The Concept of Mind, Barnes and Noble, Barnes and Noble.]Search in Google Scholar
[Schaff, P. (1890), St. Augustine’s City of God and Christian Doctrine, Christian Classics Ethereal Library, Grand Rapids, MI, New York. http://www.ccel.org/ccel/schaff/npnf102.html.]Search in Google Scholar
[Schlipp, P. A., ed. (1994), The Philosophy of Bertrand Russell, Northwestern University, Evanston and Chicago.]Search in Google Scholar
[Showler, R. L. (2008), Archetypal and Ectypal Ideals in Kant’s Practical Philosophy, ProQuest LLC, Chicago, Il.]Search in Google Scholar
[Simonyi, K. (2012), A Cultural History of Physics, A K Peters/CRC Press. Excerpt translated by David Kramer, http://edge.org/conversation/a-culturalhistory-of-physics, 28.07.2014.]Search in Google Scholar
[Skolem, T. A. (1922), ‘Über ganzzahlige Lösungen einer klasse unbestimmter gleichungen’, Norsk Matematisk Forenings skrifter (I) (10).]Search in Google Scholar
[Skolem, T. A. (1970), Selected Works in Logic, Universitetsforlaget, Oslo-Bergen-Tromso.]Search in Google Scholar
[Snapper, E. (1979), ‘The three crises in mathematics: Logicism, intuitionism and formalism’, Mathematics Magazine 524, 207-216. Cf. (Snapper 1984).10.1080/0025570X.1979.11976784]Search in Google Scholar
[Snapper, E. (1984), The three crises in mathematics: Logicism, intuitionism and formalism, in D. M. Campbell & J. C. Haggins, eds, ‘Mathematics: People, Problems, and Results’, Vol. 2, Wadsworth Inc., Belmont, pp. 183-193. Cf. (Snapper 1979).]Search in Google Scholar
[Tall, D. (2013), How Humans Learn to Think Mathematically: Exploring the Three Worlds of Mathematics, Cambridge University Press.10.1017/CBO9781139565202]Search in Google Scholar
[Tapp, C. (2005), Kardinalität und Kardinäle: Wissenschaftshistorische Aufarbeitung der Korrespondenz zwischen Georg Cantor und katholischen Theologen seiner Zeit, Vol. 53 of Boethius. Texte und Abhandlungen zur Geschichte der Mathematik und der Naturwissenschaften, Franz Steiner Verlag, Wiesbaden.Tapp, C. (2012), Absolute infinity - a bridge between mathematics and theology?, http://foundationaladventures.files.wordpress.com/2012/01/tapp.pdf. An earlier version of this paper was presented during the conference honoring Harvey Friedman, May 15, 2009. Retrieved 03.08.2014.]Search in Google Scholar
[Tieszen, R. (1994), What is the philosophical basis of intuitionistic mathematics?, in D. Prawitz, B. Skyrms & D. Westerst˚ahl, eds, ‘Logic, Methodology and Philosophy of Science IX’, Vol. 134 of Studies in Logic and the Foundations of Mathematics, North-Holland, pp. 579-596.]Search in Google Scholar
[Trzęsicki, K. (2006), ‘From the idea of decidability to the number ’, Studies in Grammar, Logic and Rethoric 9(22), 73-142.]Search in Google Scholar
[Ulam, S. M. (1991), Adventures of a mathematician, University of California Press, Berkeley, CA. van Atten, M. & van Dalen, D. (2002), Intuitionism, in D. Jaquette, ed., ‘A Companion to Philosophical Logic’, Blackwell, Oxford, pp. 513-530. http://www.phil.uu.nl/˜dvdalen/articles/Blackwell(Atten-Dalen).pdf 14.07.2014. van Dalen, D. (1999), The role of language and logic in Brouwer’s work, in E. Orlovska, ed., ‘Logic in Action’, Springer, Vienna, pp. 3-14. van Dalen, K. (1998), ‘From a Browerian point of view’, Philosophia Mathematica 6, 209-226. http://www.phil.uu.nl/˜dvdalen/articles/Brouwerian-point.pdf, 14.07.2014. van Heijenoort, J., ed. (1967), From Frege to Gödel. A Source Book in Mathematical Logic 1879-1931, 1 edn, Harvard University Press, Cambridge Mass. 2nd ed., 1971.]Search in Google Scholar
[Waldegg, G. (2005), ‘Bolzano’s approach to the paradoxes of infinity: Implications for teaching’, Science & Education 14, 559-577.10.1007/s11191-004-2014-0]Search in Google Scholar
[Wattenbach, W. (1872), Anleitung zur lateinischen Paläographie, 2 edn, S. Hirzel, Leipzig.]Search in Google Scholar
[Weber, H. (1893), ‘Leopold kronecker’, Jahresbericht der Deutschen Mathematiker- Vereinigung 2, 5-31. Avaiable online http://www.digizeitschriften.de/dms/resolveppn/?PPN=PPN37721857X 0002. Acquired 06.08.2014.]Search in Google Scholar
[Weyl, H. (1918), Das Kontinuum. Kritische Untersuchungen über die Grundlagen der Analysis, Verlag von Veit & Comp., Leipzig. Available online https://archive.org/details/daskontinuumkrit00weyluoft.10.1515/9783112451144]Search in Google Scholar
[Weyl, H. (1925), ‘Die heutige erkenntnislage in der mathematik’, Symposion 1, 1- 23. Reprinted in: (Weyl 1968, 511-542), English translation in: (Mancosu 1998a, 123-142).]Search in Google Scholar
[Weyl, H. (1946), ‘Mathematics and logic: A brief survey serving as a preface to a review of The Philosophy of Bertrand Russell (Schlipp 1944)’, American Mathematical Monthly 53, 2-13.]Search in Google Scholar
[Weyl, H. (1968), Gesammelte Abhandlungen, Springer Verlag, Berlin. English translation in: (Mancosu 1998b, 123-142).Weyl, H. (2012), Levels of Infinity: Selected Writings on Mathematics and Philosophy, Dover Publications.]Search in Google Scholar
[Wittgenstein, L. (1978), Remarks on the Foundations of Mathematics, 3rd, revised and reset edn, G. H. von Wright, R. Rhees and G. E. M. Anscombe. English translation by G. E. M. Anscombe.]Search in Google Scholar
[Zach, R. (2003), Hilbert’s program, in E. N. Zalta, ed., ‘The Stanford Encyclopedia of Philosophy’, http://en.wikipedia.org/wiki/The_Stanford_Encyclopedia_of_Philosophy. Cf. (Zach 2006).]Search in Google Scholar
[Zach, R. (2006), Hilbert’s program then and now, in D. Jacquette, ed., ‘Handbook of the Philosophy of Science’, Vol. 5: Philosophy of Logic, Elsevier BV, pp. 411-447. Handbook editors: Dov M. Gabbay, Paul Thagard and John Woods. This paper is a substantially revised and expanded version of entry in the Stanford Encyclopedia of Philosophy (Zach 2003). 10.1016/B978-044451541-4/50014-2]Search in Google Scholar