ゲーデルの不完全性定理以降の形式主義の再検討
ゲーデルの不完全性定理以降の形式主義の再検討
哥德尔不完备定理之后重新审视形式主义
批准号：
24720017
负责人：
秋吉 亮太
金额：
$1.75万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2013-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
無限を巡る日本の数理哲学の再検討：竹内、末綱、西田を中心に
-
批准号：24K03340
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.91万
-
财政年份：2024
-
负责人：秋吉 亮太
-
依托单位：
形式主義の哲学の新展開：竹内外史の論理哲学の解明を通じて
-
批准号：19K00022
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.5万
-
财政年份：2019
-
负责人：秋吉 亮太
-
依托单位：
証明論的手法による形式主義の再検討
-
批准号：12J06039
-
项目类别：Grant-in-Aid for JSPS Fellows
-
资助金额：$2.53万
-
财政年份：2012
-
负责人：秋吉 亮太
-
依托单位：