エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
JAIST Repository: 構成的数学における逆数学の研究
本研究は、構成的逆数学のための形式体系の調査・提案・評価・改良を目的として行われた。型概念に基づ... 本研究は、構成的逆数学のための形式体系の調査・提案・評価・改良を目的として行われた。型概念に基づいた体系、および集合概念に基づいた体系、それぞれに対して様々な原理(例えば、連続性原理)、および位相空間・一様空間の定理を対象に調査を行った。その結果、集合概念に基づいた体系としては、構成的集合論(CZF)およびその部分体系が、有力な候補であることが分かった。また、型概念に基づいた体系としては、単調完備定理を詳細に分析することにより、構成的解析体系(EL)の部分体系を構成的逆数学のための形式体系として提案した。 : The project aimed at research, proposal, evaluation, and improvement of formal systems for constructive reverse mathematics. Formal systems ba
2011/02/16 リンク