[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 74 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(7): 2025/08/21(木) 22:58:23.37 ID:/FwGOxIP(1/11) AAS
（前“応援”スレが、1000又は1000近くになったので、新スレ立てる）
前スレ：Inter-universal geometry と ABC予想 (応援スレ) 73
2chｽﾚ:math
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
2chｽﾚ:math
＜IUT最新文書＞
外部ﾘﾝｸ:www.kurims.kyoto-u.ac.jp
望月新一＠数理研
外部ﾘﾝｸ:ja.wikipedia.org
宇宙際タイヒミュラー理論
＜新展開＞
・2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した 外部ﾘﾝｸ:ja.wikipedia.org
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN 外部ﾘﾝｸ:ahgt.math.cnrs.fr
外部ﾘﾝｸ:www.sankei.com
省17
900: 2025/09/10(水) 15:16:20.87 ID:9SZ3T+Dk(1) AAS
>>899
＞数学は現実は切り離した 理想状態の純粋にロジックの議論
だろ？
しかし、望月新一はそのロジックの構築に完全失敗した
ショルツェは、望月新一の１０００ｐ超の記述は全くロジックとして解釈できないこと
そして、もし、ロジックとして解釈できるようにするには ”simplification”が必要であり
その ”simplification”を行うとロジックとして矛盾することを示した
したがって望月新一が為さなければならないのは
ショルツェの指摘を回避できるロジックを示すこと
しかし彼は感情的に発●するだけで何らロジックの構築ができなかった
この時点で、彼は数学者として”死んだ”
そして大学１年の実数の定義も理解できない高卒素人の国粋馬鹿の君だけが
いまだにムキになって「望月新一様は正しい」と発●しつづけている
省1
901(1): 2025/09/10(水) 16:13:49.83 ID:BGfw74h6(1) AAS
IUTプライズは事実上の休止状態だよ
（関係者は黙りこくってるが）
902(1): 2025/09/10(水) 17:23:26.31 ID:+PMnxHB8(3/4) AAS
例えば、ある論文の証明で
定理１、定理２、定理３（これが結論）
レンマ１、レンマ２、レンマ３
とあったとすると
各定理と各レンマで ギャップを示すか 反例を示すかを すればいいだけ
”simplification”は、全く不要
また、定理１、定理２、定理３（これが結論）
レンマ１、レンマ２、レンマ３
の組み合わせのロジックで、同様に ギャップを示すか 反例を示すかを すればいいだけ
”simplification”は、全く不要■
903(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/10(水) 17:29:34.65 ID:+PMnxHB8(4/4) AAS
>>901
>IUTプライズは事実上の休止状態だよ
>（関係者は黙りこくってるが）
まあ、9月17日を待て
>>727より再録
（参考)
外部ﾘﾝｸ:x.com
math_jin 2025年9月2日
日本数学会 秋季分科会 総合講演 9月17日
玉川安騎男(京大数理研) 遠アーベル幾何学の過去.現在.未来(16:30〜17:30)
外部ﾘﾝｸ[html]:www.mathsoc.jp
日本数学会
2025年度秋季総合分科会
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
2025日本数学会秋季総合分科会プログラム
省2
904: 2025/09/10(水) 18:15:49.54 ID:dndCZNQa(1/4) AAS
>>902
実数の定義も分からんで大学１年の微積落第した高卒が何イキってんだ？
905: 2025/09/10(水) 18:16:58.17 ID:dndCZNQa(2/4) AAS
>>903
国籍しか自慢できない人生の負け犬国粋野郎が何イキってんだ？
906(3): 2025/09/10(水) 19:33:10.09 ID:2odKrGmh(1/5) AAS
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね
いい加減自分のデマカセを補強するために
事実を捻じ曲げたり他人の発言を曲解するのをやめような
グロタンディーク宇宙は集合だし他の（同値でない）定義などない
wikipediaもマクレーンもSGA4も望月もそう言ってる
そうでないってんのならお前の妄想以外で例を挙げてみろよ
検索が得意なんだろ
setaがiut論文に重篤な間違いを発見したようなので
応援スレは無事終了ってことでよろ
907: 2025/09/10(水) 20:03:53.87 ID:dndCZNQa(3/4) AAS
>>906
◆yH25M02vWFhPは述語論理が理解できないサルだから人間の数学は全く理解できない
大学は人間に思考させるところであって、思考できないサルに芸を仕込む場所ではない
工学部は大学ではなく職業訓練のための専門学校だから構わんがね（嘲）
908: 2025/09/10(水) 20:07:44.34 ID:dndCZNQa(4/4) AAS
東京大学で、大学と呼んでいいのは
文学部・理学部・教養学部（後期課程）だけ
法学部 ＝法律専門学校
経済学部＝商業専門学校
教育学部＝教育専門学校
工学部 ＝工業専門学校
農学部 ＝農業専門学校
薬学部 ＝薬事専門学校
医学部 ＝医療専門学校
909(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/10(水) 21:11:30.30 ID:u0x0EfOw(1/5) AAS
>>906
>グロタンディーク宇宙は集合だし他の（同値でない）定義などない
>wikipediaもマクレーンもSGA4も望月もそう言ってる
基礎論おバカが、なんか言っているねｗ ；ｐ）
まず、雪江 代数の教科書の用語から
『永田の可換体論では体，可換体という用語だが，今となっては「体」とは日本語ではほとんどの場合可換体を意味するようになっていると思うので，可換な体を最初から体と呼び，必ずしも可換でない体を可除環と呼ぶことにした.』
外部ﾘﾝｸ:www.math.kyoto-u.ac.jp
雪江明彦代数の教科書
・教科書の 用語について (2012/7/7更新) 外部ﾘﾝｸ[pdf]:www.math.kyoto-u.ac.jp
私の教科書の用語について
用語は難しい. きっとすべての人を満足させることはできないだろう.
2. 「可除環」か「斜体」か
さて「必ずしも可換でない体」のことを何と呼ぼう? 桂では「斜体」と呼んでいるが，
この用語を使う気にはなれなかった. それは英語にしたとき，
「ヴェーダーバーンの定理」の状況ではdivision ring, division algebra が完全に定着しているから. 「斜体」を英語にしたら「skew field」だろうが，ヴェーダーバーンの定理とかブラウアー群などについて語るときskew field という用語を使うことはないだろう.
省24
910(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/10(水) 21:12:55.33 ID:u0x0EfOw(2/5) AAS
つづき
では、グロタンディーク宇宙Uは 何者か？
宇宙であることは間違いない
それは、薄葉 季路氏もPDF中でも そう書いてある
クラスか？ ノイマン宇宙Vのクラスを集合として含むから クラスとも呼べないだろう
では 集合か？ L ⊂ V ⊂ U の Uに限れば、ノイマン宇宙Vを含むから 普通の集合ではない
実際、下記 強到達不能基数 κと関連して u(κ)などとも される
つまり、数学者が普通に日常に論じる集合とは 全く別ものだ
が 定義上は集合で しかい ノイマン宇宙Vより大
結論として、グロタンディーク宇宙Uを”集合”と定義づけても
それは、日常の普通の数学の集合とは
同列に論じられるものではないってことだよ
あとは、薄葉 季路先生にきいておくれ
専門的に論じてくれるだろうさｗ ；ｐ）
(参考)
省16
911(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/10(水) 21:14:58.77 ID:u0x0EfOw(3/5) AAS
>>906
>グロタンディーク宇宙は集合だし他の（同値でない）定義などない
>wikipediaもマクレーンもSGA4も望月もそう言ってる
基礎論おバカが、なんか言っているねｗ ；ｐ）
まず、雪江 代数の教科書の用語から
『永田の可換体論では体，可換体という用語だが，今となっては「体」とは日本語ではほとんどの場合可換体を意味するようになっていると思うので，可換な体を最初から体と呼び，必ずしも可換でない体を可除環と呼ぶことにした.』
外部ﾘﾝｸ:www.math.kyoto-u.ac.jp
雪江明彦代数の教科書
・教科書の 用語について (2012/7/7更新) 外部ﾘﾝｸ[pdf]:www.math.kyoto-u.ac.jp
私の教科書の用語について
用語は難しい. きっとすべての人を満足させることはできないだろう.
2. 「可除環」か「斜体」か
さて「必ずしも可換でない体」のことを何と呼ぼう? 桂では「斜体」と呼んでいるが，
この用語を使う気にはなれなかった. それは英語にしたとき，
「ヴェーダーバーンの定理」の状況ではdivision ring, division algebra が完全に定着しているから. 「斜体」を英語にしたら「skew field」だろうが，ヴェーダーバーンの定理とかブラウアー群などについて語るときskew field という用語を使うことはないだろう.
省28
912: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/10(水) 21:16:37.70 ID:u0x0EfOw(4/5) AAS
>>911
もとい
再投稿
>>910 タイポ訂正
が 定義上は集合で しかい ノイマン宇宙Vより大
↓
が 定義上は集合で しかし ノイマン宇宙Vより大
913(1): 2025/09/10(水) 21:36:16.68 ID:2odKrGmh(2/5) AAS
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね
いい加減自分のデマカセを補強するために
事実を捻じ曲げたり他人の発言を曲解するのをやめような
グロタンディーク宇宙は集合だし他の（同値でない）定義などない
wikipediaもマクレーンもSGA4も望月もそう言ってる
そうでないってんのならお前の妄想以外で例を挙げてみろよ
検索が得意なんだろ
setaがコピペした
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
の資料でも
p4に「V は ∪α Vα である.」
p8に「Vκ がグロタンディーク宇宙になる」
って書いてあるよな
グロタンディーク宇宙は V の一部だよな
省11
914(1): 2025/09/10(水) 21:46:42.84 ID:2odKrGmh(3/5) AAS
早く「グロタンディーク宇宙が集合でない」って言ってる文献出せよ
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね
915(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/10(水) 23:06:19.72 ID:u0x0EfOw(5/5) AAS
>>913-914
基礎論おバカが、なんか言っているねｗ ；ｐ）
>>909 再録
薄葉 季路 (早大理工) 集合論の宇宙 —Universe と Multiverse—
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
P3
集合の宇宙
・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す
・Vは集合ではない
(引用終り)
だから、宇宙は ”集合ではない”！ｗ ；ｐ）
で
>>840 ゲーデルの Constructible universe L
ノイマン宇宙V 、グロタンディーク宇宙Uで
L ⊂ V ⊂ U
省23
916: 2025/09/10(水) 23:09:29.13 ID:2odKrGmh(4/5) AAS
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね
いい加減自分のデマカセを補強するために
事実を捻じ曲げたり他人の発言を曲解するのをやめような
専門用語の用法が変わったら当然それを書いてる文献があるよな
ある文献で専門用語を使う際はその文献に定義が書いてあるよな
（ただし、その分野の基礎文献（例えばマクレーンとかｗ）に
定義が書いてあるような場合は省略することもあるな）
早く「グロタンディーク宇宙が集合でない」って言ってる文献出せよ
917(1): 2025/09/10(水) 23:12:01.58 ID:2odKrGmh(5/5) AAS
なあsetaさんよう
人の言ってること捻じ曲げるのをやめような
数学の講演者がスライドの中で明確な注意もなしに
専門用語の定義変えるわけないだろ
＞L ⊂ V ⊂ U
こんな電波飛ばしてんのはお前だけ
違うというのなら例を出せよ
早く「グロタンディーク宇宙が集合でない」って言ってる文献出せよ
918(1): 2025/09/10(水) 23:43:55.25 ID:uWaGqrb4(1) AAS
>>915
>ノイマン宇宙V 、グロタンディーク宇宙Uで
>L ⊂ V ⊂ U
はい、大間違いです。
反例１
グロタンディーク宇宙の定義により{}はグロタンディーク宇宙であり、U={}のときUにはいかなる元も属さない。
一方ノイマン宇宙の定義により{{}}=V1⊂Vだから{}∈V。
以上より V ⊂ U は間違い。
反例２
グロタンディーク宇宙の定義によりV_ωはグロタンディーク宇宙であり、U=V_ωのとき¬(V_(ω+1)=2^V_ω⊂V_ω=U)
一方ノイマン宇宙の定義によりV_(ω+1)⊂V。
以上より V ⊂ U は間違い。
919(1): 2025/09/11(木) 00:03:00.76 ID:aIDeaB24(1) AAS
>>915
>狭い ノイマン宇宙V では クラスだが
>グロタンディーク宇宙U では 集合だとなる
何がクラスで何が集合と言ってんの？
日本語すらまともに書けんのか？ 言語障害？
>つまりは 公理の取り方で 集合 vs クラスの考えは変わるよ
何の公理をどう取るとどうなるのか具体的に言って。
というかあんた自分が何言ってるか分かってる？
920: 2025/09/11(木) 06:00:47.78 ID:KfYwoBCP(1/11) AAS
>>909
>グロタンディークは圏論を展開するため
>ノイマン宇宙Vは狭いと考えて
>Vを拡張して 強引に宇宙の公理を使って
>全てを集合として 圏論を展開することにした
大嘘（笑）
グロタンディークはクラスを無くした、
とほざく馬鹿が現れるとは
グロタンディークも草場の陰で泣いてることだろう
ギャハハハハハハ！！！
>ノイマン宇宙Vではクラスでも
>グロタンディーク宇宙Uならば 集合となるのです
大嘘（笑）
省4
921: 2025/09/11(木) 06:11:06.16 ID:KfYwoBCP(2/11) AAS
>グロタンディーク宇宙Uは 何者か？
>クラスか？ ノイマン宇宙Vのクラスを集合として含むから クラスとも呼べないだろう
ノイマン宇宙Vではノイマン宇宙自身は固有クラスだが
それより大きいグロタンディーク宇宙Uでは、Vはただの集合
しかし、グロタンディーク宇宙Uでも、U自身は固有クラス
Uより小さい宇宙が集合として入ってるだけ
クラスと呼べない、は大嘘
さすが、大学１年の実数の定義が理解できん馬鹿
最初の一歩から間違ってる（笑）
> では 集合か？ L ⊂ V ⊂ U の Uに限れば、ノイマン宇宙Vを含むから 普通の集合ではない
Uの中ではU自身は集合にならない。どのような宇宙を考えても、全体は集合にならない。
これを宇宙とすると、カントールのパラドックスによって矛盾する 知らんのか？馬鹿は
省14
922: 2025/09/11(木) 06:28:25.90 ID:EFLWYl3+(1/2) AAS
ギャハハハハハハ！！！
923(1): 2025/09/11(木) 06:28:57.03 ID:KfYwoBCP(3/11) AAS
>>915
>だから、宇宙は ”集合ではない”！
まず、これが嘘
宇宙だから集合でない、のではない
「集合論における集合の全体」は集合にならない
そういうこと
>ゲーデルの Constructible universe L
>ノイマン宇宙V 、グロタンディーク宇宙Uで
>L ⊂ V ⊂ U
>ここでも、明らかに ノイマン宇宙V は 集合ではない
>また、Lも集合ではない
Vが全体なら、V自身は集合ではないし、またその中のLも集合ではない
一方、Uとかいうものを考えるなら、VもLも集合だ
しかし、その場合も、Ｕ自身はクラス
省25
924: 2025/09/11(木) 06:30:27.81 ID:KfYwoBCP(4/11) AAS
>>923のつづき
>と 同様に グロタンディーク宇宙Uは 何者よ と考えたとき
>「集合すべてからなる集まりを（集合論の）宇宙でVは（普通の）集合ではない」
>ってことだが
(普通の）なんて抜きで、
Ｖが全体ならＶは集合でないし、
Ｕが全体ならＵは集合ではない
集合としてのグロタンディーク宇宙は、当然その集合論の中で集合全体ではない
あくまで、集合論における集合全体と同様の性質を持つ、というだけのこと
ここ分かってないから、◆yH25M02vWFhPは
「グロタンディークはクラスを抹殺した」
とか馬鹿な間違いをほざく
カントールが聞いたら怒り狂うぞ（笑）
>要するに 用語： 集合 vs クラス vs 宇宙 において
>あきらかに 文脈によって 意味が変わっているってことだね
省4
925: 2025/09/11(木) 06:40:34.52 ID:KfYwoBCP(5/11) AAS
>>917-919
Uが、以下のHPで定義された集合とするなら、確かに君のいう通りで、
V⊂Uとかいう言い方はそもそもおかしい
グロタンディーク宇宙
外部ﾘﾝｸ:ja.wikipedia.org
一方で、どうやら高卒馬鹿は勝手に、{}とVω以外のグロタンディーク宇宙が存在する集合論の集合全体をUと呼んでいるらしい
その場合、Uは確かに最小のノイマン宇宙Vを集合として持ち、V∈Uかつ、V⊂Uである
一方、そのようなUは上記のグロタンディーク宇宙にならない 当たり前だが（笑）
省7
926(1): 2025/09/11(木) 06:45:09.35 ID:KfYwoBCP(6/11) AAS
◆yH25M02vWFhPの誤り
１．集合論にどんな公理を追加しようが、集合の全体は、集合にならない
２．したがって、集合であるグロタンディーク宇宙が存在する集合論でも、集合全体からなる最大宇宙は、集合でないからグロタンディーク宇宙ではない
ギャハハハハハハ！！！
こんな初歩が分からんようじゃ、大学１年の数学は全滅だわな（嘲）
927: 2025/09/11(木) 06:47:32.89 ID:EFLWYl3+(2/2) AAS
ギャハハハハハハ！！！
928: 2025/09/11(木) 06:51:31.62 ID:KfYwoBCP(7/11) AAS
>>926
この書き方じゃおかしいか
１．◆yH25M02vWFhPは、グロタンディークの追加公理によって集合全体からなる宇宙が、固有クラスではなく集合になったと思い込んだ
２．◆yH25M02vWFhPは、グロタンディークの追加公理によって集合全体からなる宇宙が、グロタンディーク宇宙になったと思い込んだ
もちろん、どっちも嘘ってこと
１はカントールのパラドックスに抵触する
２についてはグロタンディーク宇宙の中に「集合論における集合の全体」は入らない
929(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/11(木) 06:52:52.19 ID:RbyHG7kc(1/7) AAS
ふっふ、ほっほ
「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ ；ｐ）
(参考)
外部ﾘﾝｸ:dic.pixiv.net
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞
外部ﾘﾝｸ:note.com
アホな同僚や相手に構うことほど、人生ムダなことはないよね。
レトリカ・ブログ （学院長 川上貴裕）
2024年11月2日
どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。
省13
930(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/11(木) 07:28:39.12 ID:RbyHG7kc(2/7) AAS
アホは相手せず
しかし、ここは中高一貫校生も来る可能性があるから
下記でクラスと集合について追記しておく
１）下記 渕野 昌が分かり易い
”「方便」として導入された「集合もどき」のことをクラスとよぶ”
２）chiebukuro.yahoo
”微分可能な関数のクラスや、連続関数のクラス、というのは、なぜ集合ではなくクラスというのでしょうか？”
”群、環またはベクトル空間全体のクラスはZFCにおいて全て真のクラスだったと思います（証明は忘れてしまいました）”
ここで、『ZFCにおいて』という断り書きにご注目
つまり、考える公理系によって、何が集合で 何が集合でないクラスかは 公理系で異なるのです
３）分かり易い例が 下記 無限公理 ja.wikipedia
無限公理なしのZFCでは、無限集合たる自然数の集合ω=N は、クラスになります■
追伸
宇宙も同様で、立脚する公理系によって ある公理系からは宇宙でも 別の公理系からは集合になる
そういうことが、ありえるってことですね■
省9
931: 2025/09/11(木) 07:29:14.01 ID:RbyHG7kc(3/7) AAS
つづき
外部ﾘﾝｸ:detail.chiebukuro.yahoo.co.jp
chiebukuro.yahoo
lD非公開さん
2025/7/12
微分可能な関数のクラスや、連続関数のクラス、というのは、なぜ集合ではなくクラスというのでしょうか？
集合の集合は、ZF公理系のもとでは集合ではないことが、以下のサイトに書かれていました。
外部ﾘﾝｸ:wiis.info
上記のクラスや、他にもベクトル空間のクラスや群のクラス、環のクラスなどもありますが、これらも公理系を満たさないことが証明されるのでしょうか？
ベストアンサー
ナブラさん
2025/7/13
それが集合であるかどうかは議論に影響を与えないからです。
もしそれらのクラスが「自明に」集合であるならば、「連続関数全体の集合」と表すのが自然でしょう。しかし、もしもそれが集合でないならば嘘をつくことになりますし、大抵の場合は自明ではないでしょうから、集合であることを証明せざるを得なくなります。
しかしながら、ここでの「クラス」の使われ方は、それが「クラスであること」というよりも、「このクラスの要素であると主張すること」という意味合いが強いはずです。
省11
932: 2025/09/11(木) 07:53:52.02 ID:xVcK8Xqk(1/5) AAS
seta数学では、話の途中で対象が集合になったり
集合でなくなったりなったりするという禁じ手を
使うのでフツーの人には無理
933: 2025/09/11(木) 07:54:21.84 ID:xVcK8Xqk(2/5) AAS
やっぱり学習機能の備わってない人工無脳だから
処理できないことはなかったことにして無視なんだね
いい加減自分のデマカセを補強するために
事実を捻じ曲げたり他人の発言を曲解するのをやめような
専門用語の用法が変わったら当然それを書いてる文献があるよな
ある文献で専門用語を使う際はその文献に定義が書いてあるよな
（ただし、その分野の基礎文献（例えばマクレーンとかｗ）に
定義が書いてあるような場合は省略することもあるな）
早く「グロタンディーク宇宙が集合でない」って言ってる文献出せよ
934(1): 2025/09/11(木) 08:04:05.66 ID:rDsLRzrG(1/2) AAS
>>929
＞「アホな相手に構うことほど、人生ムダなことはないよね」
毎度恒例の◆yH25M02vWFhPの自嘲
ついでにいうと◆yH25M02vWFhPは
「上と同じ」「相手を構う」という場合に
「上に同じ」「相手に構う」と間違った日本語を使う
端的に言えば、助詞「に」の用法を誤解してる
神戸在住の韓国人？
935: 2025/09/11(木) 08:10:36.93 ID:Fnw81hyh(1/3) AAS
>>930
＞”微分可能な関数のクラスや、連続関数のクラス、というのは、なぜ集合ではなくクラスというのでしょうか？”
それ、どっちも集合だけど
だって、関数の全体R→Rが集合じゃん
936: 2025/09/11(木) 08:14:03.91 ID:Fnw81hyh(2/3) AAS
＞立脚する公理系によって ある公理系からは宇宙でも 別の公理系からは集合になる
＞そういうことが、ありえるってことですね
集合論の公理系では、集合の全体は、集合になり得ない
つまり、集合の全体は、グロタンディーク宇宙になり得ない
したがって、もっちーが何をトチ狂ったかは知らないが、
集合の全体をＵとしたとき、Ｕはグロタンディーク宇宙にならんし
当然Ｕ∈Ｕにもならんから、彼がいうメンバーシップ問題の解決には全く結びつかん
大丈夫か？もっちーとその友達のフェセンコとブンゲン（笑）
937: 2025/09/11(木) 08:15:47.59 ID:Fnw81hyh(3/3) AAS
微分可能な関数のクラスや、連続関数のクラス、というときのクラスは 実は集合論でいうクラスとは全然別の言葉
単に階級という程度の意味でしかない
938(1): 2025/09/11(木) 08:18:22.23 ID:TXjznEiO(1) AAS
>>934
「右に同じ」とか「猫に構う」とかは普通に使われている日本語だし、別に間違った日本語というわけではないのでは？
939: 2025/09/11(木) 08:36:59.47 ID:yfYDQugr(1) AAS
>>938
新しいを「あたらしい」と読むのは今では正しいことになってるが
ホントは「あらたしい」が正しい
そのうち「雰囲気」を「ふいんき」と読むのも正しくなりそうでコワい・・・（笑）
「右に同じ」は知ってるが「猫に構う」は普通に間違いだろ
君、出身どこ？
940: 2025/09/11(木) 10:28:27.63 ID:GEHcJLKM(1/4) AAS
自分の出身は兵庫だけど、「に構う」は普通に全国共通で使われる標準的な日本語だと思うよ。「猫に構う」「子どもに構う」「もう私に構わないで」「荒らしに構うな」……いずれも誤りで、格助詞として正しいのは「を」だと主張するというならそれはそれで一貫していると思うけどね。
なお、日本語の文法としてはヲ格とニ格の違いというのは特に微妙なところで、対象に対する働きかけが強い動詞の場合はヲ格が使われ、そうでない場合はニ格が使われるという一般的な傾向がある（らしい）。もっとも、使い分けについて明確な基準はないとされているみたいね。
ネット上では、特に日本語を学習する外国人向けの質問サイトで頻出の質問のようで、回答者の多くは（ニュアンスの細かな差はともかくとして）どちらも別に間違いではないと回答している。
外部ﾘﾝｸ:ja.hinative.com
外部ﾘﾝｸ:ja.hinative.com
外部ﾘﾝｸ:hinative.com
ところで、「右に同じ」の方は間違いではないってことでいいの？ それとも用例の存在は知っているけど、文法的には誤っているという主張？
941(1): 2025/09/11(木) 10:38:42.16 ID:jhQCSIar(1) AAS
＞「右に同じ」の方は・・・用例の存在は知っているけど、文法的には誤っているという主張？
そう
942(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/11(木) 10:43:41.14 ID:6CLM1l4J(1) AAS
スレが、1000近くになったので、新スレ立てた
2chｽﾚ:math
Inter-universal geometry と ABC予想 (応援スレ) 75
943: 2025/09/11(木) 10:46:27.06 ID:UWoP02oq(1) AAS
>>942
早速、大学１年の一般教養の数学で落第した高卒の初歩的誤りに対して赤ペン指導した
944(1): 2025/09/11(木) 10:55:47.03 ID:GEHcJLKM(2/4) AAS
>>941
「〜に同じ」は標準的に使われている日本語ですよ。
辞書とかでも他の見出し語への参照としてよく使われているでしょ？
945: 2025/09/11(木) 10:59:39.93 ID:rDsLRzrG(2/2) AAS
>>944
言葉は常に正しく使われるわけではない
辞書は正しい言葉だけを掲載しているわけではない
まあ、これを言い出すと
「正しい言葉って何だよ」
ということになるけどね
946(1): 2025/09/11(木) 11:12:36.76 ID:GEHcJLKM(3/4) AAS
言葉の正しさという概念に幅がありうることには同意するが、辞書における「〜に同じ」は、（俗語や文法的には必ずしも正しくない語が含まれうる）見出し語として掲載されているわけではなくて、ある語の語義の説明の中で、他の見出し語の語義を参照する意味で用いられているのだが。
945は、（字面どおりに受け取れば）辞書編纂者による日本語の使い方が誤りだと主張していることになるが、そういう趣旨でいいの？
947: 2025/09/11(木) 11:27:28.53 ID:pKYypdOE(1) AAS
>>946
辞書編纂者が間違った日本語を使うわけがない、ってどこのカルト宗教？
●違いって病識ないってホントだな
948(2): 2025/09/11(木) 11:53:52.66 ID:GEHcJLKM(4/4) AAS
辞書編纂者が間違った日本語を使うことが一切ないとは別に主張してないんだが。
で、辞書でよく見かける「〜に同じ」はすべて文法的には間違いで、それらの辞書の編纂者はその点では間違った日本語を使っている……というのがそちらの最終的な主張内容ということでホントにいいの？ 依怙地になっちゃってない？ 別にスレの主題とは関係のない話なんだから、筆が滑ったということで素直に取り下げてくれればそれでいいのよ？
このままだと「オレ、専門家より日本語文法に詳しいもんね」という貴方は、「オレ、専門家より数学に詳しいもんね」の雑談氏と五十歩百歩の存在ということになってしまうが。
949: 2025/09/11(木) 12:44:30.49 ID:KfYwoBCP(8/11) AAS
>>948
なんだこの●違い 統失か？
950: 2025/09/11(木) 12:46:45.58 ID:KfYwoBCP(9/11) AAS
●違いの特徴
「自分は生まれてから今まで一度も間違ったことがない、と思ってる」
「間違ったら●ぬ、と思ってる」
●ね●ね●ね●ね●ーね●ね（嘲）
951: 死狂幻調教大師S.A.D.@月と六ベンツ 2025/09/11(木) 16:26:54.39 ID:4h3IFZvQ(1/4) AAS
文法かフーン剣や拳の達人。しかし法律家は数学苦手な面あるけど離れ過ぎかもな。
952: 死狂幻調教大師S.A.D.@月と六ベンツ 2025/09/11(木) 16:28:30.46 ID:4h3IFZvQ(2/4) AAS
文法より修辞。法文書も文法も純文学にあまり関係ない。
953: 死狂幻調教大師S.A.D.@月と六ベンツ 2025/09/11(木) 16:30:01.03 ID:4h3IFZvQ(3/4) AAS
文法使いを破壊するのが文学。
954(1): 死狂幻調教大師S.A.D.@月と六ベンツ 2025/09/11(木) 16:32:06.94 ID:4h3IFZvQ(4/4) AAS
詩文や韻でずれてくる表象。
955(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/11(木) 20:58:11.03 ID:RbyHG7kc(4/7) AAS
>>948
>「オレ、専門家より数学に詳しいもんね」の雑談氏と五十歩百歩の存在ということになってしまうが
ありがとね
雑談氏です ；ｐ）
「オレ、専門家より数学に詳しいもんね」ではなく
弘法も筆の誤り・・・に近いかも
つまり、望月先生の 宇宙という用語が 古い用法のまま
私の調べたところでは
基礎論分野で強制法が普及する前とした後で
用語”宇宙”の使い方に 大きな変化が生じた
現代的用法が、>>909 薄葉 季路 (早大理工) 集合論の宇宙 —Universe と Multiverse—
外部ﾘﾝｸ[pdf]:www.mathsoc.jp
です。薄葉 季路氏の用語”宇宙”は、ある公理系によって生成される 集合全体で それは基本はクラスで（クラスの親玉です）
省9
956: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/11(木) 21:00:00.33 ID:RbyHG7kc(5/7) AAS
>>954
死狂幻調教大師S.A.D.@月と六ベンツ さん
いつもありがとうございます。
957(2): 2025/09/11(木) 21:57:26.37 ID:KfYwoBCP(10/11) AAS
>>955
＞薄葉 季路氏の用語”宇宙”は、
＞ある公理系によって生成される 集合全体で
＞基本はクラス（クラスの親玉）
高卒 ◆yH25M02vWFhP は正確な引用もできない
スライドp4「集合の宇宙」
・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す
・Vは集合ではない（つまり、固有クラス）
そして、Ｖとは別にグロタンディーク宇宙（U)がある
（ここ、高卒 ◆yH25M02vWFhP は全然理解せず初歩から間違った）
スライドp8「到達不能基数」
Remark 到達不能基数の存在はグロタンディーク宇宙と同値である
省5
958(1): 2025/09/11(木) 22:05:07.88 ID:KfYwoBCP(11/11) AAS
グロタンディーク宇宙Uが複数存在する場合
U0∈U1∈U2∈・・・
ということになってるが、これは
U∈U
とはもちろん異なる
望月新一はこのことは理解した上で
U0∈U1∈U2∈・・・
から、U∈Uのシミュレーションができると思ってるらしいが
・そんなことが本当に必要なのか？
・そんなことができているのか？
についてはどちらも不明
959: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/11(木) 22:36:22.42 ID:RbyHG7kc(6/7) AAS
>>955
＞「オレ、専門家より数学に詳しいもんね」ではなく
補足しておくと
私 スレ主構文は
下記のパターンが多い
すなわち
・あとの参考文献からのポイントの引用
・そこから 直ちに導かれる結論
(参考文献)
外部ﾘﾝｸ:www・・・
出典 題名 著者 年月日
（要点の抜粋）
１）・・・
２）・・・
３）・・・
省7
960(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/11(木) 23:16:19.24 ID:RbyHG7kc(7/7) AAS
>>957-958
ここは中高一貫校生も来る可能性があるから
赤ペン先生しておくよ
>スライドp4「集合の宇宙」
>・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す
>・Vは集合ではない（つまり、固有クラス）
だから、そこは Von Neumann universe Vの話だよ
(参考)
外部ﾘﾝｸ:en.wikipedia.org
Von Neumann universe
denoted by V, is the class of hereditary well-founded sets.
画像ﾘﾝｸ[png]:upload.wikimedia.org
An initial segment of the von Neumann universe. Ordinal multiplication is reversed from our usual convention; see Ordinal arithmetic.
(引用開始)
スライドp8「到達不能基数」
省29
961: 2025/09/11(木) 23:29:21.87 ID:xVcK8Xqk(3/5) AAS
setaさんよう、嘘ばっか吐くのやめような
集合論の宇宙とグロタンディーク宇宙の違いが
分かってないのはお前だけ
グロタンディークも望月氏も薄葉氏も>>957も俺も
みーんなちゃんと分ってる
集合論の宇宙は集合でない、グロタンディーク宇宙は集合である
お前が引用してる薄葉氏のスライドにもそう書いてあるだろ
962: 2025/09/11(木) 23:30:22.23 ID:xVcK8Xqk(4/5) AAS
で、グロタンディーク宇宙が集合でないって
書いてある文献はあったんかよ
あるわけないよな
お前の妄想にすぎないんだから
963(1): 2025/09/11(木) 23:44:10.68 ID:xVcK8Xqk(5/5) AAS
「圏論を囓った」って嘘じゃないなら何の本を読んだんだか言ってみろよ
964(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/12(金) 07:44:42.74 ID:Drl/lO9b(1/2) AAS
>>963
>「圏論を囓った」って嘘じゃないなら何の本を読んだんだか言ってみろよ
ご963（＝クローサン）か （＾＾
下記のアウディ本
今見ると、飯高先生の書評が・・・
まあ、圏論を理解できたかは あやしいがｗ 一応 ”囓った”＆”嘗めた”■
”私がまだ大学院修士課程の学生の頃、マクレーン教授が東大にきて
圏論の入門講義を行った・・・この講義はよく感動するほどよくわかった”
か・・。アタマの差を感じる ；ｐ）
＜アマゾン＞
圏論 原著第2版 単行本 – 2015/9/19
スティーブ アウディ (著), Steve Awodey (原名), 前原 和寿 (翻訳)
3.8 5つ星のうち3.8 (10) 共立出版 (2015/9/19)
圏論が多分野に普及して30年を経た現在,誰もが読める圏論の本が必要だ――本書はこのモチベーションで執筆された。予備知識がほとんどない読者のために,例として半順序集合と半群がゼロから説明され,最後までそれらを用いて話が展開されている。これらのほかにも例が豊富に取り上げられている。なお,予備知識がほとんど必要ないとはいえ,数学的な厳密性は損なわれていない。すべての重要な命題と定理には完全な証明が付されている。本書は情報科学や論理学など,さまざまな分野へ役立てられるであろう。
書評 イイタカシゲル
省14
965: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/12(金) 07:46:52.59 ID:Drl/lO9b(2/2) AAS
>>964
>その後、圏論の発展は著しく望月教授のａｂｃ予想の証明でも基盤になっている。
ふむふむ （＾＾
966(1): 2025/09/12(金) 07:47:10.12 ID:8+d34ikY(1/7) AAS
>>960
>>スライドp4「集合の宇宙」
>>・集合すべてからなる集まりを（集合論の）宇宙と呼び、Vで表す
>>・Vは集合ではない（つまり、固有クラス）
>だから、そこは Von Neumann universe Vの話だよ
Vが「集合すべてからなる固有クラス」だと認めるね
じゃ、その設定、絶対忘れるなよ
>>スライドp8「到達不能基数」
>>Remark 到達不能基数の存在はグロタンディーク宇宙と同値である
>>・グロタンディーク宇宙Uは、”集合すべてからなる集まり”（＝（集合論の）宇宙）Vではない
>>・グロタンディーク宇宙Uは集合である
>>高卒 ◆yH25M02vWFhP が両者は同じ（つまりV＝U）だと誤解した
>間違っている
高卒 ◆yH25M02vWFhP 貴様一匹がな
>到達可能基数という用語はないが、平たくいえば
省21
967(1): 2025/09/12(金) 07:55:30.41 ID:8+d34ikY(2/7) AAS
>>966のつづき
>まず、Von Neumann universe V は集合ではないとしたが
然り
それはVを「集合の全体からなる集まり」としたから
もし集合だとすると、カントールのパラドックスにより矛盾する
>グロタンディーク宇宙Uとの対比で Uは到達不能基数
>V内は 全て 到達可能基数
>だから V ⊂ U
「V ⊂ U」も君の誤り
966で「V内は 全て 到達可能基数」が誤りだと示した
少なくともグロタンディーク宇宙が存在すると認めるならば
Vの中に到達不能基数が存在することも認めねばならない
省24
968: 2025/09/12(金) 08:01:08.16 ID:8+d34ikY(3/7) AAS
>>967のつづき
さて総括
>それにしても、この
>Von Neumann universe V は集合ではないが
>V ⊂ Uの Uが集合だ
>というのは、相当混乱させられる議論ではあります
混乱するのは間違ってるから（笑）
Vが集合ではなくUが集合だというなら
・U∈V（そしてU ⊂ V）である
・Vの中に到達不能基数が少なくとも１つ存在せねばならない
省17
969: 2025/09/12(金) 08:05:54.33 ID:8+d34ikY(4/7) AAS
>>964
>>「圏論を囓った」って嘘じゃないなら何の本を読んだんだか言ってみろよ
>アウディ本
>圏論を理解できたかは あやしいが 一応 ”囓った”＆”嘗めた”
じゃ、質問
外部ﾘﾝｸ[html]:www.kyoritsu-pub.co.jp
アウディの圏論で
到達不能基数とグロタンディーク宇宙の関係
が記載される章はズバリどこだい？
第８章？
970: 2025/09/12(金) 08:14:08.64 ID:8+d34ikY(5/7) AAS
高卒 ◆yH25M02vWFhP の珍議論は さしずめ
無限公理を設定しない集合論の宇宙VがVωだと決めつけた上で
さらに無限公理による集合ωの存在を認めようとしたため
「Vωは集合でないが、その中の要素でないωは集合だ」
とか狂ったことを平然というようなもの（笑）
ωを集合として認めるなら、
ω∈V、Vω∈V not(Vω=V)
に決まってるだろう（笑）
（※要するに高卒 ◆yH25M02vWFhP は「無限公理を設定しない」を「無限集合は集合でない」と誤読した（笑））
971: 2025/09/12(金) 08:32:50.02 ID:p6ddvfEi(1) AAS
アウディ本は宇宙どころかクラスすら扱ってないよｗｗｗ
そーゆーことはマクレーンを見てねって言われるだけ
setaはグロタンディーク宇宙が集合ってどこで学んだんだよｗｗｗ
972: 2025/09/12(金) 09:52:36.63 ID:IXeoDG1Q(1) AAS
アウディの圏論
973(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/09/12(金) 10:34:44.67 ID:9FLCxawf(1) AAS
>>966-972
長くなるから 下記の次スレでやろう
2chｽﾚ:math
974: 2025/09/12(金) 12:55:41.96 ID:UcLlcTAD(1) AAS
>>973
閲覧注意
このスレはIUT応援と称するIUTカルト
のサティアンスレ。
>1は同値関係.実数論や|・|≠0などの線形代数が理解できずコピペ貼りで誤魔化すインチキが専門、
集合論 圏論 とは無縁！
975: 2025/09/12(金) 18:03:49.32 ID:8+d34ikY(6/7) AAS
>>973
以下の書き込みで完全終了 実に短かい命だったな
御愁傷様
2chｽﾚ:math
976: 2025/09/12(金) 18:10:18.17 ID:8+d34ikY(7/7) AAS
いかなるグロタンディーク宇宙も要素として持たない
最小（？）のグロタンディーク宇宙U0が存在する
そしてグロタンディーク宇宙U0を要素として持つもので
最小（？）のグロタンディーク宇宙U1が存在する
そしてグロタンディーク宇宙U1を要素として持つもので
最小（？）のグロタンディーク宇宙U2が存在する
・・・
この連鎖をすべて包含するような最小（？）の宇宙Vが
いわゆるZFCG(あるいはZFCU)の最小の宇宙かも・・・知らんけど
977: 2025/09/13(土) 06:36:29.83 ID:kEVkV264(1/4) AAS
◆yH25M02vWFhP
グロタンディーク宇宙Ｕは
集合論の宇宙Ｖを包含するが集合だ
と謎の教えを唱えて即、自爆死
グロタンディーク宇宙は
集合論の宇宙Ｖに包含される集合だけど何か？
978(1): 2025/09/13(土) 09:53:33.26 ID:kEVkV264(2/4) AAS
圏論と集合論 渕野昌
外部ﾘﾝｸ[pdf]:fuchino.ddo.jp
上記の文章で述べていること
ZFCにグロタンディーク宇宙の存在もしくはそれと同値だが
到達不能基数の存在の公理を追加すれば
小さい圏のみならず大きい圏についても
拡大された集合論の枠内で議論できる
しかし、このことは数学の基礎づけが集合論ではなく
圏論でできるということではない
むしろ圏論もまた集合論で基礎付けできたと考えられる
渕野昌は冒頭でわざわざこう書いている（要約）
日本では数学を学ぶ際の基礎知識としての「数学の基礎」(basis of mathematics)と
数学がいかなる基礎の上になりたつかを考える「数学の基礎付け」（foundation of mathematics)が
実にしばしば混同されている
この混同の上で「数学の基礎（付け）は集合論ではなくカテゴリー論である」とか
省5
979(1): 2025/09/13(土) 15:59:00.90 ID:j+5wgKsK(1/2) AAS
>>978
圏論のほうが
基底を基礎づけるのには向いとるな。
980: 2025/09/13(土) 16:06:51.52 ID:j+5wgKsK(2/2) AAS
基底の選び方と座標系の選び方は数学的には同一
981: 2025/09/13(土) 16:17:59.42 ID:Y45HIvx6(1) AAS
またドワンゴのデマ番組あったわ
絵文字がああああ
ほんと捏造知恵遅れ
982(1): 2025/09/13(土) 16:25:03.71 ID:kEVkV264(3/4) AAS
>>979 なんか面白そうなので具体的に示してくれる？
983: 2025/09/13(土) 16:28:18.18 ID:kEVkV264(4/4) AAS
>>982
ただ ID:j+5wgKsK の言ってることは、
数学の基礎付けとは無関係だけどね
984: 2025/09/14(日) 12:18:43.80 ID:Yc/ABzJL(1/12) AAS
◆yH25M02vWFhP の口癖
「集合論の時代は終わった ２１世紀は圏論だ」
集合論の初歩も理解できなかったから集合論を恨んでるみたいだが
そのくせ圏論も初歩から全然分かってない 要するにただのハッタリ
985: 2025/09/14(日) 12:20:55.49 ID:Yc/ABzJL(2/12) AAS
◆yH25M02vWFhP の口癖 ２
「一階述語論理の時代は終わった ２１世紀は高階論理」
一階述語論理の∃と∀が理解できなかったから一階述語論理を恨んでるみたいだが
そのくせ「二階」の意味も全然わかってない 自民党の政治家じゃねぇぞ（笑）
986: 2025/09/14(日) 12:22:40.71 ID:Yc/ABzJL(3/12) AAS
◆yH25M02vWFhP の口癖 ３
「有限回の制限の時代は終わった ２１世紀は無限回操作解禁」
数学の証明が理解できないから、トンチンカン発言を平気でほざく
987: 2025/09/14(日) 12:29:04.48 ID:Yc/ABzJL(4/12) AAS
∀ｎ∈Ｎ.Ｐ（ｎ）を証明するのに
自然数をいちいち列挙してＰを満たすかどうか確かめ
全部確かめたからＯＫです、とかいう奴はいない（笑）
988: 2025/09/14(日) 12:33:13.64 ID:Yc/ABzJL(5/12) AAS
数学的帰納法の場合
１．Ｐ（０）を確かめる
２．任意の自然数ｎについて、Ｐ（ｎ）ならばＰ（ｎ＋１）であることを確かめる
となるが、２でも自然数をいちいち列挙して全部確かめたからＯＫです、とかいう奴はいない
実際は以下の通り
２’Ｐ（ｎ）⋀¬Ｐ（ｎ＋１）なる自然数ｎが存在すると前提して矛盾を導く
背理法がいかに大事か分かるだろう
989: 2025/09/14(日) 12:36:04.31 ID:Yc/ABzJL(6/12) AAS
数学を計算術としか認識しないエテ公は
そもそも定理が公理から演繹によって
証明されねばならない必要性が理解できない
だから大学１年の講義の目的が理解できずその結果落第する
数学を学問と理解しないエテ公は大学に入っても無駄
990: 2025/09/14(日) 12:37:43.24 ID:Yc/ABzJL(7/12) AAS
高卒のエテ公が、大学１年の数学でヒトになれるか、エテ公のまま落ちこぼれるか
それが問題だ
991: 2025/09/14(日) 14:07:44.09 ID:eeOkuLT2(1/4) AAS
数学ガーの方へ、
本人 とりまき 数理研が言ってること
IUTは数学ではありません。
トンデモです
992: 2025/09/14(日) 14:10:39.53 ID:eeOkuLT2(2/4) AAS
基礎数学からやりましょう
993(2): 2025/09/14(日) 15:04:21.03 ID:YIFbNDAt(1) AAS
そもそも証明とは何か そこから分かってなさそう
994: 2025/09/14(日) 15:15:52.96 ID:eeOkuLT2(3/4) AAS
IUTTの「緩み」=不定性から
物理の不確定性原理を数学証明しなさい？？
アホ
995: 2025/09/14(日) 15:23:05.34 ID:eeOkuLT2(4/4) AAS
>>993
で？
996: 2025/09/14(日) 15:44:15.15 ID:Yc/ABzJL(8/12) AAS
>>993
◆yH25M02vWFhP が証明を理解していたら
大学１年の一般教養の微分積分と線形代数で落第することはなかったし
５ｃｈの数学板でワケワカランコピペしてドヤる「鳥なき里のコウモリ」？にもならなかった
997: 2025/09/14(日) 15:46:42.76 ID:Yc/ABzJL(9/12) AAS
実際には数学板は数学科卒はもちろん
数学の院を出て数学で博士の学位とって
大学で数学を教えてる匿名さんが沢山いるので
素人が知ったかいうとつつかれまくって
快感で悶死する（笑）
998(1): 2025/09/14(日) 15:50:26.01 ID:Yc/ABzJL(10/12) AAS
◆yH25M02vWFhP ここがダメ
１．述語論理が分からない
具体的には、∀ｘＰ（ｘ）の証明は、すべてのｘを列挙していちいちＰであることを確かめるしかない、とマジで思ってる（笑）
２．無限集合が分からない
具体的には、自然数の全体Ｎの構成は、すべての自然数を構成し、それを｛｝でくくるしかない、とマジで思ってる（笑）
３．実数の公理が分からない
具体的には、実数の構成は、10進小数のすべての桁を示して、各桁の値を全部足すしかない、とマジで思ってる（笑）
んな🐎🦌なこたぁない
999: 2025/09/14(日) 15:53:31.39 ID:Yc/ABzJL(11/12) AAS
要するに、◆yH25M02vWFhPは、中学高校で教える
「サルでもできる式計算」が数学だと思ってる
残念ながらそんなのは数学ではなく”算数”
工業技術の職業訓練では”算数”ができれば使えるらしいがね
1000: 2025/09/14(日) 15:54:02.04 ID:Yc/ABzJL(12/12) AAS
R.I.P. ◆yH25M02vWFhP
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 23日 16時間 55分 39秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。
▼ UPLIFT会員登録はこちら ▼
外部ﾘﾝｸ:uplift.5ch.net
▼ UPLIFTログインはこちら ▼
2ch板:login
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.101s