未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います。
Interuniversal geometry とABC 予想61
1132人目の素数さん
2026/07/12(日) 21:44:34.29ID:c76i8A5Q582132人目の素数さん
2026/07/27(月) 22:34:29.15ID:VZgVrzSY ID:sNl1ohvM
妄想入ってんなこいつw
妄想で他人様に因縁付けてケツまくり
どこのババアだよ
妄想入ってんなこいつw
妄想で他人様に因縁付けてケツまくり
どこのババアだよ
583132人目の素数さん
2026/07/27(月) 22:48:04.47ID:sNl1ohvM >>582
強く言って1人で盛り上がったって何にもならないよ
強く言って1人で盛り上がったって何にもならないよ
584132人目の素数さん
2026/07/27(月) 22:48:52.18ID:sNl1ohvM >>582
何をどうしたいのかはっきり言わないと
何をどうしたいのかはっきり言わないと
585132人目の素数さん
2026/07/27(月) 23:14:46.62ID:NNMZFXzh586132人目の素数さん
2026/07/27(月) 23:40:12.55ID:sNl1ohvM >>585
結局、宇宙際について望月さんはどういう状況なのかな
結局、宇宙際について望月さんはどういう状況なのかな
587132人目の素数さん
2026/07/27(月) 23:47:44.25ID:NNMZFXzh >>586
RIMSに突撃
RIMSに突撃
588132人目の素数さん
2026/07/27(月) 23:59:42.78ID:VZgVrzSY589132人目の素数さん
2026/07/28(火) 01:40:03.84ID:fmi3t1O5 IUTなんかよりパーフェクトイド幾何をやるべき
590132人目の素数さん
2026/07/28(火) 06:43:32.66ID:3Y4+2uQh591132人目の素数さん
2026/07/28(火) 08:07:55.07ID:J9TdLLcq592132人目の素数さん
2026/07/28(火) 08:16:39.90ID:47vQ7pmt 証明できない命題を自明と言ってしまったのだから
責任は取ってもらわないとね
責任は取ってもらわないとね
593132人目の素数さん
2026/07/28(火) 08:18:11.13ID:J9TdLLcq594132人目の素数さん
2026/07/28(火) 08:32:24.81ID:6pB69KZ4 そう
確かに内容もないのに口の悪い攻撃的な人がおる
報道のせいで引き寄せられたんちゃう
確かに内容もないのに口の悪い攻撃的な人がおる
報道のせいで引き寄せられたんちゃう
595132人目の素数さん
2026/07/28(火) 09:18:59.21ID:zrAr/BQO >>589
そのとおりだね。
2018年の4者ミーティングでabcの証明
のポイントが望月新一語のIUT語で
数学のアイデアがない、革命的な凝縮集合へつながる知見もなかったのだろう。
パーフェクトイドと凝縮数学より
革命的な結果になっている。
だからleanの形式化で補強したのだろう
そのとおりだね。
2018年の4者ミーティングでabcの証明
のポイントが望月新一語のIUT語で
数学のアイデアがない、革命的な凝縮集合へつながる知見もなかったのだろう。
パーフェクトイドと凝縮数学より
革命的な結果になっている。
だからleanの形式化で補強したのだろう
596132人目の素数さん
2026/07/28(火) 09:23:17.81ID:xkDIbBjR >>595
日本語が書けないニホンザル?
日本語が書けないニホンザル?
597132人目の素数さん
2026/07/28(火) 09:32:12.73ID:zrAr/BQO >>596
事実だよ
事実だよ
598132人目の素数さん
2026/07/28(火) 09:35:45.91ID:dTn4Sch/599132人目の素数さん
2026/07/28(火) 09:43:31.55ID:zrAr/BQO600132人目の素数さん
2026/07/28(火) 09:47:32.56ID:zrAr/BQO601132人目の素数さん
2026/07/28(火) 09:47:52.43ID:dTn4Sch/602132人目の素数さん
2026/07/28(火) 10:00:40.90ID:zrAr/BQO603132人目の素数さん
2026/07/28(火) 10:55:04.29ID:3yi27Rrd ID:zrAr/BQO
日本語書けないなら日本の掲示板に書くな
日本語書けないなら日本の掲示板に書くな
604132人目の素数さん
2026/07/28(火) 11:44:08.32ID:fmi3t1O5 「パーフェクトイド+凝縮数学=プリズム幾何」?
605132人目の素数さん
2026/07/28(火) 11:48:25.27ID:zrAr/BQO606132人目の素数さん
2026/07/28(火) 12:19:46.48ID:OViHKrli ABC予想を数学で証明しなきゃいけない理由あるの?
望月さんは独自のSFで証明したのになんで認めてくれないの?
それって数学を信じるかSFを良しとするかの流派の違いってだけだよね?
望月さんは独自のSFで証明したのになんで認めてくれないの?
それって数学を信じるかSFを良しとするかの流派の違いってだけだよね?
607132人目の素数さん
2026/07/28(火) 12:22:01.45ID:vnZMvZgk >>593
ゲス婆
ゲス婆
608132人目の素数さん
2026/07/28(火) 12:22:05.40ID:W5E/+Q+m もしかして
パーフェクトイド+凝縮数学 は パーフェクトイド のみ より革命的
とかいう中卒でも書ける大馬鹿文?
パーフェクトイド+凝縮数学 は パーフェクトイド のみ より革命的
とかいう中卒でも書ける大馬鹿文?
609132人目の素数さん
2026/07/28(火) 12:33:58.11ID:4cSQ3wXW 望月先生は真面目にSF作家の才能があると思う
IUT理論なんかまさにSF大作としての書き方をしてる
IUT理論なんかまさにSF大作としての書き方をしてる
610132人目の素数さん
2026/07/28(火) 12:37:40.87ID:vnZMvZgk >>599
>凝縮数学
て何かと思って検索したら
位相空間の定義を変えて
ていうか位相空間の代わりのとてもよい?扱いやすい?
凝縮集合というものを考えることで
位相空間論を代数幾何で扱いやすいものにする試み
てものかな?
>凝縮数学
て何かと思って検索したら
位相空間の定義を変えて
ていうか位相空間の代わりのとてもよい?扱いやすい?
凝縮集合というものを考えることで
位相空間論を代数幾何で扱いやすいものにする試み
てものかな?
611132人目の素数さん
2026/07/28(火) 13:31:20.74ID:fmi3t1O5 「位相空間という大雑把でガサツな道具では
数論幾何の複雑な世界を十分に解析できないので
位相空間論に代わる別のものを用いましょう」
といったような感じなのかな?
グロタンディークが古典的な空間の代わりに
「トポス」で考えようとしたのに似ている?
数論幾何の複雑な世界を十分に解析できないので
位相空間論に代わる別のものを用いましょう」
といったような感じなのかな?
グロタンディークが古典的な空間の代わりに
「トポス」で考えようとしたのに似ている?
612132人目の素数さん
2026/07/28(火) 13:39:13.39ID:zrAr/BQO613132人目の素数さん
2026/07/28(火) 14:23:20.79ID:fmi3t1O5 なるほど、バーウィックたちによる「ピクノティック集合」
なるものがあって、これのほうがトポスに近いものなのだね
なるものがあって、これのほうがトポスに近いものなのだね
614132人目の素数さん
2026/07/28(火) 17:13:38.92ID:fmi3t1O5 たぶん「凝縮数学」や「ピクノティック数学」を
統合するような絶対的「トポス数学」が存在して
グロタンディークが夢見たように、さまざまな
コホモロジー理論の背後に「モチーフ」の存在
があるのに類似している状況とみなせるのかも
統合するような絶対的「トポス数学」が存在して
グロタンディークが夢見たように、さまざまな
コホモロジー理論の背後に「モチーフ」の存在
があるのに類似している状況とみなせるのかも
615132人目の素数さん
2026/07/28(火) 17:25:57.27ID:vnZMvZgk616132人目の素数さん
2026/07/28(火) 17:34:20.02ID:zrAr/BQO617132人目の素数さん
2026/07/28(火) 18:11:49.41ID:vnZMvZgk >>616
なかなかハードそう?
まず
profinite set
とは
有限集合に離散位相入れたもののinverse limitとして表せる位相空間?(ウィキペディア調べ)
ここは位相を使ってるようだけどそれはいいの?
で
その全射の有限列を考えてそれを
一点のpro-etale site(*proet)と呼ぶの?
ここで書かれてるcoverとは何だろ?
んで
凝縮集合とはこの*proet上の集合の層(直訳)とのことだけど
サッパリ分からん
なかなかハードそう?
まず
profinite set
とは
有限集合に離散位相入れたもののinverse limitとして表せる位相空間?(ウィキペディア調べ)
ここは位相を使ってるようだけどそれはいいの?
で
その全射の有限列を考えてそれを
一点のpro-etale site(*proet)と呼ぶの?
ここで書かれてるcoverとは何だろ?
んで
凝縮集合とはこの*proet上の集合の層(直訳)とのことだけど
サッパリ分からん
618132人目の素数さん
2026/07/28(火) 19:54:48.72ID:C8RCRsQf 初心者ベテラン取り混ぜて巻き込み出して面白い
619132人目の素数さん
2026/07/28(火) 20:25:49.94ID:0k5Ian/E620132人目の素数さん
2026/07/28(火) 22:36:18.97ID:0k5Ian/E >>619
位相幾何学スレに振ってみたがどうかな
位相幾何学スレに振ってみたがどうかな
621132人目の素数さん
2026/07/28(火) 23:39:16.25ID:zrAr/BQO おつかれ
622132人目の素数さん
2026/07/29(水) 05:16:28.19ID:Yw53gzRc623132人目の素数さん
2026/07/29(水) 05:30:32.68ID:l7bQpbX+ 幾何学的に数論考えたいのに位相入れなくてどうすんだよ
問題はどういう構造の位相を入れるかだ
問題はどういう構造の位相を入れるかだ
624132人目の素数さん
2026/07/29(水) 09:16:30.25ID:K7U+oE74 ID:sNl1ohvM
朝鮮人おばさんの主張w
とにかく被害者ぶってクソ漏らすだけ
内容ゼロ
単に因縁つけてケツまくり
IUT仕草そのもの
朝鮮人おばさんの主張w
とにかく被害者ぶってクソ漏らすだけ
内容ゼロ
単に因縁つけてケツまくり
IUT仕草そのもの
625132人目の素数さん
2026/07/29(水) 09:21:28.77ID:K7U+oE74 IUTとシャーマン体質の精神分裂スピ系朝鮮人は相性がいい
626132人目の素数さん
2026/07/29(水) 09:22:04.91ID:HgNjZaJ1 >>623
zariski位相以外になんかあるの?
zariski位相以外になんかあるの?
627132人目の素数さん
2026/07/29(水) 11:19:47.96ID:1shV38D4628132人目の素数さん
2026/07/29(水) 19:01:32.30ID:aPJVZOnb 凝集数学は通常の位相の代わりに凝集位相を考える
通常の位相では不連続でも凝集位相では連続になる
通常の位相では不連続でも凝集位相では連続になる
629132人目の素数さん
2026/07/29(水) 19:06:23.69ID:1shV38D4630132人目の素数さん
2026/07/29(水) 19:53:21.27ID:ix7Khf9c631132人目の素数さん
2026/07/29(水) 20:03:55.71ID:aPJVZOnb 凝縮位相にこだわる必要もないのかも
似たような別物で考えてもいいんだけど
ショルツたちはまだそこまで到達していない
似たような別物で考えてもいいんだけど
ショルツたちはまだそこまで到達していない
632132人目の素数さん
2026/07/29(水) 21:15:05.57ID:K7U+oE74 常温核融合おじさん並みに頭悪いIUT擁護派が出たかw
凝縮w
知らねー単語持ってくりゃ何とかなると思うなよ朝鮮人
凝縮w
知らねー単語持ってくりゃ何とかなると思うなよ朝鮮人
633132人目の素数さん
2026/07/29(水) 22:04:16.80ID:IexFOTIf (こういう分かりやすい馬鹿は無視できるから楽だな)
634132人目の素数さん
2026/07/30(木) 00:06:17.53ID:RwAHr5Hk >>633
反論できねーIUT低学歴在日w
反論できねーIUT低学歴在日w
635132人目の素数さん
2026/07/30(木) 02:56:04.48ID:hqJQ+GJr 結局ショルツが正しかったけど川上から賞金贈呈されるのかな?
636132人目の素数さん
2026/07/30(木) 05:26:10.48ID:RwAHr5Hk637132人目の素数さん
2026/07/30(木) 07:42:09.41ID:uNc7Im8W >>606
川上量生企画望月新一監修加藤文元著IUT本やIUGCの動画によれば、IUTTは数学でなく望月新一独自の言葉IUT語によるSFです。
望月新一流SFが数学や物理と分離されていれば問題ありません。
ただし望月新一流SFによるabc予想の証明は完全だろうが、
数学から見るとギャップがあり間違ってすらいない。
実際はabc予想は数学の予想だから数学の証明が求められているのに数学の証明へ望月新一独自のIUT語のIUTTを用いている点だ。
zen大学のLANAもこの点を意図的にに無視した茶番劇fake
だろう
川上量生企画望月新一監修加藤文元著IUT本やIUGCの動画によれば、IUTTは数学でなく望月新一独自の言葉IUT語によるSFです。
望月新一流SFが数学や物理と分離されていれば問題ありません。
ただし望月新一流SFによるabc予想の証明は完全だろうが、
数学から見るとギャップがあり間違ってすらいない。
実際はabc予想は数学の予想だから数学の証明が求められているのに数学の証明へ望月新一独自のIUT語のIUTTを用いている点だ。
zen大学のLANAもこの点を意図的にに無視した茶番劇fake
だろう
638132人目の素数さん
2026/07/30(木) 08:43:15.56ID:SjwwjxnB パーフェクトイド空間、ダイヤモンド空間、凝縮数学、プリズマティック・コホモロジー、局所ラングランズ対応の幾何化
639132人目の素数さん
2026/07/30(木) 11:12:52.92ID:RwAHr5Hk 「多かれ少なかれギャップはある」
根幹で致命的なギャップあるの隠してるおじさんww
IUT仕草w
根幹で致命的なギャップあるの隠してるおじさんww
IUT仕草w
640132人目の素数さん
2026/07/30(木) 14:36:29.26ID:RwAHr5Hk IUTはなあ
顔面の皮を謎手術で引っ張っても
取り繕うのは無理w
顔面の皮を謎手術で引っ張っても
取り繕うのは無理w
641132人目の素数さん
2026/07/30(木) 15:32:44.58ID:rHHid12g SF板行けよ
642132人目の素数さん
2026/07/30(木) 18:12:53.73ID:uNc7Im8W 「世界で2番目のIUT理論研究拠点
IUGC (後に突然ZMCへ改称)を設立」の動画
⚫︎加藤文元所長.
IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。
⚫︎アナウス.
abc予想を解決したIUT理論。
https://m.youtube.com/watch?v=8vLQIAgFapk&ra=m
IUGC (後に突然ZMCへ改称)を設立」の動画
⚫︎加藤文元所長.
IUT理論と現行数学との違いを完全に言語化する新しい数学の言語体系を早急に作らねばならない。
⚫︎アナウス.
abc予想を解決したIUT理論。
https://m.youtube.com/watch?v=8vLQIAgFapk&ra=m
643132人目の素数さん
2026/07/30(木) 18:14:57.07ID:uNc7Im8W >>642
続き
・質問1.
加藤文元発言とアナウスは原因と結果の因果律が矛盾しループしてる、相対論と矛盾してる。
それとも始めから結論が「abc予想を解決したIUT理論」と
決まっていた?
・質問2
>IUT理論と現行数学との違い
特に定理3.11→系3.12ですね?
望月新一監修加藤文元著IUT本では、
・本文 P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました。
・本文 IUT語 p51
>IUT理論は、一般的な数学の パラダイムの枠内では語れない、 全く新しいフレームワークと言語・ 概念体系を基盤として構築されている
質問3
望月新一著IUT論文は数学に基づくabc予想の証明がない。
LANAのメンバーかつ京大RIMS准教授の星裕一郎はscholze stix望月星の4人ミーティングに出席したのに、なぜLANA発表の記者会見は毎回欠席するのか?
IUTは数学版のSTAPと思われてもしかたないのでは
続き
・質問1.
加藤文元発言とアナウスは原因と結果の因果律が矛盾しループしてる、相対論と矛盾してる。
それとも始めから結論が「abc予想を解決したIUT理論」と
決まっていた?
・質問2
>IUT理論と現行数学との違い
特に定理3.11→系3.12ですね?
望月新一監修加藤文元著IUT本では、
・本文 P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも 話したことがない、新しい言語を 用いて理論を組み立てました。
・本文 IUT語 p51
>IUT理論は、一般的な数学の パラダイムの枠内では語れない、 全く新しいフレームワークと言語・ 概念体系を基盤として構築されている
質問3
望月新一著IUT論文は数学に基づくabc予想の証明がない。
LANAのメンバーかつ京大RIMS准教授の星裕一郎はscholze stix望月星の4人ミーティングに出席したのに、なぜLANA発表の記者会見は毎回欠席するのか?
IUTは数学版のSTAPと思われてもしかたないのでは
644132人目の素数さん
2026/07/30(木) 18:59:18.67ID:9qqxShcG leanにはバグがあってそのバグからコラッツ予想を証明した
これを見るに形式化がまだ出来ていないことは確定
これを見るに形式化がまだ出来ていないことは確定
645132人目の素数さん
2026/07/30(木) 20:10:36.11ID:lVlULgkz LANAが遠アーベルの形式化をやっているのって、もしかして
IUTさらには『関手的アルゴリズム』や『species/mutations』が
数学じゃないってみんなに言われちゃったとき、
遠アーベル幾何学全体が巻き添え食らわないよう、
「ここまでは間違いなく数学です」ってゆえる
【清潔区域】を確保するため?
IUTさらには『関手的アルゴリズム』や『species/mutations』が
数学じゃないってみんなに言われちゃったとき、
遠アーベル幾何学全体が巻き添え食らわないよう、
「ここまでは間違いなく数学です」ってゆえる
【清潔区域】を確保するため?
646132人目の素数さん
2026/07/30(木) 20:17:45.00ID:MrQ7JVpH 遠アーベル幾何自体はIUTの成否に係わらず分野としては成立しているだろう
何だか変なモーチベーションだなとは思ったけど
ただたしかに
おかしな内容が入っていないことを担保しておいた方が何かと都合がよろしいということかな
何だか変なモーチベーションだなとは思ったけど
ただたしかに
おかしな内容が入っていないことを担保しておいた方が何かと都合がよろしいということかな
647132人目の素数さん
2026/07/30(木) 20:39:23.41ID:lVlULgkz そうね、遠アーベル幾何自体はいいんじゃない
問題は望月流の単遠アーベル幾何よね
ブログより引用
>宇宙際タイヒミューラー理論の場合、最も基本的な用語・概念は間違いな
>く、「関手的アルゴリズム」(=「functorial algorithm」)ということ
>になります。この用語ないしは概念は、本当は、宇宙際タイヒミューラー
>理論だけでなく、数理研において1990年代半ばから盛んになっている流儀
>の遠アーベル幾何全般において、非常に基本的な立ち位置にあるものです。
>この「関手的アルゴリズム」という概念は、宇宙際タイヒミューラー理論
>の原論文4編の第4論文[IUTchIV]の§3で解説している「species/mutations」
>という概念によって定式化されており、つまり、理論の形式化を進める上
>においても、まずしっかり押さえておきたいのは、「species/mutations」
>の形式化ということになります。
問題は望月流の単遠アーベル幾何よね
ブログより引用
>宇宙際タイヒミューラー理論の場合、最も基本的な用語・概念は間違いな
>く、「関手的アルゴリズム」(=「functorial algorithm」)ということ
>になります。この用語ないしは概念は、本当は、宇宙際タイヒミューラー
>理論だけでなく、数理研において1990年代半ばから盛んになっている流儀
>の遠アーベル幾何全般において、非常に基本的な立ち位置にあるものです。
>この「関手的アルゴリズム」という概念は、宇宙際タイヒミューラー理論
>の原論文4編の第4論文[IUTchIV]の§3で解説している「species/mutations」
>という概念によって定式化されており、つまり、理論の形式化を進める上
>においても、まずしっかり押さえておきたいのは、「species/mutations」
>の形式化ということになります。
648132人目の素数さん
2026/07/30(木) 20:43:35.76ID:kg3CqsX2 遠アーベル幾何も関係者が尊大で偉そうにしてるだけで
まともなモチベーションもないグロタンディークの名声頼りの人造数学って玉川の講演でバレちゃった感じだな
まあそれ自体は否定するわけでもないけど
数理研のポジションたくさん食い潰す価値がある数学でないことも明らか
まともなモチベーションもないグロタンディークの名声頼りの人造数学って玉川の講演でバレちゃった感じだな
まあそれ自体は否定するわけでもないけど
数理研のポジションたくさん食い潰す価値がある数学でないことも明らか
649132人目の素数さん
2026/07/30(木) 20:56:01.76ID:lVlULgkz つまり、IUTは数学じゃないってゆうのが大勢の意見なわけだけど、
望月氏がそれを認めてどこで間違ってたのかはっきりさせなかったら、
「一体いつから──数学だと錯覚していた?」
って話になると思うの
だいたい1990年代半ばから盛んにやってるはずのものなのに
[IUTchIV]で形式化ってわけわかんない
望月氏がそれを認めてどこで間違ってたのかはっきりさせなかったら、
「一体いつから──数学だと錯覚していた?」
って話になると思うの
だいたい1990年代半ばから盛んにやってるはずのものなのに
[IUTchIV]で形式化ってわけわかんない
650132人目の素数さん
2026/07/30(木) 21:22:49.10ID:kg3CqsX2 自分のキャリアのほとんどが無意味で有害な欠陥品のうんこ製造機だったってことになるから
まあ尊師も引くに引けないんだよね
敵作りまくってルビコン川を渡ってしまったからな
まあ尊師も引くに引けないんだよね
敵作りまくってルビコン川を渡ってしまったからな
651132人目の素数さん
2026/07/30(木) 22:59:12.94ID:BU4a6n1/ あんな意味のわからん誹謗中傷、逆ギレしてなけりゃ
すまんかったで済んだ話なのにね
すまんかったで済んだ話なのにね
652132人目の素数さん
2026/07/30(木) 23:12:29.79ID:RwAHr5Hk >>651
誹謗中傷はIUT側からしか出てきてないが?
誹謗中傷はIUT側からしか出てきてないが?
653132人目の素数さん
2026/07/31(金) 09:52:35.03ID:OfhfHjkl コミュニケーション(失笑)の具体例出せないIUT擁護派www
654132人目の素数さん
2026/07/31(金) 09:53:33.78ID:OfhfHjkl じゃあ日記形式で我慢してやるから出せよ
コミュニケーションしてんだろ?
してねーのにフカしてねーだろうな
zen大学www
コミュニケーションしてんだろ?
してねーのにフカしてねーだろうな
zen大学www
655132人目の素数さん
2026/07/31(金) 10:13:48.44ID:r/hcKBTn コミュニケーションツールだのライブラリの整備だの
要するにIUTで何の成果も出せないことのゴマカシじゃん
がんばりました。何の成果も出せませんでした。じゃかっこ付かんけんね
要するにIUTで何の成果も出せないことのゴマカシじゃん
がんばりました。何の成果も出せませんでした。じゃかっこ付かんけんね
656132人目の素数さん
2026/07/31(金) 12:40:32.57ID:OfhfHjkl ニコニコ、有料会員が8月から再値上げ 月額790円→990円に😲 [861717324]
https://greta.5ch.io/test/read.cgi/poverty/1785385818/
https://greta.5ch.io/test/read.cgi/poverty/1785385818/
657132人目の素数さん
2026/07/31(金) 13:25:16.81ID:zXrbsCk7 >>644
その通りですね。
AIとlean4の数学証明支援系はハッキングに脆弱でした
➖
コラッツ予想の偽証明.
・AI(LLM)がlean4の証明支援系
の核心部で、プログラミング言語などが「安全である・正しい」と保証している性質(健全性)の誤り不具合(バグ)を発見し健全性のチェックを通過した。
このバクを利用して偽から証明
作成すればなんでもありの
偽証明になる。
その通りですね。
AIとlean4の数学証明支援系はハッキングに脆弱でした
➖
コラッツ予想の偽証明.
・AI(LLM)がlean4の証明支援系
の核心部で、プログラミング言語などが「安全である・正しい」と保証している性質(健全性)の誤り不具合(バグ)を発見し健全性のチェックを通過した。
このバクを利用して偽から証明
作成すればなんでもありの
偽証明になる。
658132人目の素数さん
2026/07/31(金) 13:28:03.78ID:zXrbsCk7659132人目の素数さん
2026/07/31(金) 13:59:50.31ID:OfhfHjkl660132人目の素数さん
2026/07/31(金) 14:03:15.18ID:OfhfHjkl 「IUT理論は定理3.11までは誰も文句は言っていないらしいね。そこまでは大きな成果を誇れるらしい。」
👆
大嘘
「ちなみにIUT理論批判者は3.12に矛盾があるかどうは示してはいないらしいね。」
👆
大嘘
「かといって反例などで間違いを示せてもいないらしい。」
👆
大嘘
ワラタ
👆
大嘘
「ちなみにIUT理論批判者は3.12に矛盾があるかどうは示してはいないらしいね。」
👆
大嘘
「かといって反例などで間違いを示せてもいないらしい。」
👆
大嘘
ワラタ
661132人目の素数さん
2026/07/31(金) 14:05:58.75ID:zXrbsCk7 >>643 の質問1はどうですか?
662132人目の素数さん
2026/07/31(金) 21:59:55.60ID:qyXYZ02W >>660
てっぺんはともかく下の二つは大嘘じゃにゃあでそ
「証明がない」という事実を無視した論点そらしにゃだけ
証明責任がどこにあるかも無視しちょる
実際「3.12=望月の不等式」に反例があったら大したもんでそ
てっぺんはともかく下の二つは大嘘じゃにゃあでそ
「証明がない」という事実を無視した論点そらしにゃだけ
証明責任がどこにあるかも無視しちょる
実際「3.12=望月の不等式」に反例があったら大したもんでそ
663132人目の素数さん
2026/07/31(金) 22:02:35.99ID:qyXYZ02W もちろん「望月の不等式(予想)」って意味ぞな
664132人目の素数さん
2026/07/31(金) 23:25:32.84ID:jpxU4lR4 そもそも概念自体が形式化できてないんだから反例のだしようもない
数学の議論が始められる状態ですらない
数学の議論が始められる状態ですらない
665132人目の素数さん
2026/08/01(土) 01:30:23.41ID:zg7JijSf >>662
ショルツにいきなり反例出されてんのにw
ショルツにいきなり反例出されてんのにw
666132人目の素数さん
2026/08/01(土) 06:04:03.51ID:yBdpKCKL667132人目の素数さん
2026/08/01(土) 08:14:45.10ID:rY0RPFYB >>665
ちがうよ。ショルツいわく「ここの概念に辻褄をあわせようとするとこっちに話が合わない。だまし絵のような話」という状態だという。彼があげたのは辻褄あわない実例のひとつ。もしかしたら彼の指摘をかわしてそこの辻褄あわせるのは不可能ではないのかもしれないけど、それだとまた辻褄あわないところがでてくる。
現状そういう「反例出すことすら無理な状態」ということすら信者にはわからない
ちがうよ。ショルツいわく「ここの概念に辻褄をあわせようとするとこっちに話が合わない。だまし絵のような話」という状態だという。彼があげたのは辻褄あわない実例のひとつ。もしかしたら彼の指摘をかわしてそこの辻褄あわせるのは不可能ではないのかもしれないけど、それだとまた辻褄あわないところがでてくる。
現状そういう「反例出すことすら無理な状態」ということすら信者にはわからない
668132人目の素数さん
2026/08/01(土) 13:03:14.32ID:Ydz88/4E ss論文は望月の反論やLANA中間報告書の反論で
無意味って考えてる人いるみたいだけど
学術的なリアクションがどうだったかはここ見りゃ分かるよ
https://www.semanticscholar.org/paper/Why-abc-is-still-a-conjecture-Scholze/0253b621d24779fad66e6c24312138bcc509f9da
無意味って考えてる人いるみたいだけど
学術的なリアクションがどうだったかはここ見りゃ分かるよ
https://www.semanticscholar.org/paper/Why-abc-is-still-a-conjecture-Scholze/0253b621d24779fad66e6c24312138bcc509f9da
669132人目の素数さん
2026/08/01(土) 15:03:40.60ID:BIPVTn2/670132人目の素数さん
2026/08/01(土) 15:20:22.80ID:+iDsszXh671132人目の素数さん
2026/08/01(土) 16:19:19.30ID:qWBa4GHN 証明できない主張を自明だと宣う奴は数学者ではない
そんな論文をアクセプトした奴らも数学者ではない
そんな論文をアクセプトした奴らも数学者ではない
672132人目の素数さん
2026/08/01(土) 17:29:41.04ID:NvwdPbqu まぁ流石に最終報告する時にはどんな解釈のもとどんなコード組んで検証したのか発表するんだろうけどな
一年目度だっけ?
それでなんかぐちゃぐちゃ言い訳してそっ閉じするんやろな
一年目度だっけ?
それでなんかぐちゃぐちゃ言い訳してそっ閉じするんやろな
673132人目の素数さん
2026/08/01(土) 17:42:04.78ID:zg7JijSf >>670
まさかだけど
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX
これ読んでない(読めない)IUT擁護派低学歴在日朝鮮人がいきがってるとは、、、、
まさかだけど
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX
これ読んでない(読めない)IUT擁護派低学歴在日朝鮮人がいきがってるとは、、、、
674132人目の素数さん
2026/08/01(土) 17:42:28.61ID:zg7JijSf >>671
っていうか犯罪者だよな
っていうか犯罪者だよな
675132人目の素数さん
2026/08/01(土) 17:55:01.39ID:zg7JijSf ・Scholze-Stix(2018)は
「この図式を具体的に追うと、pilot objectのconcrete normalizationを入れると矛盾(または平凡化)する」
と具体的な反例・計算の道筋を示した。
・望月側は「それは単純化の誤り」と返すが、その「誤り」を避けた具体的な計算例・修正図式を第三者に見せられていない。
・Taylor Dupuyや一部のセミナー、Kirti Joshiの試みでも、
「ここで定義が曖昧で進められない」「Θ-pilotの扱いが追えない」
で詰まる報告が繰り返されている(2025年以降も進展報告なし)。
・2026年現在も
「具体的な楕円曲線(例:y² = x³ - x + 1 とか)で、Hodge theaterを1つ構築→Θ-link→log-link→不等式の数値評価」
のような最小限のtoy exampleすら公開・検証されたものがない。
「この図式を具体的に追うと、pilot objectのconcrete normalizationを入れると矛盾(または平凡化)する」
と具体的な反例・計算の道筋を示した。
・望月側は「それは単純化の誤り」と返すが、その「誤り」を避けた具体的な計算例・修正図式を第三者に見せられていない。
・Taylor Dupuyや一部のセミナー、Kirti Joshiの試みでも、
「ここで定義が曖昧で進められない」「Θ-pilotの扱いが追えない」
で詰まる報告が繰り返されている(2025年以降も進展報告なし)。
・2026年現在も
「具体的な楕円曲線(例:y² = x³ - x + 1 とか)で、Hodge theaterを1つ構築→Θ-link→log-link→不等式の数値評価」
のような最小限のtoy exampleすら公開・検証されたものがない。
676132人目の素数さん
2026/08/01(土) 18:37:11.34ID:wClptXDR ファルティングスのYouTubeの動画はどんな内容ですか?
Gerd Faltings on the 500-page ABC-conjecture proof
Gerd Faltings on the 500-page ABC-conjecture proof
677132人目の素数さん
2026/08/01(土) 19:42:07.74ID:aC4iL968 >>676
>Gerd Faltings on the 500-page ABC-conjecture proof
Excerpt from the post Abel Prize 2026 ceremony interview.
0:00 - "If I'm at page 500, I've forgotten page 1"
0:10 - Did Mochizuki prove the ABC Conjecture?
1:00 - Faltings' official position
1:55 - "PhD students are like children..."
>Gerd Faltings on the 500-page ABC-conjecture proof
Excerpt from the post Abel Prize 2026 ceremony interview.
0:00 - "If I'm at page 500, I've forgotten page 1"
0:10 - Did Mochizuki prove the ABC Conjecture?
1:00 - Faltings' official position
1:55 - "PhD students are like children..."
678132人目の素数さん
2026/08/01(土) 21:13:42.71ID:mPToLTXq679132人目の素数さん
2026/08/01(土) 21:22:51.73ID:zg7JijSf エプスタインと笹川&日本財団
そして、日本においては、このロバート・マクスウェルと日本船舶振興会(現在は日本財団)の創始者である笹川良一との関係に注目が集まっている。ロバート・マクスウェルと笹川良一の関係を調べると、1985年にグレイトブリテン・ササカワ財団(大英笹川財団)が設立され、ロバート・マクスウェルが理事長を務めた。この時に、当時の日本船舶振興会が約30億円を拠出したそうだ。
そして、日本においては、このロバート・マクスウェルと日本船舶振興会(現在は日本財団)の創始者である笹川良一との関係に注目が集まっている。ロバート・マクスウェルと笹川良一の関係を調べると、1985年にグレイトブリテン・ササカワ財団(大英笹川財団)が設立され、ロバート・マクスウェルが理事長を務めた。この時に、当時の日本船舶振興会が約30億円を拠出したそうだ。
680132人目の素数さん
2026/08/01(土) 23:42:57.65ID:+iDsszXh681132人目の素数さん
2026/08/02(日) 00:06:04.86ID:Lb3Gyp67682132人目の素数さん
2026/08/02(日) 00:07:03.10ID:Lb3Gyp67 ほんとIUT擁護派はゴミしかいねーよな
っていうか数匹しかいないけど
っていうか数匹しかいないけど
レスを投稿する
ニュース
- なぜコンビニは「外国人店員」だらけになったのか? 大手3社で8万人超…元セブン社員が明かす「日本人が集まらなくなった」現場の実情★2 [♪♪♪★]
- 【沖縄】「許せない」「基地を返せ」 強盗殺人事件、沖縄に怒りの声 [ぐれ★]
- 大谷翔平が吐露…「自分のなかでもあまりよくない年の一つ」「WBCがあるとすごく長く感じる」★2 [王子★]
- 副首都構想 広島は人口要件満たさず 横田知事が国に意見表明へ [首都圏の虎★]
- なぜコンビニは「外国人店員」だらけになったのか? 大手3社で8万人超…元セブン社員が明かす「日本人が集まらなくなった」現場の実情★3 [♪♪♪★]
- 【平均給与】男性は400万円台、女性は200万円台が最多。平均487万円より下に人が集まり、年収500万円以下が約6割 [首都圏の虎★]
- 🏡ブフダイン❄
- HanaE.sys ‘Patch to Stability’
- 泉健太「明日から臨時国会、簗大臣は辞任か更迭。高市総理に自浄作用があるか見極めよう」 [834922174]
- 月いくらあれば生活できる? [841411289]
- 【高市】投資家「フィジカルAIのAIは日本には作れないがモーターとかの高性能部品が作れるのは日本だけ!フィジカルAIで日本復活! [784319933]
- 小泉大臣、前回の米兵レイプ事件は逃げたが、今回は逃げずに記者会見に応じる。司令官呼びつけて抗議 [633746646]