なぜ、ZFC公理まで遡らなくても数学が出来るの？ (117ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
113: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/20(水)18:42:52.37 ID:dQKCe6W8(9/9) AAS
>>112
>実際、逆数学の結果の多くは、計算可能性解析学の結果を反映している”
リンク貼りますｗ ；ｐ）
(参考)
ja.wikipedia.org/wiki/%E8%A8%88%E7%AE%97%E5%8F%AF%E8%83%BD%E8%A7%A3%E6%9E%90%E5%AD%A6
計算可能解析学
数学ならびに計算機科学において、計算可能解析学（けいさんかのうかいせきがく、英語: computable analysis）とは、計算可能性理論の観点から解析学を研究する分野である。これは計算可能な仕方で展開可能な実解析学や関数解析学の部分と関わる。この分野は構成的解析学や数値解析と密接に関係する。
en.wikipedia.org/wiki/Computable_analysis
Computable analysis
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.874s*