Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)

Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

659: １３２人目の素数さん [] 2025/09/02(火) 06:13:11.89 ID:7B4TGU0k >>631 >M(x)を、ひらたく言えば、 >『帰納的に後者を繰り返し無限に取った集合以上の集合x』 >ということだね >だったら、 >『帰納的に後者を繰り返し無限に取った集合』 >を きちんと論理式 M(x)’として立てて >aの部分集合として >直接 M(x)’を 分出公理で取り出せば >それで終わりでしょ！ ああ、全然証明が読めてないね そんなことしてないから M(x)＝{}∈x＆∀y.y∈x⇒(y∪{y})∈x ωa＝{x∈a|M(a)＆∀b∈p(a).M(b)⇒x∈b} ωaは 「性質Mを満たすaについて、 　やはり性質Mを満たすaの任意の部分集合bで 　x∈bとなるxの全体」 これが性質Ｍを満たす任意のaについて実は同じである これをωとする これが正しい証明の流れ どうだい？全然読めてなかっただろ？ http://rio2016.5ch.net/test/read.cgi/math/1755784703/659

684: １３２人目の素数さん [] 2025/09/02(火) 17:57:24.38 ID:7B4TGU0k >>683 >いまどき 複雑化した 21世紀 現代数学を >まともに 1階の公理的集合論でする人はいない >カジュアル集合論や圏論をまじえて日常の数学が遂行されている気がする カジュアルに数学しようとして落ちこぼれた現代数学童貞の台詞 一階述語論理と無限集合論と実数論　一から勉強しような　童貞 http://rio2016.5ch.net/test/read.cgi/math/1755784703/684

688: １３２人目の素数さん [] 2025/09/02(火) 18:23:13.21 ID:7B4TGU0k >>686 ＞カジュアル集合論、日常の数学では、一階述語論理しばり なし ＞自然言語も多用して 図解もありまくりで 数学の議論を進める ＞それが 21世紀の数学じゃないですか？ 一階述語論理に帰着できないなら数学の議論ではない 20世紀でも21世紀でも、ただのトンデモ ＞そもそも、いまどきの基礎論の投稿論文でも ＞一階述語論理しばり では だれも 論文書いていないのでは？ 数学の論文が全く読めない数学童貞が何妄想してんだ？ http://rio2016.5ch.net/test/read.cgi/math/1755784703/688

689: １３２人目の素数さん [] 2025/09/02(火) 18:27:25.74 ID:7B4TGU0k 中学高校のカジュアル数学では そもそもろくに公理もないし定理の証明もない ただ公式を暗記し機械になって計算するだけ サルの曲芸と同じ 曲芸を覚えたサルが自分は天才だとうぬぼれて 大学１年の微分積分と線形代数の講義を受けて なにがなにやらチンプンカンプンで落第 これが２０世紀でも２１世紀でも見られる光景 考える能力のないサルが大学入っても無意味 http://rio2016.5ch.net/test/read.cgi/math/1755784703/689

691: １３２人目の素数さん [] 2025/09/02(火) 18:35:02.45 ID:7B4TGU0k >>686のハンパなコピペのつづき 「V で作業する代わりに、可算推移モデル M と (P,≤,1) ∈ Mを考える。 ここで言うモデルというのはZFCの十分多くの有限個の公理を満たすものを言う。 推移性というのは x ∈ y ∈ M ならば x ∈ Mとなることである。 モストフスキ崩壊補題によると所属関係は整礎的であると仮定してよい。 推移性は所属関係や初等的な概念を直観的に扱いやすくする。 可算性はレーヴェンハイム-スコーレムの定理から得ているものである。 M は集合なので M に属さない集合が存在する。 それはラッセルのパラドックスから分かる。 強制に際して取り M に付け加える適切な G はPのジェネリックフィルターである。 フィルター条件とは G⊆P であって、 1 ∈ G ; p ≥ q ∈ G ならば p ∈ G ; p,q ∈ G ならば ∃r ∈ G, r ≤ p かつ r ≤ q ; を満たすこと、 G が ジェネリック であるとは D ∈ M が Pの稠密部分集合 (すなわち p ∈ P ならば ∃q ∈ D, q ≤ p である)ならば G∩D ≠ 0 となることである。 ジェネリックフィルター G の存在性はラショーヴァ＝シコルスキの補題から分かる。 さらに、以下のことが分かる: 条件p ∈ Pが与えられたとする、このとき p ∈ G であるジェネリックフィルター G を見つけられる。 splitting conditionと G がフィルターであることから P\G は稠密である。 もし G が M の要素なら P\G も M の元となるから G は Mの元にはならない。」 人が扱えるようにするのに可算推移モデルが必要 何も扱わない童貞には死ぬまでわかるまいが 実数の定義も位相の定義も分からん奴に フィルタの定義が分かるわけない 童貞はちょっと面倒な定義はすぐ読みとばし メンタルピクチャーとかいって 一目でわかるイメージを呉れとわめく そんな三歳児は数学に興味もつな 碁でも打ってろ馬鹿野郎 http://rio2016.5ch.net/test/read.cgi/math/1755784703/691

692: １３２人目の素数さん [] 2025/09/02(火) 18:38:40.12 ID:7B4TGU0k 論理式はもちろん自然言語で書き直せる 論理が分からんというのは、単に論理式が読めないのではなく どういう推論ができるのかが分からんということ 具体的には∀と∃に関する推論が分かってない ナイーブに⋀と⋁を無限回使えばいいと思ってる そんなことできるわけないのは、 ヒトならだれでもわかるが ヒトの脳がないサルには一生わからん http://rio2016.5ch.net/test/read.cgi/math/1755784703/692

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.028s