| 研究課題/領域番号 |
19500012
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
情報学基礎
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
石原 哉 北陸先端科学技術大学院大学, 情報科学研究科, 准教授 (10211046)
|
|---|
| 研究分担者 |
赤間 陽二 東北大学, 大学院・理学研究科, 准教授 (30272454)
|
|---|
| 研究期間 (年度) |
2007 – 2009
|
| 研究課題ステータス |
完了 (2009年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2009年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2008年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2007年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | 数理論理学 / 数学基礎論 / 構成的数学 / 逆数学 |
|---|
| 研究概要 |
本研究は、構成的逆数学のための形式体系の調査・提案・評価・改良を目的として行われた。型概念に基づいた体系、および集合概念に基づいた体系、それぞれに対して様々な原理(例えば、連続性原理)、および位相空間・一様空間の定理を対象に調査を行った。その結果、集合概念に基づいた体系としては、構成的集合論(CZF)およびその部分体系が、有力な候補であることが分かった。また、型概念に基づいた体系としては、単調完備定理を詳細に分析することにより、構成的解析体系(EL)の部分体系を構成的逆数学のための形式体系として提案した。
|
