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：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Yuta Takahashi, Mitsuhiro Okada, 原塑, Tomoyuki Yamada and Katsuhiko Sano, 手嶋 英貴, 荒谷大輔, Masanobu Toyooka and Katsuhiko Sano, 岡本賢吾]
通讯作者：
岡本賢吾
Reasoning 論の哲学的新展開
推理理论的哲学新发展
推理理论的哲学新发展
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
[Yuta Takahashi, Mitsuhiro Okada, 原塑, Tomoyuki Yamada and Katsuhiko Sano, 手嶋 英貴, 荒谷大輔, Masanobu Toyooka and Katsuhiko Sano, 岡本賢吾, 松浦和也, 梶原 三恵子, 山蔦真之, 辻井義輝・播本崇史・福田真吾・黒田祐介・吉田公平, 三重野清顕, 近藤智彦, 稲場圭信, 藤井正人, 高橋祥吾, Tai-Wei Hu and Mamoru Kaneko, 手嶋 英貴, 松浦和也, 王文潔・稲場圭信, 柴田 大輔, Mitsuhiro Okada, 直江 清隆, Mamoru Kaneko, 頼住光子, 岡本賢吾]
通讯作者：
岡本賢吾
共 45 条