000			01849cam a2200169 4500500
005			20250125142015.0
041			_afre
042			_adc
100	1	0	_aRadu, Mircea _eauthor
245	0	0	_aOtto Hölder's Interpretation of David Hilbert's Axiomatic Method
260			_c2013.
500			_a34
520			_aL’article présente une reconstruction brève de la conception de preuve développée par Otto Hölder. La reconstruction se concentre sur la critique de la conception axiomatique de David Hilbert en général et sur sa conception des métamathématiques en particulier. On affirme que l’analyse faite par Hölder des idées méthodologiques générales de Hilbert et surtout de la structure logique des preuves fournie par Hilbert dans les Grundlagen der Geometrie (1899) est très utile pour comprendre plus clairement la thèse de van der Waerden affirmant le lien entre la conception de la preuve développée par Hölder et la tradition établie par Kurt Gödel.
520			_aIn 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.
786	0		_nPhilosophia Scientiæ | 17-1 | 1 | 2013-06-12 | p. 117-129 | 1281-2463
856	4	1	_uhttps://shs.cairn.info/revue-philosophia-scientiae-2013-1-page-117?lang=en&redirect-ssocas=7080
999			_c1015563 _d1015563