「3次元的逆数学」のための基盤構築

• 資料種別: 文書・図像類
• タイトル: 「3次元的逆数学」のための基盤構築
• 著者・編者: 横山, 啓太
• 著者標目: 横山, 啓太
• 出版年月日等: 2015-06-01
• 出版年（W3CDTF）: 2015-06-01
• 並列タイトル等: The start-up for reverse mathematics from various angles
• タイトル（掲載誌）: 科学研究費助成事業研究成果報告書
• 掲載ページ: 1-4
• 本文の言語コード: jpn
• 件名標目: 逆数学; ２階算術; 組み合わせ論; 証明論; 計算可能性理論; 数学基礎論
• 対象利用者: 一般
• 一般注記: 数学の諸命題の強さを論理学の視点から分析する逆数学研究の基盤を広げ、より多様な視点から数学の諸命題の評価を行うことを目指して研究を行った。特に、これまで計算可能性理論の視点からの命題の強さの評価に偏りがちだった組み合わせ命題の強さについて、帰納法の強さ等の証明論的強さの視点からの評価を行うための諸種の手法の導入を行った。さらに、これらの成果を構成的数学の視点を踏まえて計算機科学、特にプログラム検証の分野と結びつけるための道筋を得た。 : The purpose of this research is to develop several new approaches for the study of reverse mathematics, whose goal is to determine the strength of ordinary mathematical theorems from various angles. In this research, I investigated the proof-theoretic strength of several combinatorial principles and introduced several new methods to determine the proof-theoretic strength. I also found a new way to apply these results into the study of termination analysis.; 研究種目：研究活動スタート支援; 研究期間：2013～2014; 課題番号：25887026; 研究者番号：10534430; 研究分野：数学基礎論, 数理論理学; identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/12825
• 記録形式（IMT）: application/pdf
• 一次資料へのリンクURL: https://dspace.jaist.ac.jp/dspace/bitstream/10119/12825/1/25887026seika.pdf
• オンライン閲覧公開範囲: 限定公開
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ