Reexamination of Brouwer's intuitionism by proof-theoretic methods

用证明论方法重新审视布劳威尔的直觉主义

• 批准号: 16K16690
• 负责人: Akiyoshi Ryota
• 金额: $ 2.5万
• 依托单位: Waseda University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2016
• 资助国家: 日本
• 起止时间: 2016-04-01 至 2020-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-16K16690/
• 关键词: 論理学の哲学; 数学の哲学; ブラウワー; ヒルベルト; 理論計算機科学; ラムダ計算; 数学基礎論; 証明論; 哲学; 論理学; 直観主義; フッサール; 証明論的意味論; 数学・論理学の哲学; 形式主義

项目成果

形式主義の新展開に向けてー竹内外史を手がかりにー

走向形式主义的新发展——以竹内、永井的历史为线索——

• 发表时间: 2018
• 作者: 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
• 期刊: Proceedings of FSCD'16
• 作者: Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi;Ryota Akiyoshi and Grigori Mints;Ryota Akiyoshi and Kazushige Terui
• 通讯作者: Ryota Akiyoshi and Kazushige Terui

パリ第一大学哲学科/科学史科学哲学研究所（IHPST）(フランス)

巴黎第一大学哲学系/科学史与科学哲学研究所 (IHPST)（法国）

Opening Remarks

• DOI: 10.3758/bf03205627
• 发表时间: 2015
• 期刊: Behavior Research Methods & Instrumentation
• 作者: E. Emanuel

A uniform idea behind Gentzen’s three consistency proofs (abstract)

Gentzen 三个一致性证明背后的统一思想（摘要）

• 发表时间: 2016
• 期刊: Bulletin of Symbolic Logic
• 影响因子: 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