[過去ﾛｸﾞ] 現代数学はインチキだらけ (1002ﾚｽ)
上下前次1-新

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

898: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/03(木)11:27 ID:x+DVmNvw(4/11) AA×
>>897

https://ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
898: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/10/03(木) 11:27:22.98 ID:x+DVmNvw >>897 補足 ＞He has worked on reverse mathematics, a project intended to derive the axioms of mathematics from the theorems considered to be necessary. ”reverse mathematics”逆数学 https://ja.wikipedia.org/wiki/%E9%80%86%E6%95%B0%E5%AD%A6 逆数学 (抜粋) 逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。 しかし、実際の逆数学では主に、集合論の公理ではなく、通常の数学の定理を研究するのを目的とする。 逆数学は大抵の場合、2階算術について実行され、定理が構成的解析と証明論に動機付けられた2階算術の部分体系のうち、どれに対応するのかを研究する。 2階算術を使うことで、再帰理論からの多くの技術も利用できる。実際、逆数学の結果の多くは、計算可能性解析の結果を反映している。 逆数学は、Harvey Friedman (1975, 1976)によってはじめて言及された。基本文献は(Simpson 2009)を参照。 目次 1 一般的な原理 1.1 2階算術の使用 2 2階算術の5つの基本的部分体系(Big Five) 2.1 再帰的内包公理 2.2 弱ケーニッヒの補題 2.3 算術的内包公理 2.4 算術的超限再帰 3 Big Five以外の体系 http://rio2016.5ch.net/test/read.cgi/math/1567930973/898
補足 逆数学 逆数学 抜粋 逆数学とは数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである簡単に言えば通常の数学が公理から定理を導くのとは逆に定理から公理を証明する手法を用いることが特徴である選択公理とツォルンの補題は上で同値であるというような集合論の古典的定理は逆数学プログラムの予兆となるものだった しかし実際の逆数学では主に集合論の公理ではなく通常の数学の定理を研究するのを目的とする 逆数学は大抵の場合階算術について実行され定理が構成的解析と証明論に動機付けられた階算術の部分体系のうちどれに対応するのかを研究する 階算術を使うことで再帰理論からの多くの技術も利用できる実際逆数学の結果の多くは計算可能性解析の結果を反映している 逆数学は によってはじめて言及された基本文献は を参照 目次 一般的な原理 階算術の使用 階算術のつの基本的部分体系 再帰的内包公理 弱ケーニッヒの補題 算術的内包公理 算術的超限再帰 以外の体系

---

上下前次1-新書関写板覧索設栞歴

---

あと 104 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.124s