New Developments in the Philosophical Foundations of Computability Theory

可计算性理论哲学基础的新进展

• 批准号: 22KF0258
• 负责人: 菊池 誠
• 金额: $ 0.83万
• 依托单位: Kobe University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2023
• 资助国家: 日本
• 起止时间: 2023-03-08 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22KF0258/
• 关键词: 数学の哲学; 計算の哲学

本研究課題は1930年代に提示され，一世紀近く妥当性に疑問はないと考えられてきた，計算可能性を特徴付けるチャーチ・チューリングの提唱に関わるものであり，特に逸脱コ ーディングという概念に焦点を当てながら，チャーチ・チューリングの提唱に対するチャーチ ，ゲーデル，チューリング及びポストの思想の歴史学的分析，計算可能性の概念分析においてヒルベルト及びウィトゲンシュタインの可観測性という概念が果たした役割の歴史学的分析，論理学及び数学における自然主義・唯名論・構造主義という立場と逸脱コーディングの関係についての哲学的分析を行い，チャーチ・チューリングの提唱を歴史学的及び哲学的観点から見直すものである．令和4年度は，チューリングの計算の哲学について分析を行い，現時点で得られている着想の妥当性を検討した．チューリングの計算の哲学については Fan, Z. が3件の口頭発表と査読つき1件の論文発表を行なっている．また，2月にオハイオ州立大学の Stewart Shapiro 教授を招いて，Semantics and Logic: the Meaning of Logical Terms という題目でオンラインセミナーを実施した．また，2月及び3月に金沢大学の黒川英徳准教授を神戸に招聘して，チューリングおよびゲーデルの計算の哲学，ならびに，クライゼルによる圧縮論法の応用について研究討議を行ない，さらに，3月には代表者が東京都立大学を訪問し，岡本賢吾東京都立大学教授とカント，フレーゲ，ウィトゲンシュタインの数学の哲学について研究討議をした．

This research topic is a reminder of the 1930s. In the past century, the appropriateness of the problem has been examined, and the characteristics of the calculation possibility have been paid. In particular, the concept of escape from the problem has been focused on the analysis of the history of the problem. Conceptual analysis of computational possibility includes the following: naturalism, nominalism, constructivism, philosophical analysis, historical analysis, logical analysis, mathematical analysis, conceptual analysis. In the fourth year of Ling and Qing Dynasty, the philosophy of calculation and analysis were carried out, and the appropriateness of consideration was discussed at the present time. Fan, Z. Three oral submissions and one paper submission were reviewed. Semantics and Logic: the Meaning of Logical Terms. In February and March, Professor Eitoku Kurokawa of Kanazawa University was invited to work in Kyoto, Japan. He was invited to discuss the philosophy of computation and the application of compression theory. In March, the representative visited Tokyo Metropolitan University. Kengo Okamoto, Professor of Tokyo Metropolitan University, visited Kyoto. It is necessary to study the philosophy of mathematics and mathematics.

项目成果

Turing and Godel

图灵和哥德尔

• 发表时间: 2022
• 作者: Fan;Z.
• 通讯作者: Z.

Rethinking Turing's Analysis of Computability

重新思考图灵的可计算性分析

• 发表时间: 2023
• 作者: Fan;Z.
• 通讯作者: Z.

The Strange Phenomenon of Turing Denial

图灵否定的奇怪现象

• 发表时间: 2022
• 作者: Fan;Z. and Copeland;J.
• 通讯作者: J.

Turing and von Neumann: From Logic to the Computer

图灵和冯诺依曼：从逻辑到计算机

• DOI: 10.3390/philosophies8020022
• 发表时间: 2023
• 期刊: Philosophies
• 影响因子: 0.9
• 作者: Copeland;J. and Fan;Z.
• 通讯作者: Z.

University of Canterbury(ニュージーランド)

坎特伯雷大学（新西兰）