[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)

現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 http://rio2016.5ch.net/test/read.cgi/math/1551963737/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

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

---

678: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/03/22(金) 07:21:25.71 ID:svnlwBS6 >>667 おっちゃん、どうも、スレ主です。 あまりネタバレせずに、早く、ドクターに診て貰え！ ところで、√2が無理数であることの証明に背理法が使われるのは １．無理数の定義が、「有理数でない」実数という形で、有理数の否定で書かれていることが一つ ２．背理法は、論理でA→B、 集合ではA⊂Bだが、A∩¬B＝Φ（空集合←矛盾）を導く論法と思えば分り易いだろう ３．背理法の大きな利点は、A→Bを導くのにくらべ、使える条件がA∩¬B→Φで増えていること ４．√2→無理数が、”√2＆有理数”→Φと、分かり易く書き直せていることの利点は大きい ５．で、γ→有理数を証明するのに、”γ＆無理数”→Φ（矛盾）と書き直す利点が見えてこない 　　（問題を難しくしていると思う） ６．というか、プロ数学者の予想は（>>617）”The most well known one is: Conjecture 1.0.1. Euler’s constant(γ) is irrational.”やで（＾＾ 　　だから、背理法で解こうとするなら、”γ＆有理数”→Φ（矛盾）となるけど、γの場合は√2と違って、簡単じゃない！ あまりネタバレせずに、早く、（数学科）ドクターに診て貰え！（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1551963737/678

680: １３２人目の素数さん [sage] 2019/03/22(金) 07:42:07.69 ID:h6pRN5t+ >>678 >>679はスレ主へのレスだが、「形式主義」ではなく「公理主義」だった。 http://rio2016.5ch.net/test/read.cgi/math/1551963737/680

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.045s