形式主義と直観主義の証明論的手法による比較再検討

Material type: 文書・図像類

Author: 秋吉, 亮太

Publisher: -

Publication date: 2011

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: type:text2010～2011年度にかけては, 形式主義と直観主義の比較再検討というテーマの元, 論理学(数学基礎論)・哲学の両面から研究を行った. 主な数学的成果としては, スタンフォード大学G.ミンツ教授との共同研究により, ブフホルツのΩ規則の完全カット消去定理という未解決問題を解いた....

Related materials as well as pre- and post-revision versions

科研費研究者番号 : 20587852

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

Keio Associated Repository of Academic resources
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
Keio Associated Repository of Academic resources

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: 形式主義と直観主義の証明論的手法による比較再検討
Author/Editor: 秋吉, 亮太
Author Heading: 秋吉, 亮太
Publication Date: 2011
Publication Date (W3CDTF): 2011
Alternative Title: ケイシキシュギトチョッカンシュギノショウメイロンテキシュホウニヨルヒカクサイケントウ
Keishiki shugi to chokkan shugi no shomeironteki shuho ni yoru hikaku saikento
Reconsideration of the relationship between formalism and intuitionism via proof-theoretical method
Periodical title: 科学研究費補助金研究成果報告書
Text Language Code: jpn
Subject Heading: 哲学,倫理学
Target Audience: 一般
Note (General): type:text
2010～2011年度にかけては, 形式主義と直観主義の比較再検討というテーマの元, 論理学(数学基礎論)・哲学の両面から研究を行った. 主な数学的成果としては, スタンフォード大学G.ミンツ教授との共同研究により, ブフホルツのΩ規則の完全カット消去定理という未解決問題を解いた. 主な哲学的成果としては, 非可述性の分析という観点から証明論のこれまでの歴史を振り返り考察を行い, 今後の課題を提示した.
研究種目 : 研究活動スタート支援研究期間 : 2010～2011 課題番号 : 22820054 研究分野 : 人文学科研費の分科・細目 : 哲学・倫理学
Source: https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/download.php?koara_id=KAKEN_22820054seika
https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/download.php?koara_id=KAKEN_22820054seika
Access Restrictions: 限定公開
Related Material: 科研費研究者番号 : 20587852
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 慶應義塾大学 : 慶應義塾大学学術情報リポジトリ