Otto Hölder's Interpretation of David Hilbert's Axiomatic Method

Philosophia Scientiae 17 (17-1):117-129 (2013)
  Copy   BIBTEX

Abstract

In this paper I provide a brief reconstruction of Otto Hölder’s conception of proof. My reconstruction focuses on Hölder’s critical assessment of David Hilbert’s account of axiomatics in general, and of Hilbert’s conception of metamathematics in particular. I argue that Hölder’s analysis of Hilbert’s general methodological ideas and, more importantly, Hölder’s analysis of the logical structure of the proofs provided by Hilbert in his Grundlagen der Geometrie of 1899 are helpful in reaching a clearer understanding of van der Waerden’s claim linking Hölder’s conception of proof to the tradition established by Kurt Gödel

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

General Introduction.Paola Cantù & Schlaudt - 2013 - Philosophia Scientiae 17 (17-1).
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
Geometry and Measurement in Otto Hölder's Epistemology.Paola Cantù - 2012 - Philosophia Scientiae 17 (17-1):131-164.
The pragmatism of Hilbert's programme.Volker Peckhaus - 2003 - Synthese 137 (1-2):141 - 156.
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.

Analytics

Added to PP
2013-06-12

Downloads
24 (#563,024)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references