Otto Hölder's Interpretation of David Hilbert's Axiomatic Method (notice n° 1015563)
[ vue normale ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01849cam a2200169 4500500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20250125142015.0 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | fre |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | dc |
| 100 10 - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Radu, Mircea |
| Relator term | author |
| 245 00 - TITLE STATEMENT | |
| Title | Otto Hölder's Interpretation of David Hilbert's Axiomatic Method |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Date of publication, distribution, etc. | 2013.<br/> |
| 500 ## - GENERAL NOTE | |
| General note | 34 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | L’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 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 786 0# - DATA SOURCE ENTRY | |
| Note | Philosophia Scientiæ | 17-1 | 1 | 2013-06-12 | p. 117-129 | 1281-2463 |
| 856 41 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://shs.cairn.info/revue-philosophia-scientiae-2013-1-page-117?lang=en&redirect-ssocas=7080">https://shs.cairn.info/revue-philosophia-scientiae-2013-1-page-117?lang=en&redirect-ssocas=7080</a> |
Pas d'exemplaire disponible.
Réseaux sociaux