New developments of the philosophy of mathematics

数学哲学的新发展

• 批准号: 17H02263
• 负责人: Kikuchi Makoto
• 金额: $ 10.65万
• 依托单位: Kobe University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (B)
• 财政年份: 2017
• 资助国家: 日本
• 起止时间: 2017-04-01 至 2022-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17H02263/
• 关键词: 数学の哲学; 論理学の哲学; 計算の哲学; 数学基礎論; 証明論; 集合論; 数理論理学; 哲学

项目成果

Do we need “formal” language in logic?

我们需要逻辑上的“形式”语言吗？

• 发表时间: 2018
• 作者: Ribeka Tanaka;Koji Mineshima and Daisuke Bekki;Mitsuhiro Okada
• 通讯作者: Mitsuhiro Okada

Symposium on Advances in Mathematical Logic 2018

2018年数理逻辑进展研讨会

• 发表时间: 2018

“Wittgenstein, Goodstein and the Origin of the Uniqueness Rule”. In Wittgenstein in the 1930s: Between the Tractatus and the Investigations

“维特根斯坦、古德斯坦和唯一性规则的起源”，《20 世纪 30 年代的维特根斯坦：逻辑哲学论与研究之间》。

• 发表时间: 2018
• 作者: Mathieu Marion and Mitsuhiro Okada;Edited by david Stern
• 通讯作者: Edited by david Stern

Some consequences from Proper Forcing Axiom together with large continuum and the negation of Martin's Axiom

适当的强制公理以及大连续体和马丁的否定的一些后果

• DOI: 10.2969/jmsj/06930913
• 发表时间: 2017
• 期刊: Journal of the Mathematical Society of Japan
• 影响因子: 0.7
• 作者: 松田和信;辛嶋静志;et al.;Teruyuki YORIOKA
• 通讯作者: Teruyuki YORIOKA

数学はなぜ哲学の問題になるのか

为什么数学是一个哲学问题？

• 发表时间: 2017
• 作者: イアン・ハッキング;金子 洋之;大西 琢朗
• 通讯作者: 大西 琢朗