| 研究課題/領域番号 |
20K14354
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分12030:数学基礎関連
|
|---|
| 研究機関 | 東京理科大学 (2022-2023)
明治大学 (2020-2021) |
|---|
研究代表者 |
藤原 誠 東京理科大学, 理学部第一部応用数学科, 助教 (20779095)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2024-03-31
|
| キーワード | 連続性 / 一様連続性定理 / 直観主義算術 / 論理公理 / 冠頭標準形定理 / 保存拡大性定理 |
|---|
| 研究成果の概要 |
直観主義数学における主要概念であるベール空間から自然数集合への関数の連続性を構成的逆数学の観点から解析し，「バー再帰を持つモジュラスによって各点連続であること」によって特徴付けた．
また，直観主義数学に端を発する単位区間上の一様連続性定理を逆数学的に解析し，「モジュラスに連続性を加味した単位区間上の連続関数に対する一様連続性定理」が弱い関数存在公理しか含まない直観主義有限型算術体系上で完全二分岐木に対する決定可能ファン定理と同値になることを示した．
さらに，直観主義数学の逆数学的解析のための枠組み研究として，直観主義算術上の論理公理の階層構造と冠頭標準形定理及び保存拡大性定理の関係性を解明した．
|
| 自由記述の分野 |
数学基礎論
|
| 研究成果の学術的意義や社会的意義 |
本研究は20世紀初等にブラウアーとその弟子たちによって直観主義数学における主要概念である関数の連続性概念や直観主義数学に端を発し現代数学に通じる一様連続性定理を現代的立場から再考察したものである．
本研究の学術的意義は，直観主義数学における強い連続性の概念や通常の数学では測れない連続性概念の間の差異を通常の数学の部分公理系である現代的構成的数学の立場から基礎付けた点にある．
また，直観主義算術上の論理公理の階層構造と冠頭標準形定理及び保存拡大性定理の関係性の研究の成果は，通常の数学と現代的構成的数学の中間に位置する数学的理論を調べるための足掛かりとなるものである．
|
