| 研究課題/領域番号 |
25887026
|
|---|
| 研究種目 |
研究活動スタート支援
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
数学基礎・応用数学
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
横山 啓太 北陸先端科学技術大学院大学, 情報科学研究科, 助教 (10534430)
|
|---|
| 研究期間 (年度) |
2013-08-30 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2014年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2013年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | 逆数学 / ２階算術 / 組み合わせ論 / 証明論 / 計算可能性理論 / 数学基礎論 / 2階算術 |
|---|
| 研究成果の概要 |
数学の諸命題の強さを論理学の視点から分析する逆数学研究の基盤を広げ、より多様な視点から数学の諸命題の評価を行うことを目指して研究を行った。特に、これまで計算可能性理論の視点からの命題の強さの評価に偏りがちだった組み合わせ命題の強さについて、帰納法の強さ等の証明論的強さの視点からの評価を行うための諸種の手法の導入を行った。さらに、これらの成果を構成的数学の視点を踏まえて計算機科学、特にプログラム検証の分野と結びつけるための道筋を得た。
|
