刷新
{{item.name}}会员
Reexamination of Brouwer's intuitionism by proof-theoretic methods
用证明论方法重新审视布劳威尔的直觉主义
基本信息
- 批准号：16K16690
- 负责人：
- 金额：$ 2.5万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2016
- 资助国家：日本
- 起止时间：2016-04-01 至 2020-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（25）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
形式主義の新展開に向けてー竹内外史を手がかりにー
走向形式主义的新发展——以竹内、永井的历史为线索——
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi and Grigori Mints;Ryota Akiyoshi and Kazushige Terui;Ryota Akiyoshi and Yuta Takahashi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;秋吉亮太
- 通讯作者：秋吉亮太
Strong Normalization for the Parameter-Free Polymorphic Lambda Calculus Based on the Omega-Rule
基于Omega规则的无参数多态Lambda演算的强归一化
- DOI：10.4230/lipics.fscd.2016.5
- 发表时间：2016
- 期刊：
- 影响因子：0
- 作者：Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi and Grigori Mints;Ryota Akiyoshi and Kazushige Terui
- 通讯作者：Ryota Akiyoshi and Kazushige Terui
Takeuti''s Finitism Revisited
重新审视 Takeuti 的有限主义
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：佐藤雅彦;Ryota Akiyoshi
- 通讯作者：Ryota Akiyoshi
A uniform idea behind Gentzen’s three consistency proofs (abstract)
Gentzen 三个一致性证明背后的统一思想（摘要）
- DOI：
- 发表时间：2016
- 期刊：
- 影响因子：0.6
- 作者：Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi and Grigori Mints;Ryota Akiyoshi and Kazushige Terui;Ryota Akiyoshi and Yuta Takahashi
- 通讯作者：Ryota Akiyoshi and Yuta Takahashi
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Akiyoshi Ryota其他文献
Akiyoshi Ryota的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
An Elucidation of Leibniz on the Labyrinth of the Continuum, from the perspective of the History of Philosophy of Mathematics of Points and Continua
从点与连续体数学哲学史的角度阐释莱布尼茨的连续体迷宫
- 批准号：
23K00026 - 财政年份：2023
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Ernst Cassirer’s Philosophy of Mathematics – A Cultural Philosophy of Mathematics at the Beginning of the 20th Century.
恩斯特·卡西尔的《数学哲学——20世纪初的数学文化哲学》。
- 批准号：
438932759 - 财政年份：2020
- 资助金额：
$ 2.5万 - 项目类别：
Research Grants
New developments of the philosophy of mathematics
数学哲学的新发展
- 批准号：
17H02263 - 财政年份：2017
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
A systematic study on the development of Leibniz's philosophy of mathematics after the middle period
莱布尼茨中期以后数学哲学发展的系统研究
- 批准号：
15K02002 - 财政年份：2015
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Mathematical Existence in Leibniz's Metaphysics and his Philosophy of Mathematics
莱布尼茨形而上学及其数学哲学中的数学存在
- 批准号：
25770005 - 财政年份：2013
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Sixteenth-century Philosophy of Mathematics in Historical and Philosophical Perspective
历史和哲学视角下的十六世纪数学哲学
- 批准号：
23501208 - 财政年份：2011
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Studies on the role of imagination and the mechanism of mathematical knowledge in Leibniz's philosophy of mathematics
莱布尼茨数学哲学中想象力的作用及数学知识机制研究
- 批准号：
22720009 - 财政年份：2010
- 资助金额：
$ 2.5万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Mathematics, the science of real structure: an Australian realist philosophy of mathematics
数学，实结构的科学：澳大利亚实在论数学哲学
- 批准号：
DP0769997 - 财政年份：2007
- 资助金额：
$ 2.5万 - 项目类别：
Discovery Projects
The Foundation of Kant's Philosophy of Mathematics
康德数学哲学的基础
- 批准号：
0452527 - 财政年份：2006
- 资助金额：
$ 2.5万 - 项目类别：
Standard Grant
Philosophy of Mathematics: Sociological Aspects and Mathematical Practice
数学哲学：社会学方面和数学实践
- 批准号：
27379395 - 财政年份：2006
- 资助金额：
$ 2.5万 - 项目类别：
Scientific Networks