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

資料種別: 文書・図像類

著者: 秋吉, 亮太

出版者: -

出版年: 2011

資料形態: デジタル

ページ数・大きさ等: -

NDC: -

すべて見る

資料に関する注記

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

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

その他

慶應義塾大学学術情報リポジトリ
デジタル
連携先のサイトで、学術機関リポジトリデータベース（IRDB）（機関リポジトリ）が連携している機関・データベースの所蔵状況を確認できます。
慶應義塾大学学術情報リポジトリのサイトでこの本を確認

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

デジタル

資料種別: 文書・図像類
タイトル: 形式主義と直観主義の証明論的手法による比較再検討
著者・編者: 秋吉, 亮太
著者標目: 秋吉, 亮太
出版年月日等: 2011
出版年（W3CDTF）: 2011
並列タイトル等: ケイシキシュギトチョッカンシュギノショウメイロンテキシュホウニヨルヒカクサイケントウ
Keishiki shugi to chokkan shugi no shomeironteki shuho ni yoru hikaku saikento
Reconsideration of the relationship between formalism and intuitionism via proof-theoretical method
タイトル（掲載誌）: 科学研究費補助金研究成果報告書
本文の言語コード: jpn
件名標目: 哲学,倫理学
対象利用者: 一般
一般注記: type:text
2010～2011年度にかけては, 形式主義と直観主義の比較再検討というテーマの元, 論理学(数学基礎論)・哲学の両面から研究を行った. 主な数学的成果としては, スタンフォード大学G.ミンツ教授との共同研究により, ブフホルツのΩ規則の完全カット消去定理という未解決問題を解いた. 主な哲学的成果としては, 非可述性の分析という観点から証明論のこれまでの歴史を振り返り考察を行い, 今後の課題を提示した.
研究種目 : 研究活動スタート支援研究期間 : 2010～2011 課題番号 : 22820054 研究分野 : 人文学科研費の分科・細目 : 哲学・倫理学
オンライン閲覧公開範囲: 限定公開
関連情報: 科研費研究者番号 : 20587852
連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
提供元機関・データベース: 慶應義塾大学 : 慶應義塾大学学術情報リポジトリ