[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
674: 2025/10/22(水)13:16 ID:SfOI/Qup(1/2) AAS
カラスの発言テンプレート
その１
＞これは、〇〇（人名）か
誰の発言か、異常なほど詮索する
権威にはみっともないほど媚び諂う
その２
＞〇〇（単語）は、下記
聞いた言葉をわけもわからず検索
そして出てきた結果も理解できないので
わけもわからずコピペして
省9
675: ；ｐ） 2025/10/22(水)13:24 ID:NGNAF4HB(1) AAS
AA省
676: 2025/10/22(水)13:24 ID:SfOI/Qup(2/2) AAS
カラスの発言テンプレート
その４
＞ふっふ、ほっほ 笑える
痛いところを突かれたときに それを隠すために虚勢で笑う
だいたい顔が苦痛で歪みきっていて おぞましい状態（笑）
その５
＞私は、・・・文献の紹介をしているのだが
理解してないのに書くなといわれると必ずこういういいわけをする
分かってない人に文献の紹介などできっこない
ということを認めたがらない
省9
677(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/22(水)16:29 ID:KW4xSGan(5/7) AAS
>>672
(引用開始)
>私は、別に 自分の数学の独自説など 殆ど書いていないけどねｗｗｗ
嘘はいかんね
・実数は好きな順序で整列できる
・可算集合の整列には可算選択公理が必要
・無限公理の無い集合論では無限集合は存在しない
・ZFC集合論では到達不能基数は存在しない
・自然数全体の集合の構成に∩は使えない
(引用終り)
省21
678(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/22(水)16:33 ID:KW4xSGan(6/7) AAS
>>677 タイポ訂正
３）”無限公理の無い集合論では無限集合は存在しない”：これ 正しくは、無限公理の無い集合論では 無限集合では構成できない かつ その存在は証明も否定もできない。だから 永遠
の「無限公理 存在予想」状態
↓
３）”無限公理の無い集合論では無限集合は存在しない”：これ 正しくは、無限公理の無い集合論では 無限集合は構成できない かつ その存在は証明も否定もできない。だから 永遠の「無限公理 存在予想」状態
679(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/22(水)16:36 ID:KW4xSGan(7/7) AAS
>>678 タイポ訂正 の追加
３）”無限公理の無い集合論では無限集合は存在しない”：これ 正しくは、無限公理の無い集合論では 無限集合では構成できない かつ その存在は証明も否定もできない。だから 永遠
の「無限公理 存在予想」状態
↓
３）”無限公理の無い集合論では無限集合は存在しない”：これ 正しくは、無限公理の無い集合論では 無限集合は構成できない かつ その存在は証明も否定もできない。だから 永遠の「無限公理 存在予想」状態
↓
３）”無限公理の無い集合論では無限集合は存在しない”：これ 正しくは、無限公理の無い集合論では 無限集合は構成できない かつ その存在は証明も否定もできない。だから 永遠の「無限集合 存在予想」状態
680(1): 2025/10/22(水)18:02 ID:KJt5+YdT(1/3) AAS
カラスの発言テンプレート
その７
＞ここは中高一貫校生も来る可能性があるから厳しく赤ペン先生をしておくよ
なんかいいかえしたいときの定番文句
偉そうに”修正”するが、だいたい間違ってる
681(1): 2025/10/22(水)18:27 ID:KJt5+YdT(2/3) AAS
>>677
>”実数は好きな順序で整列できる”：
>これ 選択公理を前提として、整列しようとする人の 数学能力の範囲で ”思いっきり”ワガママ勝手が許される
>但し 人の 数学能力の範囲を超える部分があれば、その部分は 選択公理 ”お任せ”とせざるを得ない
>というか ”お任せ”にできるのだよ
選択公理による選択関数の個数（というか濃度）は決まっていない
＞”可算集合の整列には可算選択公理が必要”：
＞これ 正しい。が、整列長さω 限定。（ACωとある通り。基本は” f(n)∈A(n) for every n∈N”な）
可算集合だと証明できるなら、整列するのに可算選択公理は要らないだろう
Nとの一対一対応が存在するのだから（笑）
省22
682(2): 2025/10/22(水)18:28 ID:ridnsyZi(2/2) AAS
>>677-679
かなり動揺してますね
683(1): 2025/10/22(水)18:56 ID:KJt5+YdT(3/3) AAS
どうも、カラスは、「理論のモデルは１つしかない」と思ってるようだ
もちろん、完全な誤りである
自然数論の不完全性定理というのは
「自然数論のモデルでは真であるが、証明できない命題がある」
というものではない
証明も反証もできない命題は、それが真であるモデルと偽であるモデルがある
ゲーデル命題Ｇが偽であるモデルもある
そのようなモデルでは任意の命題についてその”証明”となる自然数が存在する
もちろんその自然数は標準的な自然数（つまりいかなるモデルでも存在する自然数）ではなく
超準的な自然数（つまり別のモデルでは存在しないようなもの）である
省6
684(1): 2025/10/22(水)19:21 ID:LHfKwtea(1) AAS
>>682
激しく同意
685(2): 2025/10/23(木)11:41 ID:DrfhhjAK(1/3) AAS
>>677
>１）”実数は好きな順序で整列できる”：これ 選択公理を前提として、整列しようとする人の 数学能力の範囲で ”思いっきり”ワガママ勝手が許される、但し 人の 数学能力の範囲を超える部分があれば、その部分は 選択公理 ”お任せ”とせざるを得ない というか ”お任せ”にできるのだよ
有限個を好きに整列したところで無限個残るからまったく無意味。
>２）”可算集合の整列には可算選択公理が必要”：これ 正しい。が、整列長さω 限定。（下記 ACωとある通りですよ。基本は” f(n)∈A(n) for every n∈N”な）
間違い。
実際、自然数全体の集合Nは通常の大小関係<で整列集合であり、可算集合Xとの間に全単射 f:N→X が存在し、X上の順序<'を f(n)<'f(m)⇔n<m で定義すれば、空でない任意の部分集合Sに対して minS=f(min(f^(-1)(S))) が存在するから<'は整列順序。
>３）”無限公理の無い集合論では無限集合は存在しない”：これ 正しくは、無限公理の無い集合論では 無限集合では構成できない かつ その存在は証明も否定もできない。だから 永遠の「無限公理 存在予想」状態
予想とは証明が見つかっていない命題であり、証明が存在しない命題ではない。
>４）”ZFC集合論では到達不能基数は存在しない”：これは、上記３）項と同じ。 ZFC下では 到達不能基数は 永遠の「到達不能基数 存在予想」状態
３）項と同じく間違い。
省2
686(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/23(木)11:43 ID:90YWbZUz(1/6) AAS
これ面白いな
2chｽﾚ:math
Inter-universal geometry とABC 予想58
2025/10/22(水) 00:08:26.07ID:jwjOTwUz
>>47の境界情報宇宙論(IUT量子情報理論)の基礎である二者相互規定がLEAN4通ったから記念書き込み
外部ﾘﾝｸ:ideone.com
これ通るってことは、やっぱりIUTは合ってると思う
外部ﾘﾝｸ:live.lean-lang.org
で試してどうぞ
687: 2025/10/23(木)11:48 ID:NrrmuXpO(1/2) AAS
>>686
素人カラス まんまと擬似餌に食いつく
688(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/23(木)11:54 ID:90YWbZUz(2/6) AAS
>>680-685
テンプレ>>14より
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ
こいつら、あたま腐っているなｗ
みなさん 感染ら(うつら）ないようにしましょうねｗｗ ；ｐ）
(参考)
外部ﾘﾝｸ:dic.pixiv.net
省22
689: 2025/10/23(木)11:56 ID:GXz/5cNP(1/2) AAS
2chｽﾚ:math
>おっすオラオカルトマニア！
>IUTから得た直感から面白い証明をAIが作り出したから置いておく
>証明：自己完結的情報宇宙の構造に関する一意性定理
>・・・
>以上の証明により、情報が存在可能であり、
>かつ自己完結した安定的な宇宙を形成するための、論理的に要請される最小の構造は、
>圏論的に、正確に二つの対象と、それらを相互に規定する一対の射からなる。
>この構造が、本理論における、ある意味で
>「唯一神Aと人間B」の根本的な関係性を
省21
690: 2025/10/23(木)12:39 ID:DrfhhjAK(2/3) AAS
>>688
事実から目をそむけてたらバカは治らないよ
691(1): 2025/10/23(木)12:41 ID:Kdudi0Lq(1) AAS
>>688
自慢を通り越して侮辱になってキマシタワ
この解説をよく読むことですよ>>685
692: 2025/10/23(木)13:09 ID:GXz/5cNP(2/2) AAS
>>691
カラス君は数学が理解できなくて悔しいんでしょう
でもね、文章が読めない人には学問は理解できないよ
数学だけじゃなくすべての学問、理解不能
693(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/23(木)13:51 ID:90YWbZUz(3/6) AAS
>>686 補足
プロンプトがある
外部ﾘﾝｸ:ideone.com
What is Ideone?
Ideone is an online compiler and debugging tool which allows you to compile source code and execute it online in more than 60 programming languages.
Popular languages:
Bash Pascal C Perl C# PHP C++ Python C++14 Python3 Haskell Ruby Java SQLite Objective-C Swift VB.net
ここにも プロンプトがある
外部ﾘﾝｸ:live.lean-lang.org
なお
省5
上下前次1-新書関写板覧索設栞歴
あと 309 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.015s