| 研究課題/領域番号 |
16K05251
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
数学基礎・応用数学
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
石原 哉 北陸先端科学技術大学院大学, 先端科学技術研究科, 教授 (10211046)
|
|---|
| 研究協力者 |
根元 多佳子
横山 啓太
|
|---|
| 研究期間 (年度) |
2016-04-01 – 2019-03-31
|
| 研究課題ステータス |
完了 (2018年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2018年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2017年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2016年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | 構成的数学 / 逆数学 / 層モデル / 数学基礎論 |
|---|
| 研究成果の概要 |
本研究は、(1)構成的逆数学における未解決問題の解決と新たな公理の発見、（２）層モデルを用いた公理や定理の体系的な分離手法の構築、（３）分離手法などメタ理論の構成的数学の枠組みでの展開を目的とする。
（１）単調完備定理と同値になる原理、有界内包公理、を明らかにした。2進展開定理と中間値の定理と同値になる弱いケーニッヒの補題に対する条件を解明した。（２）2つの順序構造とその間の単調写像により構成される、拡張フレームの概念を提案した。拡張フレーム上のクリプキ層モデルを用いて、様々な公理を体系的に分離する手法を開発した。（３）上記クリプキ層モデルの構成が構成的集合論の枠組みで展開できることを示した。
|
| 研究成果の学術的意義や社会的意義 |
構成的逆数学は、様々な哲学のもとに展開された数学を、統一的な視点から論理的公理および関数（集合）の存在公理などにより分類・整理・体系化するという斬新で独創的な研究である。本研究により、構成的逆数学の重要な未解決問題を解決し、新たな公理を発見し、公理（定理）の体系的な分離手法を構築することにより、排中律などの論理的公理、可算選択公理などの関数の存在公理、および新たに発見された公理のなす束構造の解明と解析が大きく進展した。
直観主義論理では証明とプログラムの間に自然な対応がある。直観主義論理の証明からプログラムを抽出し高信頼ソフトウェアを開発するための基盤理論の深化や限界の解明に寄与した。
|
