検索結果 7 件
紙図書
国立国会図書館
- 件名計算可能性 / 列計算可能性 / 実効的連続性 / Fine位相 / 極限再帰性 / コーディング / 逆数学 / アナログ計算
デジタル文書・図像類
全国の図書館
- 件名構成的数学 逆数学 層モデル
- 一般注記本研究は、(1)構成的逆数学における未解決問題の解決と新た......術的意義や社会的意義: 構成的逆数学は、様々な哲学のもとに展開され......究である。本研究により、構成的逆数学の重要な未解決問題を解決し、新たな公理を発見し、公理(定理)...
デジタル文書・図像類
全国の図書館
- 件名数理論理学 証明論 逆数学 算術 数学基礎論 ラムゼイの定理 組み合わせ論 計算可能性...
- 一般注記...理学の視点から評価・分析する、逆数学と呼ばれる研究を複数の視点から......証明の長さの析学における新たな逆数学現象の発見等、関連研究を推し進め、逆数学研究の基盤を拡張した。研究成果......の解決とそのための手法の導入は逆数学研究におけるマイルストーンとなり、逆数学や証明論分野の国際会議で関連する多くの話題が取り上げられたほ...
デジタル文書・図像類
全国の図書館
- 件名逆数学 2階算術 組み合わせ論 証明論 計算可能性理論 数学基礎論
- 一般注記数学の諸命題の強さを論理学の視点から分析する逆数学研究の基盤を広げ、より多様な視点から数学の諸命題の評価を行う...
デジタル文書・図像類
全国の図書館
- 件名数理論理学 数学基礎論 構成的数学 逆数学
- 一般注記本研究は、構成的逆数学のための形式体系の調査・提案・......体系(EL)の部分体系を構成的逆数学のための形式体系として提案した。 : The project...
検索結果は以上です。