[過去ﾛｸﾞ] 現代数学はインチキだらけ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
897(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/03(木)11:21 ID:x+DVmNvw(3/11) AAS
>>888 追加
外部ﾘﾝｸ:sites.google.com
仙台ロジック倶楽部
数学基礎論と消えたパラドックス 田中一之 数学セミナー 1993.8
(抜粋)
■ Ｈ. フリードマンの定理
代数構造まで含めてユークリッドの反例になるものはあまりなさそうな気がしてくるのだが、
省13
898: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/03(木)11:27 ID:x+DVmNvw(4/11) AAS
>>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”逆数学
外部ﾘﾝｸ:ja.wikipedia.org
逆数学
(抜粋)
逆数学とは、数学の定理の証明に必要な公理を決定しようとする数理論理学のプログラムである。簡単に言えば、通常の数学が公理から定理を導くのとは逆に、「定理から公理を証明する」手法を用いることが特徴である。「選択公理とツォルンの補題はZF上で同値である」、というような集合論の古典的定理は、逆数学プログラムの予兆となるものだった。
省12
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s