[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
945(1): １３２人目の素数さん [] 2025/08/22(金) 00:47:05.00 ID:EqzHJSfS(1/8) AAS
>なんか、言っていることが、グダグダ
自分が理解できないといつもグダグダと言うね君
946: １３２人目の素数さん [] 2025/08/22(金) 02:39:00.18 ID:EqzHJSfS(2/8) AAS
グダグダって口先で言ってゴマカすのは具体的指摘が一切できないおまえの得意技だもんなｗ
960(1): １３２人目の素数さん [] 2025/08/22(金) 09:12:57.07 ID:EqzHJSfS(3/8) AAS
>>942
>W′を別の帰納的集合とすると
は間違い。
実際、{{{}}}∈W' なら W≠W' だから、W'が帰納的集合というだけでは W=W' は言えない。
「∀x(x∈W'↔∀I(Φ(I)→x∈I)) とすると」
に修正すれば正しい。
なぜならWが帰納的集合だから、∀x(x∈W'⇒x∈W) すなわち W'⊂W が言え、∀x(x∈W↔∀I(Φ(I)→x∈I)) からWとW'を入れ替えて同じことが言えるから。
コピペしかできないオチコボレはAI未満。数学は無理なので諦めて数学板から去れ。
967(1): １３２人目の素数さん [] 2025/08/22(金) 10:25:33.87 ID:EqzHJSfS(4/8) AAS
>>942
>この集合をωと書く。
>この定義は数学的帰納法を容易に導けるため便利である。
これ何故か分かるかい？
P(n)をω上の命題関数、Sを後者関数、0:={}としたとき、数学的帰納法の条件節は P({})∧∀n∈ω(P(n)→P(S(n)))、帰結節は ∀n∈ω(P(n)) と書ける。
P(n)の真理集合 {n∈ω|P(n)} をTと書くと、条件節を仮定したとき {}∈T∧∀n∈ω(n∈T→S(n)∈T) すなわちTは帰納的集合。
Tはωの部分集合、且つωはあらゆる帰納的集合に含まれるから T⊂ω ∧ ω⊂T、すなわち T=ω、すなわち {n∈ω|P(n)}=ω、よって数学的帰納法が成り立つ。
漫然と読んで書かれてることを鵜呑みにしてたらダメだよ。それは数学とは言えない。
968: １３２人目の素数さん [] 2025/08/22(金) 10:40:01.15 ID:EqzHJSfS(5/8) AAS
自然数はペアノの公理で定義される。
ωが数学的帰納法（及びペアノの公理の残りの公理）を満たすから定義によりωが自然数全体の集合と言えるんだよ。
決して ω={0,1,2,・・・} だからではない。そもそも 0,1,2,・・・ が何者かZFは何も語っていない。
オチコボレは根本から分かってない。
970: １３２人目の素数さん [] 2025/08/22(金) 10:59:22.75 ID:EqzHJSfS(6/8) AAS
>そもそも 0,1,2,・・・ が何者かZFは何も語っていない。
逆なんだよ。
ωが自然数全体の集合であることが示されたから、その元に
{}:=0,{}∪{{}}:=1,{}∪{{}}∪{{}∪{{}}}:=2,…
と別名を与え、それで初めて 0,1,2,・・・ が何者か定まるんだよ。
ωを{0,1,2,・・・}で定義したら循環論法になることが分からない？
オチコボレはいつも循環論法やらかすね。実数の構成でも和集合の定義でも整列可能定理でもやらかした。数学を根本から分かってない。
973: １３２人目の素数さん [] 2025/08/22(金) 11:32:50.49 ID:EqzHJSfS(7/8) AAS
「0.999・・・は桁数上限の無い有限小数」とか言ってた愚かすぎるど素人（安達何某）と同じで無限が分かってない
いや、彼は分かったうえで否定してたのか？ だとしたらどこぞのオチコボレより賢いねｗ
981: １３２人目の素数さん [] 2025/08/22(金) 21:16:10.05 ID:EqzHJSfS(8/8) AAS
安達の主張
0.999・・・は桁数の上限が無い有限小数で、時に0.9だったり時に0.99だったり時に0.999だったり・・・する。だから1ではない。
背景にある思想
1.実無限は存在しない。例えば無限集合や無限小数は存在しない。0.999・・・は無限小数ではない。
2.0.9,0.99,0.999,・・・の極限は1だが、0.999・・・は0.9,0.99,0.999,・・・の極限ではない。
彼は（可能無限は認めるが）実無限を頑なに認めなかった。どうしようもなく頭が固い。
またケーキは食べきれない、なぜならケーキを半分に切ってひとつ食べ、残りを半分に切ってひとつ食べ、・・・の繰り返しに終わりは無いから、とも言っていた。ゼノンのパラドックスやな。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s