New developments of the philosophy of mathematics
New developments of the philosophy of mathematics
数学哲学的新发展
批准号：
17H02263
负责人：
Kikuchi Makoto
金额：
$10.65万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2017
资助国家：
日本
项目状态：
已结题
起止时间：
2017-04-01 至 2022-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Symposium on Advances in Mathematical Logic 2018
2018年数理逻辑进展研讨会
2018年数理逻辑进展研讨会
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[]
通讯作者：
Do we need “formal” language in logic?
我们需要逻辑上的“形式”语言吗？
我们需要逻辑上的“形式”语言吗？
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Ribeka Tanaka, Koji Mineshima and Daisuke Bekki, Mitsuhiro Okada]
通讯作者：
Mitsuhiro Okada
“Wittgenstein, Goodstein and the Origin of the Uniqueness Rule”. In Wittgenstein in the 1930s: Between the Tractatus and the Investigations
“维特根斯坦、古德斯坦和唯一性规则的起源”，《20 世纪 30 年代的维特根斯坦：逻辑哲学论与研究之间》。
“维特根斯坦、古德斯坦和唯一性规则的起源”，《20 世纪 30 年代的维特根斯坦：逻辑哲学论与研究之间》。
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Mathieu Marion and Mitsuhiro Okada, Edited by david Stern]
通讯作者：
Edited by david Stern
数学はなぜ哲学の問題になるのか
为什么数学是一个哲学问题？
为什么数学是一个哲学问题？
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
[イアン・ハッキング, 金子 洋之, 大西 琢朗]
通讯作者：
大西 琢朗
基礎づけ言語としての直観主義論理：その拡張を考える
直觉主义逻辑作为基本语言：对其扩展的思考
直觉主义逻辑作为基本语言：对其扩展的思考
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Yuta Takahashi, Mitsuhiro Okada, 原塑, Tomoyuki Yamada and Katsuhiko Sano, 手嶋 英貴, 荒谷大輔, Masanobu Toyooka and Katsuhiko Sano, 岡本賢吾]
通讯作者：
岡本賢吾
共 45 条