| Project/Area Number |
22KF0258
|
|---|
| Project/Area Number (Other) |
22F22767 (2022)
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Multi-year Fund (2023)
Single-year Grants (2022) |
|---|
| Section | 外国 |
|---|
| Review Section |
Basic Section 01010:Philosophy and ethics-related
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
菊池 誠 神戸大学, システム情報学研究科, 教授 (60273801)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
FAN ZHAO 神戸大学, システム情報学研究科, 外国人特別研究員
|
|---|
| Project Period (FY) |
2023-03-08 – 2025-03-31
|
| Project Status |
Completed (Fiscal Year 2024)
|
| Budget Amount *help |
¥1,300,000 (Direct Cost: ¥1,300,000)
Fiscal Year 2024: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2023: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 2022: ¥100,000 (Direct Cost: ¥100,000)
|
|---|
| Keywords | 数学の哲学 / 計算の哲学 / 計算の歴史 |
|---|
| Outline of Research at the Start |
以下の研究課題に取り組むことによって計算論の哲学的基礎についての研究を進める。(1) チャーチ、ゲーデル、チューリング、ポストによる計算可能性概念の定式化の思想的な背景を調べる。(2) ヒルベルトとウィトゲンシュタインによる計算についての概念分析とその役割について調べる。(3) 自然主義、唯名主義、構造主義の考え方における逸脱コーディングの問題の解消についての分析を行う。
|
| Outline of Annual Research Achievements |
本研究は20世紀初めになされた計算可能性概念の成立過程について、特にその定式化に大きく貢献した数学者や哲学者の議論を振り返ることで歴史及び哲学の両面から考察を行い、現代の計算機科学の基礎になっている計算可能性概念の基本的な性質と限界、新たな可能性を明らかにすることを目指すものである。令和6年度中は、海外から研究者を招聘して計算の哲学に関するセミナーを実施、ゲーデル、チャーチ、チューリングによる計算可能性の概念の形式化の成立過程を主に歴史的観点から分析し、さらにウィトゲンシュタイン、クリプキによる計算に関する哲学的議論を主に歴史的及び数学的観点から分析することで、計算可能性理論の哲学的基礎概念の基本的性質を明らかにした。より具体的には、外国人特別研究員と受入研究者は協力しながら、外国人特別研究員は主に歴史的観点からの分析を、受入研究者は主に数学的観点からの分析を担当した。外国人特別研究員は計算可能性理論の歴史的考察に基づき、逸脱コーディングという概念を用いて、チャーチとチューリングによる計算概念の形式化の成立過程の背後にあった哲学的立場を明らかにし、さらに、ウィトゲンシュタインによる計算に関する議論と、クリプキによるバックストッパーという概念の基本的性質を分析した。受入研究者は、ウィトゲンシュタインとクリプキの議論に基づき、計算可能性とゲーデルの不完全性定理について逸脱コーディングと万能チューリング機械という観点から分析した。
|
