| Project/Area Number |
20K14354
|
|---|
| Research Category |
Grant-in-Aid for Early-Career Scientists
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
Basic Section 12030:Basic mathematics-related
|
|---|
| Research Institution | Tokyo University of Science (2022-2023)
Meiji University (2020-2021) |
|---|
Principal Investigator |
Fujiwara Makoto 東京理科大学, 理学部第一部応用数学科, 助教 (20779095)
|
|---|
| Project Period (FY) |
2020-04-01 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,160,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥960,000)
Fiscal Year 2022: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2021: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2020: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
|
|---|
| Keywords | 連続性 / 一様連続性定理 / 直観主義算術 / 論理公理 / 冠頭標準形定理 / 保存拡大性定理 / 構成的数学 / 逆数学 / 弱ケーニヒの補題 / 保存性定理 / 直観主義数学 / 決定可能ファン定理 |
|---|
| Outline of Research at the Start |
本研究は 20世紀初頭にオランダの位相幾何学者L.E.J.Brouwerが提唱した直観主義数学を現代的立場から再検討する数学基礎論の研究である．
方法論としては，構成的逆数学と呼ばれる形式主義的方法論を用いる．これにより，通常の数学と矛盾する直観主義数学の公理や定理に対しても逆数学的解析を行うことが可能となる．
さらに，並行して，構成的逆数学を計算可能解析学や古典的逆数学と関連付けるメタ定理の開発に取り組む．
|
| Outline of Final Research Achievements |
We investigated the notion of continuity in Brouwer's intuitionistic mathematics for functions from the Baire space to the set of natural numbers from the perspective constructive reverse mathematics, and characterized it by the notion of pointwise continuity with having a modulus which possesses a bar recursor.
We also investigated the uniform continuity theorem which is from the intuitionistic mathematics, and showed that the decidable fan theorem for the complete binary tree is equivalent to the statement that every pointwise continuous real-valued function on the unit interval with a continuous modulus is uniformly continuous over intuitionistic finite-type arithmetic containing a weak choice principle only.
In addition, as related to the reverse mathematical analysis of intuitionistic mathematics, we investigated the relation between the hierarchy of logical axioms over intuitionistic arithmetic, semi-classical prenex normal form theorems, and semi-classical conservation theorems.
|
| Academic Significance and Societal Importance of the Research Achievements |
本研究は20世紀初等にブラウアーとその弟子たちによって直観主義数学における主要概念である関数の連続性概念や直観主義数学に端を発し現代数学に通じる一様連続性定理を現代的立場から再考察したものである．
本研究の学術的意義は，直観主義数学における強い連続性の概念や通常の数学では測れない連続性概念の間の差異を通常の数学の部分公理系である現代的構成的数学の立場から基礎付けた点にある．
また，直観主義算術上の論理公理の階層構造と冠頭標準形定理及び保存拡大性定理の関係性の研究の成果は，通常の数学と現代的構成的数学の中間に位置する数学的理論を調べるための足掛かりとなるものである．
|
