Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Becker, O., 1927, Mathematische Existenz, Jahrbuch für Philosophie und phänomenologische Forschung, VIII, pp. 439–809.
Benacerraf, P. and Putnam, H., (eds.), 1983, Philosophy of Mathematics, Selected Readings, Second Edition, Cambridge University Press, Cambridge.
Bernays, P., 1930, Die Philosophie der Mathematik und die Hilbertsche Beweistheorie, Blätter für deutsche Philosophie 4, pp. 326–367. Translated as “The Philosophy of Mathematics and Hilbert’s Proof Theory,” in Mancosu 1998.
Brouwer, L.E.J., Mathematics and Logic, in Heyting 1975, pp. 72–97 [3].
Brouwer, L.E.J., 1928, Intuitionistische Betrachtungen über den Formalismus, KNAW Proceedings 31, pp. 374–379. Translated as “Intuitionist Reflections on Formalism” in Mancosu 1998.
Detlefsen, M., 1990, Brouwerian Intuitionism, Mind 99, pp. 501–534.
Detlefsen, M., 1993, The Kantian Character of Hilbert’s Formalism, in Czermak, J. (ed.), Proceedings of the 15th International Wittgenstein-Symposium, Verlag Hölder-Pichler-Temsky, Vienna, pp. 195–205.
Detlefsen, M., 1998, Mathematics, foundations of, in Routledge Encyclopedia of Philosophy, Version 1.0, London and New York.
Edwards, H., 1988, Kronecker’s Place in History, in Kitcher and Aspray 1988, pp. 139–144.
Ewald, W., 1996, From Kant to Hilbert. Readings in the Foundations of Mathematics, Oxford University Press, Oxford.
Feist, R., 2002, Weyl’s Appropriation of Husserl’s and Poincaré’s Thought, Synthese 132, pp. 273–301.
Hallett, M., 1995, Hilbert and Logic, in M. Marion and R.S. Cohen, (eds.), Québec Studies in the Philosophy of Science, Part I, Kluwer, Dordrecht, pp. 135–187.
Heyting, A. (ed.), 1975, Brouwer Collected Works I, North-Holland, Amsterdam.
Hilbert, D., 1918, Axiomatisches Denken, Mathematische Annalen 78, pp. 405–415. English translation as “Axiomatic Thought” in Ewald 1996 [10].
Hilbert, D., 1922, Neubegründung der Mathematik. Erste Mitteilung, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 1, pp. 157–177. English translation as “The New Grounding of Mathematics, First Report,” in Mancosu 1998 pp. 198–214.
Hilbert, D., 1926, Über das Unendliche, Mathematische Annalen 95, pp. 161–190. English translation as “On the Infinite” in Benacerraf, P. and Putnam, H., 1983 [2].
Hilbert, D., 1928, Die Grundlagen der Mathematik, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität 6, pp. 65–85. Translated as “The Foundations of Mathematics” in Van Heijenoort 1967.
Hilbert, D., 1930, Naturerkennen und Logik, in Hilbert: Gesammelte Adhandlungen, Dritter Band, (New York: Chelsea Publishing Company, 1965). English translation as “Logic and the Knowledge of Nature” in Ewald 1996.
Hilbert, D., 1931, Die Grundlegung der elementaren Zahlentheorie, Mathematische Annalen 104, pp. 485–494. Translated as “The Grounding of Elementary Number Theory,” in Mancosu 1998, pp. 266–273.
Kant, I., Critique of Pure Reason, translated by N.K. Smith, MacMillan, London, 1973.
Kitcher, P. and Aspray, W., (eds.), 1988, History and Philosophy of Modern Mathematics, Minnesota Studies in the Philosophy of Science, vol. XI.
Kitcher, P. 1976, Hilbert’s Epistemology, Philosophy of Science 43, pp. 99–115.
Klein, F., 1911, The Evanston Colloquium lectures on mathematics, Macmillan, New York. Partially reprinted in Ewald 1996, pp. 957–971 [10].
Mancosu, P., 1998, From Brouwer to Hilbert, The Debate on the Foundations of Mathematics in the 1920s, Oxford University Press, Oxford.
Marion, M., 1995, Kronecker’s ‘Safe Haven of Real Mathematics’, Quebec Studies in the Philosophy of Science, Part I, M. Marion and R.S. Cohen, (eds.), Kluwer, Dordrecht, 1995, pp. 189–215.
Marion, M., 1995b, Wittgenstein and Ramsey on Identity, Essays on the Development of the Foundations of Mathematics, J. Hintikka (ed.), Kluwer, Dordrecht, 1995, pp. 343–371.
Poincaré. A., 1900, Du rôle de l’intuition et de la logique en mathématique. In Compte rendu du Deuxiéme congrés international des mathematiciens tenu é Paris du 6 au 12 août 1900, Gauthier-Villar, Paris, pp. 115–130. English translation as “Intuition and Logic in Mathematics” in Ewald 1996 pp. 1012–1020 [10].
Poincaré, A., 1908, Science et Méthode, Paris, Flammarion. English translation as “Science and Method”, Dover, New York, 1952.
Raatikainen, P., 2003, Hilbert’s Program Revisited, Synthese 137, 157–177.
Reid, C., 1970, Hilbert, Springer, New York.
Sieg, W., 1999, Hilbert’s Programs: 1917–1922, The Bulletin of Symbolic Logic, Vol. 5.
Sieg, W., 2002, Beyond Hilbert’s Reach?, in D.B. Malament, Reading Natural Philosophy, Open Court, Chicago, pp. 363–405.
Stenlund, S., 1996, Poincaré and the Limits of Formal Logic, in J.-L. Greffe, G. Heinzmann, K. Lotenz (eds.), Henri Poincaré, Science and Philosophy, International Congress, Nancy, France, 1994, Akademie Verlag, Berlin, Albert Blanchard, Paris, pp. 467–479.
Van Heijenoort, J. 1967, (ed.), From Frege to Gödel: A Source-Book in Mathematical Logic, 1879–1931, Harvard University Press, Cambridge MA.
Weyl, H., 1927, Comments on Hilbert’s second lecture on the foundations of mathematics, in Van Heijenoort 1967, pp. 480–484 [34].
Wittgenstein, L., 1980, Wittgenstein’s lectures, Cambridge 1930–1932, from the notes of J. King and D. Lee, Blackwell, Oxford.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Stenlund, S. (2009). Hilbert and the Problem of Clarifying the Infinite. In: Lindström, S., Palmgren, E., Segerberg, K., Stoltenberg-Hansen, V. (eds) Logicism, Intuitionism, and Formalism. Synthese Library, vol 341. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-8926-8_20
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8926-8_20
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-8925-1
Online ISBN: 978-1-4020-8926-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)