[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
935: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/11/02(日)19:42 ID:PmfdHnoP(4/9) AAS
ふっふ、ほっほ
1）反例は、一つあれば良い
2）こちらの意図は、ショルツェの立論を潰すこと
3）すなわち、ショルツェのおっさん
望月IUTのラベルは無意味で、ラベルを剥がすと矛盾（「エッシャーの階段」）
だと論じる（下記）
4）しかし、型理論（下記）という反例がある
ラベル→型 と読み替えれば
型理論において、型を無くすと矛盾が起きるという論法では
型理論で矛盾が起きる証明には なっていないｗ ；ｐ）
省12
936(1): 2025/11/02(日)20:42 ID:kHsCJN3F(5/7) AAS
＞ふっふ、ほっほ
＞反例は、一つあれば良い
＞こちらの意図は、ショルツェの立論を潰すこと
正則行列＝正方行列とバカ発言したド素人が
フィールズメダリスト相手に何、イキってんだ？
ギャハハハハハハ！！！
＞望月IUTのラベルは無意味で、ラベルを剥がすと矛盾（「エッシャーの階段」）
＞しかし、型理論という反例がある
＞ラベル→型 と読み替えれば
＞型理論において、型を無くすと矛盾が起きるという論法では
省4
937: 2025/11/02(日)21:45 ID:kHsCJN3F(6/7) AAS
ところで、ABC予想を証明するのに、より強い公理が必要、というならば
それは自然数論ではABC予想は決定不能ということであり、
自然数論のモデルで、ABC予想が成立しないものが存在する
ということである
938(1): 2025/11/02(日)22:27 ID:kHsCJN3F(7/7) AAS
さらにいえば、新たな公理を設定する場合、もっとも重要なことは
その公理を満たすモデルが存在する、ということ
もしそのようなモデルが存在しないならば、任意の命題が証明可能になる
命題が証明可能なのは、その否定命題を満たすモデルが存在しないときであるから
もし、モデルが存在しなければ、任意の命題についてその条件が成り立つ（笑）
939(1): 2025/11/02(日)22:42 ID:EjrCN5bB(1) AAS
>>938 はあ？
グロタンディーク宇宙の公理を満たすモデルが
存在するかなんて分からんけど
グロタンディーク宇宙の公理を仮定することで
abc予想がもし証明できればすごい業績だろ
逆にリーマン予想はどうせ正しいだろうけど
リーマン予想を公理にしてリーマン予想を
証明しても全く無意味だろ
940(1): 2025/11/02(日)22:49 ID:YZ1QTP/b(1/2) AAS
グロータンディークの公理www
話ここまでいろんな資料出てきていろんな人が説明してきて(めちゃくちゃなのもあるけどな)ここへきてまたそんな程度でしか理解できてないとかどうなってるんやwwwwww
941(1): 2025/11/02(日)22:54 ID:9rv+yySW(1/7) AAS
査読者が誰かは公表されないけれど
今回に限っては公表して欲しいね
その上で
査読者に説明を求めたい
942(1): 2025/11/02(日)22:59 ID:9rv+yySW(2/7) AAS
ツカこういう疑義が出ている時
掲載にお墨付きを与えた査読者の責任は重大
自ら査読者であったと公表して弁明すべき
さもなくば
査読者って何でも通す無責任でも咎められないことになる
これは査読システムの根幹そのものを揺るがしかねない
943(1): 2025/11/02(日)23:07 ID:YZ1QTP/b(2/2) AAS
まぁ査読者の責任はしょうがないところはないでもない。基本査読はボランティア。でもなんか不祥事起こったら責任とってねだと誰もやらん。ましてや私査読しました。私にも名誉下さいが通用するならともかく、査読者はお金ももらえず、その作業したのに論文完成の功労者として名が残ることもなく、なのになんかあったら責任とってねではもなや誰もやらん。
だから「査読に関わる責任は全部編集部でとる、査読者には一切責任が及ばないようにする」というならそれはそれで一理ある態度だからそこはしゃあない。
問題はそこじゃなく、だったらちゃんと編集部が今回の騒動のけじめをしっかりとるべきなのに関係者全員「無かったことに」して責任回避しようとしてるところ。どうしようもない。
名門京都大学の名を冠してくるくせにこんな無責任な奴らが編集者してるとかあり得へんやろ。
944(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/11/02(日)23:07 ID:PmfdHnoP(5/9) AAS
>>939
>グロタンディーク宇宙の公理を満たすモデルが
>存在するかなんて分からんけど
>グロタンディーク宇宙の公理を仮定することで
>abc予想がもし証明できればすごい業績だろ
>逆にリーマン予想はどうせ正しいだろうけど
1）グロタンディーク宇宙の話は、下記の
数学セミナー 2025年3月号 池上大祐
「フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数」
省16
945(1): 2025/11/02(日)23:13 ID:9rv+yySW(3/7) AAS
>>944
>谷山-志村にはグロタンディークの代数幾何の理論が必要
それホント？眉唾
946(1): 2025/11/02(日)23:16 ID:9rv+yySW(4/7) AAS
>>944
>グロタンディーク宇宙（それは圏論の一部）
圏論にはグロタン宇宙は不要よ
クラス概念があるからZFCというよりはBGかもしれんが
ZFCGではない
947(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/11/02(日)23:17 ID:PmfdHnoP(6/9) AAS
>>940-943
ふっふ、ほっほ
笑えるな
町のヒキコモリ数学者の基礎論くんか
あほらし
1）グロタンディーク宇宙の公理は、>>944
数学セミナー 2025年3月号 池上大祐
「フェルマーの最終定理はZFCの下で証明できるか？／
グロタンディーク宇宙と到達不可能基数」
をご参照
省9
948(1): 2025/11/02(日)23:17 ID:9rv+yySW(5/7) AAS
でもG使われているとしたら
それ明言して欲しいね＞代数幾何
949(1): 2025/11/02(日)23:18 ID:9rv+yySW(6/7) AAS
>>947
しおもな
ちゃんと理解してから書いて欲しいね
950: 2025/11/02(日)23:20 ID:9rv+yySW(7/7) AAS
まあG使って理論構築してたとしても
¬G使って同じ結論を得られれば
結局はGは不要ってことになるけど
951: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/11/02(日)23:29 ID:PmfdHnoP(7/9) AAS
>>945
>>谷山-志村にはグロタンディークの代数幾何の理論が必要
>それホント？眉唾
そう言われてもね
池上大祐氏>>944の受け売りだからな ；ｐ）
池上大祐氏にお手紙書くか
身近な フェルマーの最終定理に詳しい数学者に聞いておくれ
ひょっとして
「グロタンディーク宇宙と到達不可能基数は不要」が証明できたら
論文になるかもね
省5
952(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/11/02(日)23:34 ID:PmfdHnoP(8/9) AAS
>>948
まず、池上大祐氏>>944を読んでおくれ
それと、IUTでは望月氏は グロタンディーク宇宙の使用を宣言しているよ
>>949
しおもな
ちゃんと池上大祐氏>>944を 読んでから 書いて欲しいね
数学の専門的な質問の回答は、君の知り合いの大学教授に頼みなよ
その結果を、ここに書いてちょ （＾＾
953(1): 2025/11/02(日)23:47 ID:PdOpFRcN(4/5) AAS
>>952
理解もせず紹介するのに
紹介した内容を元に他人を罵倒するから
しおもなと言われてるんですよ
954(1): 2025/11/02(日)23:49 ID:PdOpFRcN(5/5) AAS
他人を権威に見立ててそれを笠に着る態度ですね
権威を知っている（ホントに？）自慢だらけです
上下前次1-新書関写板覧索設栞歴
あと 48 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.402s*