Thesis ID: CBB001562203

The Pursuit of Rigor: David Hilbert's Early Philosophy of Mathematics (2002)

unapi

Ogawa, Yoshinori (Author)


University of British Columbia (Canada)
Richardson, Alan


Publication Date: 2002
Edition Details: Advisor: Richardson, Alan
Physical Details: 207 pp.
Language: English

The present study attempts to provide a new approach to Hilbert's philosophy of mathematics by going back to the origin of his foundational investigation and clearly describing the Problematik within which it was framed and developed. In so doing, its main objective is to identify and highlight the general intellectual tendencies invariably and continuously motivating Hilbert's research program throughout his long career. The study consists of two parts. In the first half, special emphasis is laid upon Hilbert's axiomatic method and his accompanying view of axioms and definitions. It is argued there that Hilbert's goal with his axiomatization program is to demonstrate the objectivity of mathematical judgment and inference and to systematize and thereby to increase our understanding of mathematics. The present study attempts to support this claim by embedding Hilbert's project in the context of the late nineteenth century movement of the rigorization of mathematics and by understanding it as a development of the methodological standpoint represented by Dedekind. On the interpretation presented here, then, Hilbert's foundational investigation was not, as is often claimed, motivated by the philosophical concerns for the absolute certainty and a prioricity of our mathematical knowledge and, indeed, it combated against the intrusion of such concerns by relegating framework-independent elements through the new methodological turn in the conception of axiomatics. In the second half of the study, this non-standard reading is extended to Hilbert's consistency program, and his first attempt of a direct consistency proof and Poincar's criticism of it are considered in this light. Hilbert's answer to Poincar came with the remarkable idea of proof- theory and the formulation of finitary mathematics as the framework for proof-theoretic considerations. But, seen from a philosophical viewpoint, this methodological move meant the re-introduction of the notions of truth and existence taken in the absolute sense and, as a result, a motivation for adopting (mathematical) instrumentalism as the philosophy of Hilbert's program arose. But even after this epistemological turn, the earlier view continued to be operative in Hilbert's thought, and this, I shall argue, explains the tension found in the philosophy behind Hilbert's program.

...More

Description Cited in Diss. Abstr. Int. A 63 (2003): 3588. UMI order no. NQ73223.


Citation URI
https://data.isiscb.org/isis/citation/CBB001562203/

Similar Citations

Book Emanuele Gambetta; (2020)
Philosophy of the Infinite (/isis/citation/CBB368392118/)

Article Paseau, Alexander; (2011)
Mathematical Instrumentalism, Gödel's Theorem, and Inductive Evidence (/isis/citation/CBB001024149/)

Book Gauthier, Yvon; (2002)
Internal Logic: Foundations of Mathematics from Kronecker to Hilbert (/isis/citation/CBB000301820/)

Article Formica, Giambattista; (2010)
Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections (/isis/citation/CBB001034599/)

Article Moore, Gregory H.; (2002)
Hilbert on the Infinite: The Role of Set Theory in the Evolution of Hilbert's Thought (/isis/citation/CBB000200290/)

Chapter Beaney, Michael; (2006)
Frege and the Role of Historical Elucidation: Methodology and the Foundations of Mathematics (/isis/citation/CBB000800117/)

Article Karela, Catherine; (2010)
Hilbert on Different Notions of Completeness: A Conceptual and Historical Analysis (/isis/citation/CBB001220619/)

Thesis Franks, Curtis; (2006)
Mathematics Speaks for Itself (/isis/citation/CBB001560770/)

Book Ferreirós Domínguez, José; Gray, Jeremy; (2006)
The Architecture of Modern Mathematics: Essays in History and Philosophy (/isis/citation/CBB000774167/)

Book Parsons, Charles; (2012)
From Kant to Husserl: Selected Essays (/isis/citation/CBB001253011/)

Article Eduardo N. Giovannini; (2021)
David Hilbert and the foundations of the theory of plane area (/isis/citation/CBB044087153/)

Chapter Carlo Casolo; (2018)
La Biblioteca Universale (/isis/citation/CBB604701261/)

Article Schirn, Matthias; (2010)
On Translating Frege's Die Grundlagen der Arithmetik (/isis/citation/CBB001210971/)

Chapter Gray, Jeremy; (2006)
Modern Mathematics as a Cultural Phenomenon (/isis/citation/CBB000800129/)

Thesis Keranen, Jukka Petri Mikael; (2005)
Cognitive Control in Mathematics (/isis/citation/CBB001560623/)

Book Gabriele Lolli; (2016)
Tavoli, sedie, boccali di birra: David Hilbert e la matematica del Novecento (/isis/citation/CBB100106060/)

Authors & Contributors
Gray, Jeremy
Krzanowski, W. J.
Gambetta, Emanuele
Giovannini, Eduardo N.
Casolo, Carlo
Bingham, N. H.
Concepts
Mathematics
Philosophy of mathematics
Logic
Philosophy
Geometry
Incompleteness theorems
Time Periods
20th century
19th century
20th century, early
18th century
20th century, late
Places
Germany
Institutions
Universität Göttingen
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment