Historical and Logical Investigation into Hilbert Program as a philosophy of mathematics
| Project/Area Number |
13610014
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Philosophy
|
|---|
| Research Institution | Senshu University |
|---|
Principal Investigator |
KANEKO Hiroshi Senshu University, School of Literature, Professor, 文学部, 教授 (60191988)
|
|---|
| Project Period (FY) |
2001 – 2002
|
| Project Status |
Completed (Fiscal Year 2002)
|
| Budget Amount *help |
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 2002: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2001: ¥1,200,000 (Direct Cost: ¥1,200,000)
|
|---|
| Keywords | Hilbert program / formalism / Hilbert / incompleteness theorem / Brouwer / Intuitionism / Philosophy of mathematics / 直感主義 / 証明論 / 心的構成 / 構成主義 |
|---|
| Research Abstract |
In this research project, we aimed at the explication of the following two points; how is the rela-tion between the so-called Hilbert program and Godel's second incompleteness theorem and how did Brouwer's criticism against Hilbert exert an influence on the historical development of Hilbert program. As a result, first of all we could show that the official view which said that Hilbert pro-gram faild because of Godel's second incompleteness theorem would not critically demonstrated. This result is based on Michael Detlefsen's prior research. But what we should derive from this result is not simply the revival of Hilbert program but the insight that Godel's second incom-pleteness theorem would be concerned with the problem of intensionality, that is, the fundamental problem of discripancy between linguistic (or formal) expressions and what we mean by them. Sec-ondly, we could show that Brouwer's criticism against Hilbertian formalism, especially Brouwer's criticism of the linguistic methods in mathematics, was fundamentally important in the process of sophistication of Hilbert's finitism. It should be noted that many strategies of Hilbert program are interpretable as responces to Brouwer's criticism.
|
Report
(3 results)
Research Products
(14 results)
