Skip to main content
SpringerLink
Log in

‘Proof’, ‘Theory’, and ‘Foundations’ in Hilbert’s Mathematical Work from 1885 to 1900

  • Chapter
Italian Studies in the Philosophy of Science

Part of the book series: Boston Studies in the Philosophy of Science ((BSPS,volume 47))

Abstract

Within the general aim of establishing whether and how the most typical aspects of David Hilbert’s ‘philosophy’ of mathematics are present in his mathematical works (referred to here by title, followed by a bracketed number corresponding to its number in the bibliography, pp. 486–87), we shall limit ourselves in this paper to considering in particular:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

A. Hilbert’s Works

  1. Zur Theorie der algebraischen Gebilde I’, Göttinger Nachrichten (1888), 450–457; G.A. II pp. 176–183.

    Google Scholar 

  2. Über die Theorie der algebraischen Formen’, Mathem. Annalen 36473–534 (1890); G.A. II 199–257.

    Google Scholar 

  3. Über die stetige Abbildung einer Linie auf ein Flächenstiick’, Mathem. Annalen 38 459–460 (1891); G.A. Ill pp. 1–2.

    Google Scholar 

  4. Über die Theorie der algebraischen Invarianten. III Note’, Nachrichten der Gesellschaft der Wissenschaften zu Göttingen (1892), 439–449.

    Google Scholar 

  5. Über die vollen Invariantensysteme’, Mathem. Annalen 42, 313–373 (1893); G.A. II pp. 287–344.

    Google Scholar 

  6. Über die Theorie der algebraischen Invarianten’, Math, papers read at the International Math. Congress, Chicago 1893. New York, Macmillan, 1896, pp. 116–124; G.A. II, pp. 376–383.

    Google Scholar 

  7. Zwei neue Beweise für die Zerlegbarkeit der Zahlen eines Körpers in Primideale’, Jahresbericht der Deutschen Mathematikervereinigung 3, 59 (1894); G.A. I, 5

    Google Scholar 

  8. Die Theorie der algebraischen Zahlkörper’, Jahresbericht der Deutschen Mathematikervereinigung 4175–546 (1897); G.A. I pp. 63–363.

    Google Scholar 

  9. Zum Gedachtnis an Karl Weierstrass’, Göttinger Nachrichten (1897), Geschäftliche Mitteilungen, 60–69; G.A. III pp. 330–338.

    Google Scholar 

  10. Über die Theorie des relativquadratischen Zahlkorpers’, Mathem. Annalen 51, 1–127 (1899); G.A. I p. 370–482.

    Google Scholar 

  11. Über die Theorie der relativ–Abelschen Zahlkorper’, Acta Mathematica 26 (1902), 99–132; Nachrichten der K. Ges. der Wiss. zu Gottingen (1898), 370–399; G.A. I pp. 483–509.

    Google Scholar 

  12. Grundlagen der Geometrie Festschrift zur Einweihung des Gottinger Gauss-Weber-Denkmals. Leipzig, Teubner, 1899. pp. 1–90. (Foundations of Geometry 2nd edition. Translated by Leo Unger from the 10th revised and enlarged edition of Paul Bernays. La Salle, Open Court, 1971.)

    Google Scholar 

  13. Über den Zahlbegriff’, Jahresbericht der Deutschen Mathematikervereinigung 8, 180–184(1900).

    Google Scholar 

  14. Über das Dirichletsche Prinzip’, J. reine angew. Math. 129 (1905), 63–67; Jahresbericht der Deutschen Mathematikervereinigung 8, 184–188 (1900); G.A. III, pp. 10–14.

    Google Scholar 

  15. Mathematische Probleme’, lecture given at the International Mathematician Congress, Paris, 1900. Published in the Göttinger Nachrichten (1900), pp. 253–297; reprinted, with some additions, in Archiv f. Math. u. Phys, 3rd series 1,44–63 (1901); 213–237; G.A. III, pp. 290–329.

    Google Scholar 

  16. Über das Dirichletsche Prinzip’, Mathem. Annalen 59 161–186 (1904); G.A III pp. 15–37.

    Google Scholar 

  17. Über die Grundlagen der Logik und Arithmetik,’ Verhandlungen des Dritten Internationalen Mathematiker–Kongresses, Heidelberg 1904 (Leipzig, Teubner, 1905), pp. 174–185. (‘On the foundations of logic and arithmetic’, The Monist 15 338–352, translated by George Bruce Halsted; this paper also appears, in an English translation by Beverly Woodward, in From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, edited by Jean van Heijenoort. Cambridge, Mass., Harvard University Press, 1967. pp. 129–138.)

    Google Scholar 

  18. Hermann Minkowski’, Gottinger Nachrichten, Geschäftliche Mitteilungen (1909), 72–101 and Mathem. Annalen 68, 445–471 (1910); G.A. III, 339–364.

    Google Scholar 

  19. Axiomatisches Denken’, Mathem. Annalen 78, 405–415 (1918); G.A. III, pp. 146– 156.

    Google Scholar 

  20. Neubegriindung der Mathematik. Erste Mitteilung’, Abhandl. aus dem Math. Seminar d. Hamb. Univ 1,157–177 (1922); G.A.III, pp. 157–177.

    Google Scholar 

  21. Die logische Grundlagen der Mathematik’, Mathem. Annalen 88, 151–165 (1923); G.A. III, pp. 178–191.

    Google Scholar 

  22. Über das Unendliche’, Mathem. Annalen 95 161–190, (1926). (‘On the infinite’, translated by Stefan Bauer–Mengelberg, in From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, edited by Jean van Heijenoort. Cambridge, Mass., Harvard University Press, 1967. pp. 367–392.

    Google Scholar 

  23. Naturerkennen und Logik’, Naturwissenschaften (1930), 959–963; G.A. III, pp. 378–387.

    Google Scholar 

  24. Die Grundlegung der elementaren Zahlenlehre’, Mathem. Annalen 104, 485–494 (1931).

    Google Scholar 

  25. with Paul Bernays) Grundlagen der Mathematik 2 vols. Berlin, Springer: vol. I, 1934; vol. II, 1938; 2nd ed. vol. 1,1968; vol. II, 1970.

    Google Scholar 

  26. Letter to Frege of 29 December 1899, in Nachgelassene Schriften und Wissenschaftlicher Briefwechsel, 2 vols., Hamburg, Meiner, 1969–.Volume 2: Wissenschaftliche Briefwechsel, edited by Gottfried Gabriel, etal1976, pp. 65–68.

    Google Scholar 

B. Other Works

  • Abrusci, V.M. (1975), ‘Per una caratterizzazione del programma hilbertiano’, Rivista di filosofia 66, no. 3, 315–338.

    Google Scholar 

  • Berriays, P. (1922), ‘Uber Hilberts Gedanken zur Grundlegung der Arithmetik’, Jahresbericht der Deutschen Mathematikervereinigung 31, 10–19.

    Google Scholar 

  • Bernays, P. (1935a) ‘Hilberts Untersuchungen über die Grundlagen der Arithmetik’, G.A.III, pp. 196–216.

    Google Scholar 

  • Bernays, P. (1935b) ‘Sur le platonisme dans les mathematiques’, L’enseignement mathématique 34, 52–69.

    Google Scholar 

  • Blumenthal, O. (1935), ‘Lebensgeschichte’, G.A. III, pp. 388–429.

    Google Scholar 

  • Casari, E. (1973) La filosofia della matematica del 900. Florence, Sansoni.

    Google Scholar 

  • Dedekind, J. (1871), ‘Über die Theorie der ganzen algebraischen Zahlen’, eleventh supplement to Dirichlet’s Vorlesungen uber Zahlentheorie (Braunschweig, F. Viewig, 1894), reprinted Braunschweig, Vieweg, 1964.

    Google Scholar 

  • Dedekind, J., Weber, H. (1882), ‘Theorie der algebraischen Funktionen einer Veranderlichen’, Journal fur Math. 92.

    Google Scholar 

  • Enriques, F. (1907), ‘Prinzipien der Geometrie’ in Encyklopadie der Math. Wissenschaften, III–I. Edited by W. F. Mayer, H. Mohrmann. Leipzig, Teubner, pp. 1–129.

    Google Scholar 

  • Gordan, P. (1893), ‘Ubereinen Satz von Hilbert’, Mathem. Annalen 42, 131–35;

    Article  Google Scholar 

  • Gordan, P. (1895) Vorlesungen uber Invariantentheorie I. Leipzig, Teubner.

    Google Scholar 

  • Hasse, H. (1932), ‘Zu Hilberts algebraisch-zahlentheoretischen Arbeiten’, G.A. I, pp. 528–535.

    Google Scholar 

  • Hellinger, E. (1935), ‘Hilberts Arbeiten uber Integralgleichungen und unendliche Gleichungssysteme’, G.A. III, pp. 94–145.

    Google Scholar 

  • Klein, F. (1926) Vorlesungen uber die Ent wick lung der Mathematik im 19. Jahrhundert Berlin,Springer; reprinted, New York, Chelsea, 1967.

    Google Scholar 

  • Kreisel, G. ‘Notes for four lectures on proof theory’. Clermont-Ferrand, 15–16 July 1973.

    Google Scholar 

  • Kreisel, G. (1976) ‘What have we learned from Hilbert’s second problem?’ in F. Brouwer, ed., Proceedings of the Symposia in Pure Mathematics 28, 93–130.

    Google Scholar 

  • Kronecker, L. (1882), ‘Grundziige einer arithmetischen Theorie der algebraischen Grössen’, Jour, fur Math. 92, 1–122 (1881/82).

    Google Scholar 

  • Kronecker, L. (1901) Vorlesungen uber Mathematik. Leipzig, Teubner.

    Google Scholar 

  • Mangione, C. (1971), ‘Logica e fondamenti della matematica nella seconda metà dell’ottocento’ in Storia del pensiero filosofico e scientifico, edited by L. Geymonat. Milan, Garzanti, 1971. vol. 5, pp. 755–830.

    Google Scholar 

  • Mertens, F. (1887), ‘Beweis, dass alle Invarianten...’, Jour, für Math. 100, 223–230.

    Google Scholar 

  • Minkowski, H. (1973), Briefe an David Hilbert. Edited by L. Rüdenberg, H. Zassenhaus. Berlin, Springer.

    Google Scholar 

  • Pasch, M. (1882), Vorlesungen uber neuere Geometrie. Leipzig, Teubner.

    Google Scholar 

  • Pierpoint, J. (1928), ‘Mathematical rigor: past and present’, Bull. Amer. Math. Soc 34, 23–53.

    Article  Google Scholar 

  • Reid, C. (1970), Hilbert. Berlin, Springer.

    Google Scholar 

  • Schmidt, A. (1933), ‘Zu Hilberts Grundlegung der Geometrie’, G.A. II, pp. 404–414.

    Google Scholar 

  • Statman (1974), ‘Structural complexity of proofs’. Ph.D dissertation, Stanford University, 1974.

    Google Scholar 

  • van der Waerden, B.L. (1933), ‘Nachwort zu Hilberts algebraischen Arbeiten’, G.A. II pp. 401–403.

    Google Scholar 

  • Weierstrass, K. (1869), ‘Über das sogenannte Dirichlet’schen Prinzip’, Mathematische Werke II. Berlin, Springer, 1895, pp. 49–54.

    Google Scholar 

  • Weyl, H. (1944), ‘David Hilbert and his mathematical work’ Bull. Amer. Math. Soc. 50, 612–654; reproduced in a shortened version in Reid (1970), pp. 245–283.

    Article  Google Scholar 

  • Zassenhaus, H. (1975), ‘On the Minkowski–Hilbert dialogue on mathematization’, Canad. Math. Bull 18, 443–461.

    Article  Google Scholar 

Download references

Authors
  1. Vito Michele Abrusci
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Florence, Italy

    Maria Luisa Dalla Chiara

Rights and permissions

Reprints and permissions

Copyright information

© 1981 D. Reidel Publishing Company, Dordrecht, Holland

About this chapter

Cite this chapter

Abrusci, V.M. (1981). ‘Proof’, ‘Theory’, and ‘Foundations’ in Hilbert’s Mathematical Work from 1885 to 1900. In: Dalla Chiara, M.L. (eds) Italian Studies in the Philosophy of Science. Boston Studies in the Philosophy of Science, vol 47. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-8937-5_24

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-8937-5_24

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-277-1073-4

  • Online ISBN: 978-94-009-8937-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation