23/10/29 16:28:34.09 r9XSO7YT.net
>>413
>セクション予想
>ジーゲルの零点が存在しない
>より強いabc
>これらを一気に詰め合わせセットで出すぞ、と言っている
ありがとう
あらら これか
見逃していたなｗ ；ｐ）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[10] Inter-universal Teichmuller Theory as an Anabelian Gateway to Diophantine Geometry and Analytic Number Theory
(MFO-RIMS23 Oberwolfach Report). PDF NEW!! (2023-10-20)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(MFO-RIMS23%20Oberwolfach%20Report).pdf
Inter-universal Teichm¨uller Theory as an Anabelian Gateway to Diophantine Geometry and Analytic Number Theory Shinichi Mochizuki
(joint work with Yuichiro Hoshi, Arata Minamide, Shota Tsujimura, and Go Yamashita)
1.Overview via a famous quote of Poincar´e
One question that is frequently asked concerning inter-universal Teichm¨uller theory(IUT) is the following: Why/how does IUT allow one to apply anabelian geometry to prove diophantine results? In this talk, we addressed this question by giving an overview of various aspects of IUT,
略
2.The N-th power map and Galois groups as abstract groups
略
3.Conceptual analogies with the projective line/Riemann sphere
略
4.New enhanced versions of IUT and related work inprogress
One such new enhanced version of IUT is the Galois-orbit version of IUT(GalOrbIUT), which implies the following: one of the 3 global conditions mentioned above in the discussion of the SC(called“intersection-finiteness”), the nonexistence of Siegel zeroes of Dirichlet L-functions associated to imaginary quadratic number fields(i.e.,by applying the work of Colmez/Granville-Stark/T´afula), and a numerically stronger version of the abc/Szpiro inequalities.
略
(引用終り)
以上
451:１３２人目の素数さん
23/10/29 16:35:03.17 r9XSO7YT.net
>>415
>辻村氏はフィールズ賞かな。
そのためには、まず川上氏の論文賞 10万ドル（1500万円）をゲットしないと
それができれば、フィールズ賞が可能かもね
URLﾘﾝｸ(ja.wikipedia.org)
宇宙際幾何学センター(IUGC)の設立と、IUT理論に関する２つの国際的な賞の創設
「IUT Innovator Prize」は、IUT理論とその関連分野における新しい重要な発展を含む論文を対象とし、2024年から10年間に渡り毎年受賞者1名に賞金2万ドル〜10万ドルを贈呈する予定（賞金の額は論文内容の新規性や寄与の重要性に応じて決定）[55]。
「IUT Challenger Prize」はドワンゴ創業者川上量生個人による賞として、IUT理論について理論の本質的な欠陥を示した論文を執筆した最初の数学者に贈られ、賞金100万ドルが授与される予定[56][57]。
452:１３２人目の素数さん
23/10/29 16:49:07.69 mpspCHlc.net
ジーゲル零点が存在しない、とすると、リーマン予想までもうすぐなんですか。
453:１３２人目の素数さん
23/10/29 16:53:22.92 tSMk0tXf.net
>IUTは、ガリレオ天動説です
だんだん、理解され受け入れられてきたよ
IUT狂信者
454:１３２人目の素数さん
23/10/29 16:53:40.50 tSMk0tXf.net
>IUTは、ガリレオ天動説です
だんだん、理解され受け入れられてきたよ
IUT狂信者
455:１３２人目の素数さん
23/10/29 17:02:18.08 r9XSO7YT.net
>>435-436
スレ主です
>IUT狂信者
それは MFO-RIMS23 Oberwolfach>>432
参加者に言ってあげてねｗ
でも、参加者はみな一流の数学者みたいだし
どんどん、狂信者が増えている
やっぱり、IUT天動説は正しいのか
456:１３２人目の素数さん
23/10/29 17:05:01.34 tSMk0tXf.net
スレ主=IUT狂信者
457:１３２人目の素数さん
23/10/29 17:09:46.55 r9XSO7YT.net
>>434
>ジーゲル零点が存在しない、とすると、リーマン予想までもうすぐなんですか。
そこは、星先生の師匠の黒川先生に聞くのが一番だろうがｗ
下記を見る限り、リーマン予想本体には届かないのでは？
詳しくは、下記”ジーゲル零点（英語版）”辺りを見てね
（但し、”ジーゲル零点（英語版）”予想を解決したら、ひょっとしてフィールズ賞レベルかもよ）
URLﾘﾝｸ(ja.wikipedia.org)
ABC予想
得られる結果の例
ルジャンドル記号を用いて記述したディリクレのL関数 L(s, (-d/.)) がジーゲル零点（英語版）を持たないこと
正確には、このためには上で紹介している有理整数を扱うABC予想に加えて、代数体上の一様なABC予想を用いる。(Granville & Stark 2000)。
458:１３２人目の素数さん
23/10/29 17:20:41.11 r9XSO7YT.net
>>438
>スレ主=IUT狂信者
スレ主です
普通のアマの末端信者ですよ
多くの（遠アーベル）プロ数学者が「IUTは正しい」というから、それに追随しているだけ
金魚のフンですよ
遠アーベル専門家じゃないけど、中島という人もいたなｗ
小野さんとか、RIMSの長？ 柏原先生、玉川先生・・などなど
459:１３２人目の素数さん
23/10/29 17:28:32.44 mpspCHlc.net
もっちー組の組員で今はモントリオールのChristian Táfula氏もフィールズ賞かな。
460:１３２人目の素数さん
23/10/29 17:42:17.24 tSMk0tXf.net
もっちー組 京都賞を落選
461:１３２人目の素数さん
23/10/29 17:55:00.29 DuuxDY4+.net
応援スレに乗り込んでアンチするだけの数板でのレスってどんな気持ち？
ねぇどんな気持ち？
462:１３２人目の素数さん
23/10/29 18:02:20.72 tSMk0tXf.net
IUT≠数学だよ
463:１３２人目の素数さん
23/10/29 18:09:08.10 mpspCHlc.net
ジーゲル零点といえば、張益唐のペーパーは結局どうなったんだ?
リーマン予想までもうすぐだ、と大騒ぎしていたが。
464:１３２人目の素数さん
23/10/29 19:50:00.44 mpspCHlc.net
もっちーと張益唐は年はエラい離れているけれども学位を取ったのはほぼ同時期なんだな。
465:１３２人目の素数さん
23/10/29 20:02:54.67 r9XSO7YT.net
>>445
>ジーゲル零点といえば、張益唐のペーパーは結局どうなったんだ?
>リーマン予想までもうすぐだ、と大騒ぎしていたが。
・張益唐 Yitang Zhang で下記のarxiv ヒットするけど、さあ？（論文の内容もまだ理解が追いつかないのだが）
・en.wikipedia Siegel_zero には、「双子素数は無限にある」と関連あるみたい
・張益唐氏、2019年の
466:youtubeヒット。このころから、Siegel_zero狙っていたのかな (参考) https://arxiv.org/abs/2211.02515 [Submitted on 4 Nov 2022] Discrete mean estimates and the Landau-Siegel zero Yitang Zhang https://en.wikipedia.org/wiki/Siegel_zero google訳 シーゲルゼロ シーゲルゼロが存在することの影響 双子素数の無限 詳細は「ツインプライム」を参照 この方向における顕著な結果は、ロジャー・ヒース・ブラウンの 1983 年の結果[25]であり、テレンス・タオに従って[26]、次のように言えます。 定理(Heath-Brown、1983) 。次のうち少なくとも 1 つが当てはまります: (1)シーゲルのゼロは存在しません。 (2)双子素数は無限にあります。 https://www.youtube.com/watch?v=kEbQwpavKCU Yitang Zhang and The Landau-Siegel Zero Problem in Number Theory [2019] (in Chinese) Graduate Mathematics 2022/11/05
467:１３２人目の素数さん
23/10/29 20:23:23.25 mpspCHlc.net
URLﾘﾝｸ(terrytao.wordpress.com)
468:１３２人目の素数さん
23/10/29 23:20:46.26 r9XSO7YT.net
>>448
ありがとう
469:１３２人目の素数さん
23/10/30 00:30:15.66 AsLAZ3sJ.net
>IUTは、ガリレオ天動説です
だんだん、理解され受け入れられてきたよ
ポストモダンオカルトのなんでもあり擬似数学セクトです
470:１３２人目の素数さん
23/10/30 01:45:04.93 OIzkAx2G.net
In this context, it is interesting to recall (cf. [Alien], §3.11, (iii)) that the essential content of anabelian geometry may be under-stood as a sort of “conceptual translation” of the abc inequality:
· anabelian geometry:
addition reconstructed from multiplication [i.e., addition “dominated by” multiplication!]
· abc inequality:
height (“additive size”) ≤ conductor (“multiplicative size”) [i.e., addition “dominated by” multiplication!]
... cf. conceptual Weil Conjectures versus numerical inequalities for the number of rational points of a variety over a finite field!
ここで、
addition “dominated by” multiplication
は、数学用語を使って日本語に翻訳するとどうなりますか。
471:１３２人目の素数さん
23/10/30 02:17:39.79 OIzkAx2G.net
ポストモダンなんて言葉を使うのは50歳以上だろ。
50歳過ぎてこれからAnabelian Geometryの勉強はキツイか。
472:１３２人目の素数さん
23/10/30 02:49:22.99 9cjrA7pT.net
純粋数学でも権威と一定数の取り巻きがいればソーカル事件は再現可能ってことだな
473:１３２人目の素数さん
23/10/30 03:32:38.62 OIzkAx2G.net
もっちーのIUT論文の中に、
曖昧なところがある、あるいは、
矛盾がある、あるいは、
論理の飛躍がある
ならば、具体的にどの部分なのか明示的に数学の言葉で指摘すればいいじゃないか。
474:１３２人目の素数さん
23/10/30 04:45:16.17 YKbRpWRi.net
１は大阪の工業高校中退で自己愛的愛国狂
日本自慢できることなら何でも食いつくダボハゼ
数学がオリンピック競技の一つだと誤解しており
やたら将棋の話をするが実は猫にも勝てた試しがない
475:１３２人目の素数さん
23/10/30 04:53:43.00 6u1Z78l/.net
朝鮮人のヒガミだったのか。
476:１３２人目の素数さん
23/10/30 06:36:41.83 OIzkAx2G.net
" Arithmetic cuspidalization of Galois sections of hyperbolic curves " ってどんなことするのかね。
477:１３２人目の素数さん
23/10/30 07:04:28.25 SMGyUpy0.net
>>454 ショルツはじめ再三に渡ってされてるけど
あいつらは学部レベルもわかっていない、
修行すればわかるって罵倒文と公開誹謗中傷が返ってくるだけだからな
478:１３２人目の素数さん
23/10/30 07:40:24.56 QePk8DNL.net
>>451
（google訳）
· anabelian geometry:
addition reconstructed from multiplication [i.e., addition “dominated by” multiplication!]
· abc inequality:
height (“additive size”) ≤ conductor (“multiplicative size”) [i.e., addition “dominated by” multiplication!]
↓
（google訳）
· アナベル幾何学:
乗算から再構築された加算 [つまり、加算は乗算によって「支配されている」!]
· abc 不等式:
高さ (「加法サイズ」) ≤ 導体 (「乗算サイズ」) [つまり、加算は乗算によって「支配される」!]
補足
・”復元”が、IUTのキーワード
・つまり、
abc不等式を得たい→フライ曲線：楕円曲線→楕円曲線から環構造へ→遠アーベル（乗法のみの世界（加法無し））→”復元”→不等式を得る（但し、若干の誤差あり）
こんなイメージかなと、勝手に思っています
479:１３２人目の素数さん
23/10/30 07:54:52.04 OIzkAx2G.net
ショルツェ-シュティックスの批判に対してもっちーが丁寧に反論したがSSは再反論しなかった。再反論する時間が十分にあったのにしなかったのだから、SSは議論で負けたとみなすべき。
480:１３２人目の素数さん
23/10/30 08:08:59.86 OsUSSG9a.net
その丁寧な反論はどこで読めますか
481:１３２人目の素数さん
23/10/30 08:09:57.88 QePk8DNL.net
>>432
> (MFO-RIMS23 Oberwolfach Report). PDF NEW!! (2023-10-20)
スレ主です
これは大きい
つまり、ドイツでもIUT理解がされはじめたってこと
482:１３２人目の素数さん
23/10/30 08:30:04.85 NZZdI1Dg.net
ﾎﾟﾎﾟｯ(もっちっちぃ(^^)
483:１３２人目の素数さん
23/10/30 08:34:49.13 2w/v78nM.net
ただ講演してレポート書いただけだぞ
印象操作甚だしい
484:１３２人目の素数さん
23/10/30 10:38:37.43 OIzkAx2G.net
Jakob Stix は参加していない。
485:１３２人目の素数さん
23/10/30 12:40:51.52 kHd/JQYF.net
>>460 証明を詰めることができず一方的に罵倒しただけでしょ
文元のこと盲信してるみたいだけど、あんな奴信じない方がいいぞ
そもそも議論(笑)の勝敗と数学の正しさって全く関係ないしな
486:１３２人目の素数さん
23/10/30 18:55:11.05 OIzkAx2G.net
要するに僻み鮮人によれば、
SSがもっちーのIUT 理論の中に重大な証明の瑕疵を発見し、もっちーにその瑕疵を指摘した。
もっちーは十分な反論ができなかった。
それでも柏原・玉川はIUT論文の査読に問題は無いと判断した。
487:１３２人目の素数さん
23/10/30 21:52:09.16 jlvGNSa3.net
なぜ問題がないのか？
黙ってるだけw
488:１３２人目の素数さん
23/10/31 07:35:47.28 1RPEH9O6.net
平然と人種差別発言する信者ってヤバいな
まあご本尊がアレじゃ信者のレベルもアレか
489:１３２人目の素数さん
23/10/31 14:00:56.92 QCMKl+Xu.net
鮮人って差別用語なんですか？
490:１３２人目の素数さん
23/10/31 14:39:16.66 o+Rfmtfg.net
偽素数91
491:１３２人目の素数さん
23/10/31 16:47:32.19 nQPGK/5I.net
>>461
SSレポートページに全部掲載されてるだろ
492:１３２人目の素数さん
23/10/31 17:21:10.96 wdgFix83.net
>>470
都合のいい見方で誤魔化してんじゃねーよクズが
>要するに僻み鮮人によれば、
493:１３２人目の素数さん
23/10/31 18:28:46.22 QCMKl+Xu.net
は？
他の人のレスを誤魔化す必要はありませんが？
何なんですか？
野蛮人ですね
494:１３２人目の素数さん
23/10/31 18:30:47.73 QCMKl+Xu.net
そもそも匿名での特定個人への誹謗中傷を殊とする人物が
人種差別ダー！
て‥
「は？」ってもうね‥
495:１３２人目の素数さん
23/10/31 18:37:05.90 oQ4TlLFD.net
誹謗中傷と正当な批判の区別も�
496:ﾂかんのな、お前 都合の悪いことは誹謗中傷って言ってれば言論弾圧できると思ってそう
497:１３２人目の素数さん
23/10/31 18:41:38.28 77mIr1FV.net
居直って「議論」
を平行線に持っていくだけなら
相対論は間違ってるおじさんやいまだに地動説信じてる連中でもできることだからな。
498:１３２人目の素数さん
23/10/31 19:07:42.72 0ofXm7yh.net
望月さんは自分の理論の数学的論拠を説明する責任があるわけだがそれをせず
疑義のある問題点を批判者側の問題や責任にすり替えているだけである。
このような論理展開のおかしさを仮にもプロである取り巻きたちが
おかしいことに気づいていないはずはないので、
まあ周囲含めて「クロ」なんでしょうね。
学術的誠実さがあるのなら例え話や批判者批判に逃げず
真っ当に説明責任を果たしてください。
499:１３２人目の素数さん
23/10/31 19:17:24.70 gyuPtstc.net
もっちーはSSの指摘に対して十分な反論をした。
500:１３２人目の素数さん
23/10/31 19:22:56.19 gyuPtstc.net
SSの指摘があまりにも幼稚なレベルの誤解だったのでRIMSの所員は呆れ果てて笑ったという。
501:１３２人目の素数さん
23/10/31 20:25:24.01 nQPGK/5I.net
>>480
これはほんまよ
502:１３２人目の素数さん
23/10/31 21:05:01.35 ZXL76TJN.net
>>477
平行線の平行移動とホロノミー
503:１３２人目の素数さん
23/10/31 21:24:26.47 gyuPtstc.net
この動画の57分頃、
URLﾘﾝｸ(youtu.be)
フェセンコによれば、RIMSの所員は "smiling, becasuse Scholze was ridiculously wrong" と言っている。
504:１３２人目の素数さん
23/10/31 21:31:46.81 CuKZT9E1.net
でも、何がridiculously wrongなのかは誰も指摘できないんだよね
望月の言ってることってダブルスタンダードじゃないの？
505:１３２人目の素数さん
23/10/31 21:36:31.54 gyuPtstc.net
>>484
ショルツェの over simplicity と言ってるじゃん。
506:１３２人目の素数さん
23/10/31 21:37:49.95 CuKZT9E1.net
>>485 具体的には？
507:１３２人目の素数さん
23/10/31 22:04:53.42 KCXEawVq.net
越川もギャップをみつけたよね
508:１３２人目の素数さん
23/10/31 22:13:24.38 rkyL65Wt.net
望月の要求はそもそも悪魔の証明だからな
509:１３２人目の素数さん
23/10/31 22:18:55.28 n7jfNoNQ.net
不正査読さんが何を言っても、もはや説得力ないわ
510:１３２人目の素数さん
23/10/31 22:23:48.27 MVWJwkhY.net
IUT論文の査読過程はお墓に持って行く
by 玉川RIMS教授
つまり墓場の玉川RIMS教授かあ
511:１３２人目の素数さん
23/10/31 22:24:48.50 gyuPtstc.net
IUT理論的の中に瑕疵が一つでもあるなら具体的に、かつ、明示的に数学の言葉で指摘すればいいじゃないか。
512:１３２人目の素数さん
23/10/31 22:28:50.82 MVWJwkhY.net
加藤文元IUT共同構築者によればIUTTは未完成。2022.4.10 Nスペ
「現今の数学との違いをきちんと完全に言語化する、新しい数学の言語体系を、
早急に作らなければいけないんじゃないか」
513:１３２人目の素数さん
23/10/31 23:46:00.57 gyuPtstc.net
>>488
それは違う。
普通、悪魔の証明とは、何かが存在しないことを証明せよ、というもの。
一方、もっちーが言っているのは、IUT理論の中に一つでも瑕疵があるなら指摘してみろや、というもの。
514:１３２人目の素数さん
23/11/01 01:03:04.44 nXi5zvJJ.net
>>418
僻み鮮人の夢
515:１３２人目の素数さん
23/11/01 07:29:24.40 aqGBkWqM.net
>>493 あるべき議論が存在していないんだから、悪魔の証明でしょ、
あるいは屏風の中にいる虎を倒せと言っているに等しい
ショルツさんはじゃあまず虎を屏風から出してくださいと言ったら
取り巻きともどもフリーズしたんだよな
516:１３２人目の素数さん
23/11/01 07:31:09.48 aqGBkWqM.net
>>490 地獄への手土産だな�
517:Aこの人も生き急いで名を落とした 数研維持の危機とか予算のプレッシャーとか色々あったんだろうけど、同情はしない
518:１３２人目の素数さん
23/11/01 07:34:44.11 FRQ9rdQB.net
正体不明なのでたわごとにしか思えない
519:１３２人目の素数さん
23/11/01 09:05:47.85 mS0xf9a8.net
皇天親無く惟徳を是輔く
520:１３２人目の素数さん
23/11/01 10:05:50.78 FRQ9rdQB.net
こうてんしんなくただとくあるをこれたすく【皇天親なくただ徳をこれ輔く】故事成語 ことば
身につければ自然とファッションに馴染んでくれる。
成城石井.com ことば 噺家 演目 志ん生 円朝迷宮 千字寄席
天はえこひいきすることなく、ひたすら徳をもった人にだけ援助するものだ、という意味。
「皇天」は広い天の意味で、天に敬称をつけた表現です。「皇」には「おおらかな」「広い」のニュアンスがあります。日本の「天皇」につながる語感です。
中国の「天」は、神のような意思をもちながらも茫漠とした存在です。天の仕業は人間には結果しか見えません。愛とか救済とかはないのです。人間の行いをたまに手伝うくらい(愚公山を移す、とか)。
初出は『書経(尚書とも)』から。孔子が編纂したとされる史書で五経の一。中国最古の書です。
521:１３２人目の素数さん
23/11/01 10:20:27.54 mS0xf9a8.net
相手を罵倒したりせず、もっと徳を積むべきです
522:１３２人目の素数さん
23/11/01 10:34:34.35 FRQ9rdQB.net
望月なら罵倒してよいのか
523:１３２人目の素数さん
23/11/01 11:25:31.81 qE/CUSX7.net
CCファルティングスで基地外長文メールドヤ顔で送りつけて
ガン無視されてるの笑える
524:１３２人目の素数さん
23/11/01 11:53:55.78 mS0xf9a8.net
>>501
望月さんは罵倒するべきではなかったと思いますよね
525:１３２人目の素数さん
23/11/01 11:56:55.37 Odb1U2Za.net
選挙で負けてテロに走ったグルと同じだね笑
526:１３２人目の素数さん
23/11/01 12:01:57.99 7Xa1KkJ+.net
>>502
ファルティングス氏には
MFO-RIMS23 Oberwolfach の意味が分かっているはず
ドイツでも、望月IUTを含む遠アーベルの研究が
進展しているってこと
527:１３２人目の素数さん
23/11/01 12:37:43.97 nXi5zvJJ.net
僻み鮮人の目標はRIMSを解体すること。
そのための工作活動をやってるつもりなんだろう。
528:１３２人目の素数さん
23/11/01 15:26:38.89 nXi5zvJJ.net
民団は韓国政府から資金援助を受けている。
韓国政府も関与している可能性がある。
529:１３２人目の素数さん
23/11/01 16:06:26.63 11Xq3i3Z.net
よほどフィールズ賞が精神的打撃だったとみえる
530:１３２人目の素数さん
23/11/01 16:12:22.24 u2vvfUi8.net
まあ極東の隔離地で信者に囲まれてヌルい世界で神様扱いされてた裸の王様が
本物の天才でイケメンで新理論構築に邁進中の気鋭の若手の実力者(フィールズ賞)に
致命的な箇所のダメ出し食らったら狂ってしまう気持ちもわからなくはない笑
531:１３２人目の素数さん
23/11/01 16:43:25.38 nXi5zvJJ.net
僻み鮮人によれば、SSはIUT理論の中に何か重大なギャップを発見した。
532:１３２人目の素数さん
23/11/01 16:49:30.97 nkfTwkUi.net
>>508
望月先生がフィールズ賞で打撃って言いたいわけ？
望月先生とフィールズ賞に何の関係が？
533:１３２人目の素数さん
23/11/01 23:04:34.85 nXi5zvJJ.net
Felipe Voloch
" Mochizuki is the Donald Trump of Mathematics and his followers are its QAnon, fashioning their own reality. Fortunately, in this case, they can be safely ignored (at least if you're not at RIMS). "
March 2021
534:１３２人目の素数さん
23/11/02 05:03:15.98 EqBB635V.net
IUT sect is not the Donald Trump of Mathematics、but cult of numerology ！
535:１３２人目の素数さん
23/11/02 06:05:25.84 KQ2KeMsL.net
シュルツは論証構造を変換して、否定してる。
望月はその返還が間違ってると言っている。
この点についてシュルツは反論してないから、
普通の、議論ではシュルツの負け判定だろ。
536:１３２人目の素数さん
23/11/02 07:23:37.07 viVqUBCX.net
平行線に持ってくために論点はぐらかして
逃げ続ける人を相手にし続ける必要はないよね
相対論は間違ってるおじさんや反ワクカルトに権威がついたのがIUT
537:１３２人目の素数さん
23/11/02 07:25:47.93 LmPPEWaM.net
Nature 2020, Proceedings of ICM 2022, Scientific American 2023
のいずれも、数学社会一般は証明なしと受け止めていることを報じています
さらにarxivで近年のabc予想関連の論文を見てみると、
ほとんどがIUTへの言及なし、少数がSSと合わせて不明と言及、
肯定的に言及してるのはJoshiだけ（それでも証明は認めていない）
これで望月側に分があるというのは客観的にいって無理でしょう
支持者は一般には知られていない特段の根拠でも持っているのでしょうか
Nature 2020, doi.org/10.1038/d41586-020-00998-2
>([SS]文書は) something many saw as death blow to his claims
> ...
>But several experts told Nature that much of the mathematical
>community considered the matter to be settled at that point.
Proceedings of ICM 2022, arXiv:2112.11598
>This proof has now been published in a serious research journal,
>however it is clear that it is not accepted by the mathematical
>community in general.
Scientific American 2023, $1 Million Will Go to the Mathematician...
>consensus in the field suggests his arguments do not prove
>the abc conjecture.
538:１３２人目の素数さん
23/11/02 08:32:49.92 y5+5KTpX.net
でも査読を通ったものは残る
539:１３２人目の素数さん
23/11/02 08:34:46.17 nCgtocfE.net
>>514
>シュルツは論証構造を変換して、否定してる。
望月はその返還が間違ってると言っている。
何を返還したの？
間違ってすらいない
540:１３２人目の素数さん
23/11/02 08:37:55.02 nCgtocfE.net
>>517
墓場の玉川RIMS教授らによる査読ね
541:１３２人目の素数さん
23/11/02 11:47:33.06 fcMyLDsX.net
それは事実としては残らない
542:１３２人目の素数さん
23/11/02 12:31:45.48 nCgtocfE.net
RIMS ちーん ♫〜
543:１３２人目の素数さん
23/11/02 14:37:03.72 vKfp2Xev.net
>>521
僻み鮮人の夢
RIMSは解体されなければならない。
544:１３２人目の素数さん
23/11/02 15:46:00.47 EqBB635V.net
悪徳RIMS ちーん ♫ チーン ♫
545:１３２人目の素数さん
23/11/02 17:44:20.39 1rQQ9XHs.net
土俵際幾何学w
546:１３２人目の素数さん
23/11/02 18:11:33.58 nCgtocfE.net
>>520
必死だねw
547:１３２人目の素数さん
23/11/02 19:42:55.91 vKfp2Xev.net
査読のプロセスでIUT論文全体をline-by-line で何回もチェックしたがギャップは見つからなかった。これだけでも十分だが、念の為、SSの話も聞いた。SSリポートを読んだRIMSの所員は、、、、
548:１３２人目の素数さん
23/11/02 20:32:10.75 90ZDq2wD.net
自分の博論も直せなかったゴーのザルチェックじゃな
549:。。。笑
550:１３２人目の素数さん
23/11/02 21:27:55.61 vKfp2Xev.net
URLﾘﾝｸ(www.dailyshincho.jp)
” 19歳で米プリンストン大を卒業した望月教授。メディアの取材を拒絶しているが一体、どんな人物か。
「会ったことがある数学者はごく少ないはず。学会に顔を出した話は聞いたことがないし、研究会や懇親会に出るようなタイプでもない。今回、論文を検証するための4人の研究者チームが作られ、3年掛かりで確認作業をしてきましたが、望月さんは、“4人の貴重な時間を使ってしまい申し訳なかった。もう十分だから、ご自分の研究をさせてあげてください”と語ったそうです」（飯高名誉教授）”
551:１３２人目の素数さん
23/11/02 23:24:13.43 NUR4RT+6.net
>>526
>SSリポートを読んだRIMSの所員は
墓場の玉川RIMS教授のこと？
552:１３２人目の素数さん
23/11/03 04:41:21.88 oDSkYTmT.net
根本的なことなんだけどさ
望月氏の高弟も同じコンセンサス持ってると思うけど
仮にIUTTが矛盾なく正しくて、（IUTT内部の論理で）ABC予想も証明できてるとしても
それが一体何なの？
553:１３２人目の素数さん
23/11/03 05:54:25.71 vAcDRVep.net
RIMSは、望月が不正査読を行った事実を隠蔽したいだけ
小保方と笹井を庇おうとした理研と同じ
その理由は、自分たちの組織の防衛
これが通ってしまう日本は、欧米よりも中国に近い非文明地域
554:１３２人目の素数さん
23/11/03 06:55:51.20 wVID2LZd.net
10年後には通ったかどうかが明らかになるだろう
555:１３２人目の素数さん
23/11/03 07:13:54.79 vAcDRVep.net
論文公開してからもう10年経った
今、明らかになってるよ ダメだって
2015年の段階でそうなるってわかってたけどね
556:１３２人目の素数さん
23/11/03 08:38:06.56 wVID2LZd.net
査読を経て公式に公開されてから10年
認められなければ忘れ去られるだけ
557:１３２人目の素数さん
23/11/03 09:36:37.64 PeSgzCzO.net
サギ
558:１３２人目の素数さん
23/11/03 09:47:12.38 IzKklKaR.net
>>528 > “4人の貴重な時間を使ってしまい申し訳なかった。もう十分だから、ご自分の研究をさせてあげてください”
耳触りのいいこと言ってるけど、検証されることから逃げただけだな、シンイチ
残念ながらそもそも数学の文章として成立していないとのことです、IUT
SSはじゃあまず虎を屏風から出してくださいと言ったら、
取り巻きもご本尊もフリーズして陰で誹謗中傷に走るようになったんだよな
559:１３２人目の素数さん
23/11/03 10:04:31.04 wVID2LZd.net
放っておけない理由は？
560:１３２人目の素数さん
23/11/03 14:50:44.55 eJb34bzj.net
多くの数学者にとって、IUTはabc予想の証明の他に何ができるのか分からなかったから、何年もかけてIUTを真剣に勉強しようという意欲が湧かなかったのだろう。
そしたらこないだ、もっちーが突然に、IUTの改良版を使ってセクション予想の証明と、ジーゲル零点が存在しないことの証明と、より強いabcを一気に詰め合わせで出すぞ、と言った。
561:１３２人目の素数さん
23/11/03 15:15:53.71 9jU7M9g0.net
虚構の上に何を積もうが虚構だよ
文字通り砂上の楼閣
562:１３２人目の素数さん
23/11/03 15:28:40.70 eJb34bzj.net
IUTを真剣に勉強する研究者が増えるとすれば、IUT理解の前提となるAnabelian Geometry の研究者が増えるはずだ。特に若い研究者。
563:１３２人目の素数さん
23/11/03 15:30:30.30 rvhmUSPE.net
もう、あやつのことを信じてる奴なんていねーよ
564:１３２人目の素数さん
23/11/03 15:48:00.51 j3c1yNcn.net
検証されることから逃げ続けたIUT
美辞麗句と詭弁だけが空疎に舞う
質問したら罵詈雑言浴びせられて公開誹謗中傷受けるんだから
若手は怖くて何も言えないよな
科研費審査や弟子の人事で嫌がらせ受けるかもしれないから大人も何も言えないわ。
565:１３２人目の素数さん
23/11/03 15:57:22.63 vAcDRVep.net
RIMSが組織防衛を優先して望月新一をかばった瞬間
RIMSは数学の研究機関として完全に終わった、といっていい
566:１３２人目の素数さん
23/11/03 15:59:47.31 eJb34bzj.net
欧州でも北米でも若手研究者がこれからアカポスと研究費を狙うなら、Anabelian Geometryを専門分野として選ぶのが良さそうだ、と思うだろう。それが自然。今はちょうどその転換点のように見える。
567:１３２人目の素数さん
23/11/03 16:26:49.33 rvhmUSPE.net
視力検査にいきましょう
568:１３２人目の素数さん
23/11/03 16:34:17.66 ADzEMjXl.net
>>530
ヒゲー
569:１３２人目の素数さん
23/11/03 16:44:42.77 eJb34bzj.net
志村五郎はスキーム論を勉強しなかった。
転換点で古い数学に留まる人はいる。
570:１３２人目の素数さん
23/11/03 17:25:30.06 +VFQf9ov.net
論文が日本のコネジャーナルにしか出ない分野じゃ
やってもまともな就職先はないでしょう
571:１３２人目の素数さん
23/11/03 17:44:50.25 rvhmUSPE.net
査読はちゃんとやらんとあかんよ
572:１３２人目の素数さん
23/11/03 19:27:27.41 eJb34bzj.net
IUTが暗号とか量子コンピューティングへの応用ができそうだ、となれば、NSAとかDARPA のgrant を貰ってウハウハだ、嫁ももらえる、と考える人も出てくるだろう。
573:１３２人目の素数さん
23/11/03 23:06:49.27 eJb34bzj.net
URLﾘﾝｸ(www.mi.fu-berlin.de)
Dr. Giulio Bresciani
” Some of the anabelian conjectures have been proved, most notably by Mochizuki. Among the anabelian conjectures, the so called section conjecture remains largely open. We show how the section conjecture implies a much stronger anabelian statement, from which every other anabelian statement follows immediately. ”
セクション予想の証明は大事件のようだ。
574:１３２人目の素数さん
23/11/03 23:32:40.28 dmGwNsmF.net
>>538
>そしたらこないだ、もっちーが突然に、IUTの改良版を使ってセクション予想の証明と、ジーゲル零点が存在しないことの証明と、より強いabcを一気に詰め合わせで出すぞ、と言った。
kwsk
575:１３２人目の素数さん
23/11/04 00:44:10.10 sfj3y5al.net
>>542
沈黙が答え
576:１３２人目の素数さん
23/11/04 00:56:51.80 0W+oH0g5.net
>>547
志村多様体の数学は過去の遺物？
577:１３２人目の素数さん
23/11/04 01:22:42.42 AwimJ0rO.net
メザシはいくらつついてもメザシ。
578:１３２人目の素数さん
23/11/04 08:55:02.90 0W+oH0g5.net
メザシ
日本の創作文化等においては、「貧しい食卓」の象徴として、「目刺一尾のみが白米のおかず」という演出が多くなされる。また「目刺」は春の季語のひとつでもある。
579:１３２人目の素数さん
23/11/06 02:03:17.20 x5hkirTi.net
>>539
ショルツの否定論拠に対する望月の反論は
正当に思えるが。
再反論をショルツはしてないけど、
あんたはできんの?
580:１３２人目の素数さん
23/11/06 04:48:31.23 L9xYogbW.net
仏リール大学ってどんな大学か知らなかったけど、AHGTはいつの間にかÉcole normale supérieureも提携してるんだな。
ENSは超一流だよ。
581:１３２人目の素数さん
23/11/06 05:21:00.56 5FF6x0AU.net
モッチッチの名は
582:１３２人目の素数さん
23/11/06 08:04:58.16 33CdbYoA.net
>>557
>>516のように世の中の大半の数学者はそう思ってないみたいだけどねー
さてはて間違ってるのはどっちなんだろうね
583:１３２人目の素数さん
23/11/06 08:15:17.12 DN7G53u1.net
「間違っているとすればここだ」ということさえ
分からないというのは異常だ
584:１３２人目の素数さん
23/11/06 08:40:01.
585:00 ID:oKyjkhXU.net
586:１３２人目の素数さん
23/11/06 12:00:10.72 M7U+LBFt.net
>>557
どうして正当に思えたの？
587:１３２人目の素数さん
23/11/06 12:35:00.24 DN7G53u1.net
その点は重要
588:１３２人目の素数さん
23/11/06 12:57:54.10 L9xYogbW.net
SSは、fabricated version of IUT の中にギャップがあると指摘した。
589:１３２人目の素数さん
23/11/06 14:28:40.53 vlVlsI5k.net
疑義に答えず例え話と罵倒に終始した長文怪文書が「正当」ねえ・・・w
ショルツ「じゃあまず虎を屏風から出してみてください
総フリーズした宇宙利権者笑
まあゴーを数件に捩じ込んだ時点で
あの界隈はもう信頼されていないと思う、まさに裸の王様
590:１３２人目の素数さん
23/11/06 14:30:00.57 hCYYrxgM.net
>>557
お墓さんですか？
591:１３２人目の素数さん
23/11/06 14:37:46.47 L9xYogbW.net
SSは、もっちーに、SSリポートへの反論を早く出せ、と急かしていた。ところが、もっちーの反論文書ができあがると、その文書の公表は待ってくれ、と言った。
592:１３２人目の素数さん
23/11/06 15:05:15.09 orHmX39P.net
だから何？笑
印象操作に必死だよねブンゲンクン笑
593:１３２人目の素数さん
23/11/06 15:11:19.75 L9xYogbW.net
フェセンコによれば、SSリポートは "ridiculously wrong" 。
594:１３２人目の素数さん
23/11/06 16:16:15.03 L9xYogbW.net
フランスのYves Andréの弟子のEmmanuel Lepage はIUTに懐疑的、否定的だったが、2017年からもっちーとのやり取りを通じて2021年に漸く自分の疑念は誤解に基づくものであったと理解した。
595:１３２人目の素数さん
23/11/06 16:17:18.65 yUs3ptkq.net
フランスのYves Andréの弟子のEmmanuel Lepage はIUTに懐疑的、否定的だったが、2017年からもっちーとのやり取りを通じて2021年に漸く自分の疑念は誤解に基づくものであったと理解した。
596:１３２人目の素数さん
23/11/06 17:41:29.26 hQKCuknd.net
Yves Andréに論文投稿したことあるけどクソ野郎だったな
死んで欲しい
597:１３２人目の素数さん
23/11/06 20:37:29.37 hlQkT8qW.net
ドイツでは、いつかJ. Stixがセクション予想を証明するだろうという期待があったのかな。
598:１３２人目の素数さん
23/11/06 23:40:41.16 hlQkT8qW.net
Emmanuel Lepage は、IUTに関する疑義についてもっちーとやり取りしていた2017から2021にかけて、SSリポートともっちーの反論についても当然読んでいたはずだ。
599:１３２人目の素数さん
23/11/07 13:26:31.11 zcvAsCei.net
>>573
何があったw
600:１３２人目の素数さん
23/11/07 20:41:30.81 9U5ytD0F.net
東大とその植民地の大学が惨め。
601:１３２人目の素数さん
23/11/07 21:15:29.57 iX/agdmt.net
望月予想ってことにして
これを解くか否定できた人の功績100％扱いでいいんじゃね
602:１３２人目の素数さん
23/11/07 22:03:10.80 wDocIDXo.net
URLﾘﾝｸ(ahgt.math.cnrs.fr)
Oct 3, 2023
[visit] Autumn in Paris 2023 - Four researchers of RIMS, Kyoto University visits ENS Paris and other AHGT French researchers , Oct. 03-29, 2023 -- B. Collas, Y. Hoshi, A. Minamide, K. Sawada.
ENS Paris カッコいい。
603:１３２人目の素数さん
23/11/07 22:58:15.92 wDocIDXo.net
IUT を理解し、使いこなす研究者は、まずフランスで増える。
然る後、他の国の研究者も追随する。
604:１３２人目の素数さん
23/11/07 23:02:37.55 ESdSxmzh.net
IUT 特殊fakeネットワーク
605:１３２人目の素数さん
23/11/08 01:36:50.21 zOlz6iKM.net
>>581
ENS Paris も含めてか?
606:１３２人目の素数さん
23/11/08 02:06:59.35 oyN+qL7t.net
>>578
いや論証に穴がないなら、論証は成功してる。
穴があることは示されてないから、証明は終わってる。
607:１３２人目の素数さん
23/11/08 04:56:16.58 tlscQ287.net
>>583
だからなんなの？って話ではある
608:１３２人目の素数さん
23/11/08 04:56:39.00 tlscQ287.net
IUTT文学で証明されたからって数学とは無関係でしょ
609:１３２人目の素数さん
23/11/08 05:01:50.29 4im5a55o.net
>>583
そもそも論証になってない 素人はそれすら分からんらしい 大馬鹿野郎だな
610:１３２人目の素数さん
23/11/08 05:38:11.81 tlscQ287.net
>>586
IUTT語では論証されてるんだよ
これは間違いない
問題なのは数学語で論証すること
611:１３２人目の素数さん
23/11/08 05:44:57.42 cui+Byks.net
>>577
その辺にもまだ
Scholze派でないのはそれなりにいるよ
612:１３２人目の素数さん
23/11/08 07:02:40.34 Ts2tSyrE.net
>>582
いつもの京大数理研のIUTとりまき4名がおとづれた、
>AHGT
なぜ京大数理研のIUTSECTはAHGTと改名したのだろう？
統一教会cultが権威にしがみつき世界平和統一家庭連合」と改名したこととたぶん同じ理由なのだろう、
613:１３２人目の素数さん
23/11/08 16:21:50.21 oyN+qL7t.net
>>586
査読通ったってことは査読者からみて論証が成功してるということ。
どこの馬の骨かもわからないお前の言葉よりさ読者を信じるよ。それが嫌なら少なくとも実名で書いてみ。
>>587
数学は定義で言語をつくっていくので、それに
矛盾がなければ新たな言語であってもなんら問題はない。
614:１３２人目の素数さん
23/11/08 16:42:21.70 FpdU7zHQ.net
[GSCsp] S. Mochizuki, Y. Hoshi, Arithmetic cuspidalization of Galois sections of hyperbolic curves, manuscript in preparation.
[AnPf] S. Mochizuki, Y. Hoshi, S. Tsujimura, G. Yamashita, Anabelian geom-etry over complete discrete valuation rings with perfect residue fields, manuscript in preparation.
これら、いつリリースされるのかな？
615:１３２人目の素数さん
23/11/08 17:01:37.67 sLZ2+525.net
メモ
URLﾘﾝｸ(ja.wikipedia.org)
絶対ガロア群
体 K の絶対ガロア群 GK（ぜったいガロアぐん、英: absolute Galois group）とは、数学の用語で、K の分離閉包 Ksep の K 上のガロア群のことである。あるいは、K の代数的閉包の自己同型であって K を固定するもの全てからなる群と言っても同じことである。絶対ガロア群は副有限群であり、内部自己同型による違いを除いて well-defined である。
K が完全体であれば Ksep は K の代数的閉包 Kalg と等しい。K が標数0の場合や、K が有限体の場合がこれにあたる。
未解決問題
有理数体の絶対ガロア群を直接的に記述する方法が知られていない。有理数体の絶対ガロア群の元で他の元と区別できるよう名前が付けられているのは単位元と複素共役だけである[9]。ベールイの定理によりこの絶対ガロア群はグロタンディークの子供のデッサン（曲面上の地図）に忠実に作用するので、代数体のガロア理論を"見る"ことはできる。
有理数体の最大アーベル拡大 K の絶対ガロア群は自由副有限群であろうと予想されている（シャファレヴィッチの予想）[10]。
URLﾘﾝｸ(en.wikipedia.org)
Absolute Galois group
Problems
An interesting problem is to settle Ján Mináč and Nguyên Duy Tân's conjecture about vanishing of
n- Massey products for n ≥ 3.[10][11]
616:１３２人目の素数さん
23/11/08 17:40:24.65 Ts2tSyrE.net
↑
0426 １３２人目の素数さん
2023/10/29(日) 14:22:15.63
IUTは、ガリレオ天動説です
だんだん、理解され受け入れられてきたよ
617:１３２人目の素数さん
23/11/08 18:28:23.31 ClgwFlUH.net
グロタンディークの遠アーベル セクション予想が1983年のファルティングスへの手紙から今までずっと未解決だった理由は何ですか？
618:１３２人目の素数さん
23/11/08 18:28:29.81 EwBYKwz4.net
グロタンディークの遠アーベル セクション予想が1983年のファルティングスへの手紙から今までずっと未解決だった理由は何ですか？
619:１３２人目の素数さん
23/11/08 21:18:41.88 a7UswvUK.net
>>594-595
さあ？
まあ、それもこれから分かってくるでしょ
川上論文賞ネタだろう
620:１３２人目の素数さん
23/11/08 21:37:24.53 uWYIxuaI.net
何だよセクション予想ちゃんと解けたんじゃなかったのか、びっくりした
621:１３２人目の素数さん
23/11/08 22:29:45.87 EwBYKwz4.net
Daniel Litt 氏によれば、
" There is near-universal consensus among mathematicians that the abc conjecture is still open. "
URLﾘﾝｸ(twitter.com)
つまり、もっちーのIUT論文はabc予想の証明になっていない、と。
しかし、具体的にIUT論文のどこに瑕疵があるのか何も言っていない。
(deleted an unsolicited ad)
622:１３２人目の素数さん
23/11/08 23:17:50.37 uWYIxuaI.net
ちゃんとした数学者が意味わからない論文というのは受容されないから当たり前
サーベイすら意味不明ということ
623:１３２人目の素数さん
23/11/08 23:43:51.74 a7UswvUK.net
>>594-595
>グロタンディークの遠アーベル セクション予想が1983年のファルティングスへの手紙から今までずっと未解決だった理由は何ですか？
まあ、下記でも
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
RIMS 2011/08/11
Grothendieckによる遠アーベルセクション予想について
星裕一郎∗ 京都大学数理解析研究所
本稿は,筆者が2011年8月11日に第56回代数学シンポジウムで行った講演“Grothendieckによる遠アーベル*1*2セクション予想について”の内容をまとめたものである.
§1では数論的基本群という概念についての解説,
§2では遠アーベルセクション予想についての解説,
§3では[Hsh]の主結果の解説が与えられている.
P7
AlexanderGrothendieck氏による遠アーベルセクション予想とは,以下のような予想である[[Letter]を参照].
予想2.5. kをQの有限生成拡大体,Xをk上の固有な双曲的曲線とする.このとき,写像ΦPrimes X/k :X(k)－→SectPrimes(X/k)は全単射である.
624:１３２人目の素数さん
23/11/09 00:02:20.99 r2tnycls.net
多くの数学者にとってIUT論文はチンプンカンプンである
は
多くの数学者にとってIUT論文はabc予想の証明になっていない
を意味するのだろか？
625:１３２人目の素数さん
23/11/09 01:53:21.06 5kw28V9R.net
>>509
数学者が新しく開拓された領域が理解できないって
いうのは恥ずかしいのかなあ。
物理学だと、ニュートンやアインシュタインの理論が提示されたときに大量に置いていかれることが起きたから、普通な感じたけど。
人種的偏見とは言わんけど、日本人が完全に新しい理論を出すのがひっかかるのかしら。
626:１３２人目の素数さん
23/11/09 01:53:54.30 5kw28V9R.net
>>601
ちんぷんかんぶんは真偽判定不明でしょう。
627:１３２人目の素数さん
23/11/09 05:57:57.74 yTQqiQ4s.net
>物理学だと、ニュートンやアインシュタインの理論が提示されたときに大量に置いていかれることが起きたから、普通な感じたけど。
デマ
628:１３２人目の素数さん
23/11/09 06:56:52.80 r2tnycls.net
今IUTを深く理解している人が10人とか15人くらいとか言われているが、これが50人くらいになったら、もう十分に理解されたと言っていいだろう。
629:１３２人目の素数さん
23/11/09 07:25:45.86 yTQqiQ4s.net
この応援スレはデマスレですが、
>日本人が完全に新しい理論を出す
数学でも物理でも完全に新しい理論=
トンデモ理論を理解できないのだろう
630:１３２人目の素数さん
23/11/09 09:39:48.79 E5h+19Iu.net
>>604
アインシュタインの相対論か提出された時、
物理学は哲学と完全に分離してなかったので、
完全に置いてかれた人が山ほど出たんや�
631:ﾅ。 当時、理解できた人が両手で数えられたとかいうのは、わりかし本当に近い。 ということもわからんくらいの、常識のない奴が書いてるのか。なる。
632:１３２人目の素数さん
23/11/09 09:40:22.73 E5h+19Iu.net
>>606
お前は何を言ってるのだ。
633:１３２人目の素数さん
23/11/09 09:42:42.95 E5h+19Iu.net
>>605
まあIUTで新しい結果が、出始めたら、
受容するかきちんと否定するかを迫られるわな。
それで、否定ができなかったら、
受容されたと言っていいんでしょうね。
634:１３２人目の素数さん
23/11/09 11:23:26.57 YUOP9IYT.net
お互い意見が平行線な場合に何が起きるかというと
たいがい並行なままになる
あとは次世代以降に支持者の割合が増えるか減るかして
片方が勝ったように見える状態に落ち着く
本当の決着じゃ無いけどな
635:１３２人目の素数さん
23/11/09 11:24:14.72 YUOP9IYT.net
ただ、IUTからの歩み寄りがない超不健全な状態なので
税金カットしていいと個人的には思うけど
636:１３２人目の素数さん
23/11/09 12:52:30.43 SKg8CNgz.net
IUT側の眼にはIUTしか入っていないのではないか
637:１３２人目の素数さん
23/11/09 16:49:20.15 r2tnycls.net
T. Dupuyは、このままIUT理論が誰にも相手にされず、忘れ去られてしまうのはもったいない、と言った。
IUT理論はabc予想の証明を目的とし、その目的に特化した理論で、他の用途には使えない、ゆえに、多大の労力と時間を注ぎ込んで勉強する価値はない、と考えていたのだろか。
638:１３２人目の素数さん
23/11/09 17:15:24.29 sRDig52X.net
IUTは単遠アーベル幾何学による大域体の理論を標榜するが、ショルツの
位相線形空間に対応したcondensed理論などとは双曲曲線でリンクするんだろうか
Joshiや加藤がそういう解説ができれば良かったんだけどね
外部の人気のある理論と接続しないと上がり目はないよ
639:１３２人目の素数さん
23/11/09 17:25:52.94 sRDig52X.net
ショルツの理論は明らかにラングランズ対応のコホモロジー理論を意識しているけど
IUTのそもそもの動機は、代数体に対するコホモロジーをHA理論の拡張としつつ、
その代替として遠アーベル幾何学による小平S変形理論の一般化を試みるという
ものだったはず
なら代数体の楕円曲線での幾何学的ラングランズ対応を記述するモジュライ空間を
IUTから解釈する方法もあるはず
そういう話ができないなら、IUTをABC予想以外では誰も使いこなせないのだろう
640:１３２人目の素数さん
23/11/09 17:41:50.68 yTQqiQ4s.net
>Joshiや加藤がそういう解説ができれば良かったんだけどね
シバ神が踊るとかポストモダンなんでしょ
IUTはなんでもありの便利な道具だから
641:１３２人目の素数さん
23/11/09 20:21:17.85 r2tnycls.net
IUTのエッセンスは、足し算と掛け算を切り離して環構造を一旦解体し、ゆるさを持たせた形で環構造を再構成して、不等式を導き出す、だろ。
今回の3つの改良版IUTも似たようなことをするのだろう。
オリジナルのIUTを応用して練習問題を解く、みたいな。
642:１３２人目の素数さん
23/11/09 21:58:06.59 h9hAZINa.net
>>611 数件取り潰し、関係者は懲戒解雇
このくらいすべき
霊長類研はそうなった
643:１３２人目の素数さん
23/11/09 22:01:12.94 1ZwzN0Uh.net
>>618
どんな法律を適用すればよいと思う？
644:１３２人目の素数さん
23/11/09 22:15:03.30 r2tnycls.net
もっちーはラングランズ プログラムに批判的。
645:１３２人目の素数さん
23/11/09 22:42:17.86 udnfSwAI.net
ラングランズ プログラムを連呼する仲間褒め集団が気色悪い。
あのビジネスモデルでいつまでもアカポスと研究費を獲得できると思っているのだろか。
646:１３２人目の素数さん
23/11/09 23:05:29.12 Ay44L5ff.net
IUTのビジネスモデル
↓
加藤文元×川上量生×東浩紀「数とはなにか-IUT理論と数学の立ち位置」
この表題はIUTの立ち位置をよく表している。
・IUTはポストモダン類似の物語で数学ではない。
望月新一監修.川上量生あとがき.加藤文元著「宇宙と宇宙をつなぐ数学」では、
IUTTをトマスクーン流の科学革命でパラダイムシフトと位置付け
「IUT語。IUT理論は、一般的な数学のパラダイム(の枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」
と明言した。
またIUT「Alien」ではガタリと類似していると指摘されていたし
東浩紀はデリタを自認している。
トマスクーンもガタリもデリタもフランスポストモダン。
647:１３２人目の素数さん
23/11/09 23:35:05.29 I5AVeeGx.net
ポスト構造主義というより
アカデミックポスト確保ありきの政治構造の主義主張。
648:１３２人目の素数さん
23/11/09 23:54:43.93 udnfSwAI.net
30年もワイルズ、谷山-志村と言い続けていれば、流石に飽きられる。
649:１３２人目の素数さん
23/11/10 00:02:11.45 6GxPNQA8.net
>>624
オカルトIUT信者乙
650:１３２人目の素数さん
23/11/10 01:30:42.59 IarZHppj.net
>>606
恥知らずな嘘吐きドクズに生まれつくってどんな気持ち？
651:１３２人目の素数さん
23/11/10 02:43:51.28 o/OkDkNK.net
>>619
嘘で叩いてるやつに侮辱罪や名誉毀損の
適用可能性があるわな。
アベガーみたいな奴らに適用されてるやつ。
652:１３２人目の素数さん
23/11/10 02:54:55.89 4tEfDYEy.net
URLﾘﾝｸ(ahgt.math.cnrs.fr)
AHGT
" With the support of CNRS, JSPS-Kakenhi, the Leibniz-Gemeinschaft, and the National Science Foundation (DMS-1641185). "
おおお、NSFも金を出している。
653:１３２人目の素数さん
23/11/10 03:04:19.96 6GxPNQA8.net
>>627
まず京大教授に放送法違反
654:１３２人目の素数さん
23/11/10 03:28:28.68 4tEfDYEy.net
ラングランズ プログラムを連呼する仲間褒め集団は乞食と詐欺師を兼業しているようなもの。
655:１３２人目の素数さん
23/11/10 03:44:19.58 5RCTXK/o.net
>>629
放送見てないけど
それもしかすると特定できるんじゃね。
ギリギリアウトかもよ。
名誉毀損や侮辱はやんなよ。
普通にアウトだと思ったら
何も言わずに通報するし。
656:１３２人目の素数さん
23/11/10 03:49:29.23 GdmUBxbE.net
違法な侮辱の放置はさらなる犯罪を誘発するから
叩き潰すべき
657:１３２人目の素数さん
23/11/10 03:53:07.15 rvggUN9r.net
>>629
誰のこと言ってるの?
なんの放送?
658:１３２人目の素数さん
23/11/11 05:53:28.40 67Jttq/W.net
>>590
IUTT語は矛盾が矛盾でなくなる言語だから
659:１３２人目の素数さん
23/11/11 09:16:47.54 F73CQlIp.net
一つの矛盾が矛盾でなくなれば
すべての矛盾が矛盾でなくなると言ったのは
ラッセルだったか
660:１３２人目の素数さん
23/11/11 14:05:35.87 D90EtwDB.net
>>615
>そういう話ができないなら、IUTをABC予想以外では誰も使いこなせないのだろう
IUTの発展形のHATと
バーチ・スウィンナートン＝ダイアー予想が関連しているという
//iva
661:nfesenko.org/wp-content/uploads/adtbs.pdf Higher adelic approach to the Tate-BSD conjecture, talk July 2023 The discreteness of global elements in geometric adeles is a crucial property to use. This discreteness was established in positive characteristic and recently in characteristic zero. This is closely related to the higher adelic Riemann–Roch theorem. https://ja.wikipedia.org/wiki/%E3%83%90%E3%83%BC%E3%83%81%E3%83%BB%E3%82%B9%E3%82%A6%E3%82%A3%E3%83%B3%E3%83%8A%E3%83%BC%E3%83%88%E3%83%B3%EF%BC%9D%E3%83%80%E3%82%A4%E3%82%A2%E3%83%BC%E4%BA%88%E6%83%B3 バーチ・スウィンナートン＝ダイアー予想（バーチ・スウィンナートン＝ダイアーよそう、英語: Birch and Swinnerton-Dyer conjecture）は、数論の分野における未解決問題である。略してBSD予想 (BSD conjecture) と呼ばれ 予想はクレイ数学研究所によってリストされた 7 つのミレニアム懸賞問題の 1 つとして選ばれ、最初の正しい証明に対して100万ドルの懸賞金が約束されている[1]。
662:１３２人目の素数さん
23/11/11 14:11:16.61 MmQJcEZZ.net
>>635
IUTはなんでもあり、さ
663:１３２人目の素数さん
23/11/11 14:20:42.97 +fo9ICJw.net
>>637 矛盾している理論はいかなる命題も証明可能
664:１３２人目の素数さん
23/11/11 14:30:26.01 MmQJcEZZ.net
こっそりdefinitionallyもあるしねえ
665:１３２人目の素数さん
23/11/11 18:55:00.91 SSa4jAuV.net
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
666:１３２人目の素数さん
23/11/12 01:26:07.93 P+Qsv7nr.net
セクション予想の証明はモーデル予想の別証明にもなっている？
667:１３２人目の素数さん
23/11/12 02:29:40.33 MlNI5+1c.net
わかってないやつほど えらそうにせつめいするんだよ
これは大先生のお言葉だ
668:１３２人目の素数さん
23/11/12 06:43:37.90 AqzTvpKt.net
TikTok LiteでPayPayやAmazonギフトなどに変換可能な4000円分のﾎﾟｲﾝﾄをプレゼント中！
※既存TikTokユーザーの方はTikTokアプリからログアウトしてアンインストールすればできる可能性があります
1.SIMの入ったスマホ・タブレットを用意する
2.以下のTikTok Litのサイトからアプリをダウンロード（ダウンロードだけでまだ起動しない）
URLﾘﾝｸ(lite.tiktok.com)
3.ダウンロード完了後、もう一度上記アドレスのリンクからアプリを起動
4.アプリ内でTikTok未使用の電話番号かメールアドレスを使用して登禄
5.10日間連続のチェックインで合計で4000円分のﾎﾟｲﾝﾄゲット
ﾎﾟｲﾝﾄはPayPayやAmazonギフト券に変換可能！
家族・友人に紹介したり通常タスクをこなせば更にﾎﾟｲﾝﾄを追加でゲットできます。
669:１３２人目の素数さん
23/11/12 08:38:20.60 VZrFDCrS.net
>>643
簡単で良いな
670:１３２人目の素数さん
23/11/12 09:26:16.88 ucyGcHHh.net
>>622
ソーカル事件じゃん
671:１３２人目の素数さん
23/11/12 10:14:13.59 JikZcPFG.net
IUTは量子計算のほか意識の科学にも応用できたりして
【日本発の数学理論 IUT理論とABC予想】
ようつべ/watch?v=Q1DUocqDYWU
茂木健一郎×加藤文元×川上量生
>＜目次＞
>0:00 ダイジェスト
>1:24 数学界の超難問 ABC予想
>11:37 IUT理論とABC予想の歴史
>17:
672:28 なぜABC予想は論争的になっているのか >33:09 IUT理論と意識の科学 >56:03 IUT理論とABC予想を徹底解説 >1:35:22 IUT理論の拡張と普及 >1:50:24 論理と音楽は似ている >1:53:25 ファイナルコメント
673:１３２人目の素数さん
23/11/12 11:23:18.58 ucyGcHHh.net
>>646
意識とか言い始めたらオカルト
674:１３２人目の素数さん
23/11/12 11:24:39.59 ucyGcHHh.net
そもそも茂木が喋ることに耐えられる時点で科学者の思考をしてない
675:１３２人目の素数さん
23/11/12 11:40:49.71 EJx9wgXJ.net
>>643
こういう方法もあるんだな
676:１３２人目の素数さん
23/11/12 11:49:13.15 ucyGcHHh.net
>>638
爆発律ね
677:１３２人目の素数さん
23/11/12 15:31:33.12 hntX1qJg.net
>>646
東 浩紀の次はモギケンか
カトブンも完全に数学者やめちゃって
ただの芸人になっちゃったんだな
678:１３２人目の素数さん
23/11/12 16:01:40.63 /Drsaocq.net
IUTは数学ない、
望月文元が焼肉パーティー上で騒いだよたばなしだが、
とりまき共々ばらまいた責任は重い
679:１３２人目の素数さん
23/11/12 16:04:07.82 /Drsaocq.net
IUT≠数学
680:１３２人目の素数さん
23/11/12 18:10:06.06 7ERUsa56.net
日本語不自由で草
681:１３２人目の素数さん
23/11/12 18:28:45.74 /Drsaocq.net
>>628
フランス検察､電通のパートナー企業を捜査 東京五輪含めスポーツビジネスの汚職にメス
URLﾘﾝｸ(www.newsweekjapan.jp)
682:１３２人目の素数さん
23/11/12 18:29:17.81 ViVxd15A.net
茂木は自己が否定も肯定も場合言及の仕方を心得てる時点で、普通。
わかりもしないことを否定するだけじゃなく、侮辱したり、名誉毀損したり犯罪に片足突っ込んでるこのスレにいるバカがあたおか。
683:１３２人目の素数さん
23/11/12 18:33:16.82 hntX1qJg.net
>>656 モギケンは普通に芸人だね 俳優としては大根だったけどｗ
684:１３２人目の素数さん
23/11/12 19:13:53.21 HbXy4xA9.net
誰かグロタンディークの遠アーベル セクション予想について解説してくれ。
685:１３２人目の素数さん
23/11/12 19:44:36.06 ucyGcHHh.net
クオリアとか言ってる時点でオカルト
686:１３２人目の素数さん
23/11/12 20:59:03.58 HbXy4xA9.net
Zen大学は、セクション予想の一般人向けの説明ができなくて、IUTで金儲けという企みは失敗するだろう。
687:１３２人目の素数さん
23/11/12 22:11:30.70 DMW9jWow.net
あれで完全解説っていうのは流石に羊頭狗肉だろう
688:１３２人目の素数さん
23/11/13 00:47:29.07 vxGj9BOD.net
the essential content of anabelian geometry
は、
addition reconstructed from multiplication
[i.e., addition “dominated by” multiplication!]
ということでよいか。
689:１３２人目の素数さん
23/11/13 02:39:37.11 Kjwp9CaE.net
>>652
責任も何もないよ
そういう学問なんだから究めたい人は究めたら良いそれだけ
690:１３２人目の素数さん
23/11/13 02:44:40.25 SXGyS+T/.net
数学の「復元」なら証明が必要だ。
>>630
復元復元と連呼しあやしい復元装置を作り振り回す、
矛盾点を高次元のお話にしたり、ではもはや数学ではない！
691:１３２人目の素数さん
23/11/13 16:07:14.15 8bfY/bui.net
>>659
その認識は古い
IIT知らないのか
692:１３２人目の素数さん
23/11/13 18:24:22.91 XeiqPc7U.net
>>665
ほぼオカルトだろw
693:１３２人目の素数さん
23/11/13 21:11:55.16 8bfY/bui.net
>>666
圏論の本書いてる西郷甲矢人とか計算神経科学の研究者がプロジェクトやってる
くらいには数学になってきてる。豊穣圏やヒルベルト空間とかを使った
確率論になるらしい
694:１３２人目の素数さん
23/11/13 21:58:48.75 Q++RkXqp.net
>>665
低学歴みーっけ
IITは形而上学を仮定してるから論理学を満たさないオカルトだよ
あまりにも無知すぎる
695:１３２人目の素数さん
23/11/13 21:59:18.15 Q++RkXqp.net
>>667
全く意味がない
形而上学を仮定してる時点でオカルト
バカすぎて形而上学の意味すらわかってないのだろうけどw
696:１３２人目の素数さん
23/11/13 22:00:40.11 Q++RkXqp.net
>>667
あの本読んでマトモだと感じる時点でヤバすぎるよお前
論理学の対象になるのは集合のみであることを理解しておらず
適当な言葉を当てはめたら論理が成り立つという妄想を開示してるからな
これラッセルのパラドックスとその解決からして理解出来てない底辺層
697:１３２人目の素数さん
23/11/13 22:02:06.81 Q++RkXqp.net
言葉を並べて論理になると思えてしまうのは素朴集合論の話で
ラッセルのパラドックスを引き起こすから
「私は数学基礎論の知識が0で論理を全く理解してません」
と自白してるに等しい
698:１３２人目の素数さん
23/11/13 22:02:34.12 Q++RkXqp.net
100年前の数学基礎論すらわかってない無知が意識とかウケるね
699:１３２人目の素数さん
23/11/13 22:03:50.58 Q++RkXqp.net
形而上学の意味もわかってなさそう
形而上学が問題とされるのはある概念が言及されるたびに内容が変わり
使う人により内容が変わることで爆発律が成り立つことだ
爆発律が成り立つならその論理には全く予測能力が無い
700:１３２人目の素数さん
23/11/13 22:05:54.54 Q++RkXqp.net
マトモな科学者が書く論文には意識などという言葉は出てこない
なぜならそれが何を指すのか人によって変わるから論理の対象にならないし科学の対象になりようがないからだ
ちなみにIITの論文をちゃんと読めば前提として意識の存在を導入しながら
結論はその意識とやらがただの石ころや金属塊にも当てはまってしまうようになる
マトモな思考力があるなら仮定が間違っているとして仮説を棄却する
IIT界隈は数学基礎論の知識が0なので間違ってる仮説を正しいと言い張ってる
701:１３２人目の素数さん
23/11/13 22:06:19.41 Q++RkXqp.net
論文の初めと終わりで指す内容が変わってる時点で形而上学なんだよ
そんな事もわかんねー低レベルな界隈
702:１３２人目の素数さん
23/11/13 22:07:44.71 Q++RkXqp.net
数学・論理学・科学の対象になるのは言及するたびに指す内容が変わったりしない言葉だよ
指す内容が変わるなら明示的に表記を変える
たったこれだけの事すらわかってないからIIT界隈やクオリア界隈と関わったら終わりだよ
数学基礎論わからん奴に数学基礎論教えたとして
時間の無駄
703:１３２人目の素数さん
23/11/13 22:08:20.22 Q++RkXqp.net
マトモな科学者が論文のタイトルに意識とか書かないのはそういう視点なのに
理解してないから入れちゃうんだろうな
704:１３２人目の素数さん
23/11/13 22:09:32.48 Q++RkXqp.net
触れるたびに内容が変わる記号なんかで論理が成り立つと思えてしまう時点で更生不可能
教えても意味がない
705:１３２人目の素数さん
23/11/13 22:10:06.14 Q++RkXqp.net
これを教えてもらうまでわからない奴は論理的思考力が無い
706:１３２人目の素数さん
23/11/13 22:14:45.57 Q++RkXqp.net
頭が悪い人たちには永久にわからない事だろうけど
論理学は曖昧さを扱えないのではない
曖昧なものは確率分布など幾らでも扱う方法がある
論理学としてあってはならないのは「どのような曖昧さなのか」という曖昧な対象の指す内容を断りなく変更すること
指す内容を変えるなら表記を明示的に変えなければならない
人によって指す内容が変わるならそれも表記として別のものにする
たったこれだけのことがわかってない奴に何も成し遂げられるわけがない
時間の無駄
教えても意味ないよ
世の中のほとんどは15歳くらいでこのくらいのことわかって奴らなんだから
オッサンになってから理解しても意味ない
707:１３２人目の素数さん
23/11/13 22:15:40.99 Q++RkXqp.net
こんな簡単な事すら考えてないのにIUTとか意識とか究極的に難しいことを考えようとする時点でヤバい
708:１３２人目の素数さん
23/11/13 22:17:02.23 Q++RkXqp.net
クオリア界隈はとにかく数学の基礎をやってないので
「曖昧さを扱えるけどその曖昧さは断りなく変わらない」
という状態を考えることができない
709:１３２人目の素数さん
23/11/13 22:17:40.31 Q++RkXqp.net
本人たちは最先端をやってるつもりなのだが
100年前の論理学すら学んでないのでお笑いでしかない
710:１３２人目の素数さん
23/11/13 22:19:46.57 Q++RkXqp.net
論文の最初と最後で指す内容が変わる言葉とか
マトモなジャーナルならエディターレベルでリジェクトしてブラックリスト入りだよ
それをマトモじゃないジャーナルとマヌケなレビュワーを探し続けてガチャを引いて科学だと思い込んでる状況
711:１３２人目の素数さん
23/11/13 22:23:12.29 Q++RkXqp.net
素朴集合論の問題点すら把握してないレベルの奴らが「悩んで」その解決に圏論が使えると妄想してるの
絶対に笑ってはいけないシリーズだよ
712:１３２人目の素数さん
23/11/13 22:26:08.53 Q++RkXqp.net
クオリア界隈は間違いなく素朴集合論という言葉を聞いた事すらないし爆発律も知らないまま死ぬ
713:１３２人目の素数さん
23/11/13 22:26:46.26 Q++RkXqp.net
もし知ったらクオリア界隈で居続けることは不可能だろうからな
714:１３２人目の素数さん
23/11/13 22:28:14.27 Q++RkXqp.net
こいつら今の数学や科学には形而上学が足りてないとまで妄想してそうだからタチが悪い
足りてないんじゃなくて否定されてるんだよ
715:１３２人目の素数さん
23/11/13 22:41:56.85 Q++RkXqp.net
>>667
これ素朴集合論と命題論理しか理解してないと自白してますわ
述語論理すら知らんし適当な言葉を論理に当てはめられると思ってるので公理的集合論を知らない
このレベルのことを表すのにトポスなんて全く必要ではないし意味がない
この界隈はこのレベルのおかしさを周りが誰も指摘できないレベルの奴しか居ない
URLﾘﾝｸ(i.imgur.com)
URLﾘﾝｸ(i.imgur.com)
716:１３２人目の素数さん
23/11/13 22:43:48.28 Q++RkXqp.net
常に論理が成り立つような量化子を書けば良いだけだが
これが「クオリア」の本質よ
とっくに解決されてることを学ぶ気もないので「新発見」しちゃうという
717:１３２人目の素数さん
23/11/13 22:45:36.08 Q++RkXqp.net
この本は本当に酷くて
代数学なんて見た事すらなくて「圏論なら構造を分析できる！」みたいな無意味な思い込みが並んでるだけ
これを見てすごいと思える奴も相当ヤバい
718:１３２人目の素数さん
23/11/13 22:47:20.01 Q++RkXqp.net
普通の論理学はどういう範囲で当てはまる論理式なのか指定できるのだがw
それを見た事も考えた事もない自白というのは凄すぎる
719:１３２人目の素数さん
23/11/13 23:15:09.67 Q++RkXqp.net
もっと言えばIIT論文の何がヤバいかと言えば
なんの根拠もない思いつきを「公理」として掲げて否定しようがないなどと強弁しているところ
これは数学基礎論を学んだことがないと自白してるに等しい
720:１３２人目の素数さん
23/11/13 23:18:57.26 Q++RkXqp.net
量子力学の公理化なんて文脈で公理という言葉を使うことがあるが
それはどこまで仮定減らせるかという文脈で減らせずに残るものを公理と呼んでるにすぎない
否定不可能な前提を公理と呼び自分にの思いつき通りに論理展開できるなどという発想はマトモな自然科学には存在しない
物理学ではむしろ否定可能な仮定を公理と呼んでいる
公理という言葉は既にどういう意味を持つか定められているのに
証明責任を逃れる目的で前提を公理と言い張るのは自然科学ではあり得ない
自然科学をマトモに学んでない集団だとそこから伝わってしまう
721:１３２人目の素数さん
23/11/13 23:20:40.66 Q++RkXqp.net
数学でもそうだが
公理という言葉はどの公理系を採用するかは自由であり公理系ごと否定され得ることを前提にしている
そういう背景を学ぼうとも理解しようともしたことがない浅い人たちの妄想
完全なオカルトだよ
722:１３２人目の素数さん
23/11/13 23:22:12.29 Q++RkXqp.net
IITは疑似科学だという批判があるらしいが
全くの見当はずれだ
疑似科学どころか論理学を満たしてない
非論理的だから非科学そのものであり疑似科学みたいに科学っぽさを兼ね備えていたりしない
疑似科学の段階にすら達してないよ
論理を満たさない
723:１３２人目の素数さん
23/11/13 23:22:54.21 Q++RkXqp.net
ある言葉が指してる内容に論文の始めと終わりで変化があるとか
疑似科学でもやらない愚行
疑似科学に失礼だよ
724:１３２人目の素数さん
23/11/13 23:2
725:3:57.80 ID:Q++RkXqp.net
726:１３２人目の素数さん
23/11/13 23:32:57.75 Q++RkXqp.net
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
727:１３２人目の素数さん
23/11/13 23:41:01.22 Q++RkXqp.net
たぶんアドホックな仮説というものが何故許されないのかわからないんだろうな
本気で
そういうことを理解できるだけの知性が備わってない
証明責任とか考えた事も無いのだろう
728:１３２人目の素数さん
23/11/13 23:45:56.05 Q++RkXqp.net
まあオカルトはどうでも良いので
IUTについて
IUTは
・公理から導かれるロジックとその結論に欠陥はあるか？
・ロジックに欠陥がなくても予言能力や応用可能性の点で有用か？
の様々なレベルの疑義があるわな
正しいには正しいけど全く使い道のない定理とか体系は無数にあるからな
729:１３２人目の素数さん
23/11/14 01:21:18.74 wdJblonV.net
公理の意味すらわからずに卒業して何の証拠もない思いつきを公理と言い張るの
教育の失敗だろ
そんな妄想抱いているなら他の何を丸暗記してても全く価値がない
730:１３２人目の素数さん
23/11/14 01:23:11.94 wdJblonV.net
部分点を合計して試験の単位を認定してる時点で
「量としては少ないが致命的な影響を及ぼす欠陥思考」
を防ぐことができない
731:１３２人目の素数さん
23/11/14 01:34:19.23 wdJblonV.net
東大卒なのに東大から相手にされてない人って
その辺を二言三言やり取りするだけで見抜かれて弾かれちゃうんだよね
相手の承諾
732:なく言葉の意味をコロコロ変える奴とかな
733:１３２人目の素数さん
23/11/14 01:36:07.70 wdJblonV.net
言葉の指す意味はもちろん探っていいし変えても良い
ただし相手と合意をして明示的にだ
ここが全くわかってない
確かに大学の必修科目にそれを学ぶ項目は無いのかもしれないが
過学習すぎるし汎化性能が低すぎる
殆どの学生は汎化できるし学べること
特殊スキルでもなんでもなくて学べない奴が特殊
734:１３２人目の素数さん
23/11/14 02:34:17.82 rzIaxIT8.net
基礎論屋と圏論屋は出ていけ。
気色悪い。
735:１３２人目の素数さん
23/11/14 06:06:50.81 KnubwXxQ.net
Wikipedia
Section Conjecture
異様にスカスカなんだが。
736:１３２人目の素数さん
23/11/14 06:07:18.97 KnubwXxQ.net
URLﾘﾝｸ(en.m.wikipedia.org)
737:１３２人目の素数さん
23/11/14 08:17:27.12 CzWoFyuH.net
>>701
>オカルトはどうでも良いので IUTについて
IUTは数学ではない。
数学の遠アーベル幾何学からIUT語のIUTへ転落した。
738:１３２人目の素数さん
23/11/14 08:25:25.31 CzWoFyuH.net
>>706
このIUT応用スレはIUT信者のサティアンだったな。
739:１３２人目の素数さん
23/11/14 08:28:23.90 CzWoFyuH.net
>>710
応用→応援
740:１３２人目の素数さん
23/11/14 08:36:45.74 wdJblonV.net
>>709
どのあたりが数学じゃないのか部外者にもわかりやすく頼む
741:１３２人目の素数さん
23/11/14 09:10:33.71 CzWoFyuH.net
望月新一監修.川上量生あとがき.加藤文元著.宇宙と宇宙をつなぐ数学.では、
「IUT語。IUT理論は、一般的な数学のパラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」と明言している。
742:１３２人目の素数さん
23/11/14 10:42:13.95 wdJblonV.net
>>713
それだけなら一般的じゃない数学なだけであって数学に含まれちゃうじゃん <
743:br> 数学の中に一般的なのと特殊なのがあるだけだよな？
744:１３２人目の素数さん
23/11/14 10:44:26.95 wdJblonV.net
そんなことはどうでも良いからIUTの論理的おかしさとかIUTが何故使えないかについて具体的に頼むわ
745:１３２人目の素数さん
23/11/14 11:00:57.32 KnubwXxQ.net
もっちーは、” 単なる「新しく発見された一数学的現象」として理解し、淡々と論理的に受け入れればよいはずのものですが、” と言っている。
it is important to remember that, just like SGA, IUT is formulated entirely in the framework of
“ZFCG”
(i.e., ZFC + Grothendieck’s axiom on the existence of universes),
とも言っている。
746:１３２人目の素数さん
23/11/14 11:03:22.77 CzWoFyuH.net
>数学の中に一般的なのと特殊なのがあるだけだよ
数学がクーンの意味でパラダイムシフトして特殊なIUT語のIUTになった。
一方加藤文元はIUT語が未だに未完成とのべている。
747:１３２人目の素数さん
23/11/14 11:06:24.66 CzWoFyuH.net
>>716
あら、>>713
748:１３２人目の素数さん
23/11/14 11:19:55.82 wdJblonV.net
文元ってIUTわかってるんか？
怪しいな
749:１３２人目の素数さん
23/11/14 11:23:11.82 wdJblonV.net
10年経っても本人すら応用できない以上
たとえ論理的に正しかったとしても使い道がないと言えそう
750:１３２人目の素数さん
23/11/14 11:40:53.92 KnubwXxQ.net
たった10年で、
遠アーベル セクション予想の証明
ジーゲル零点の非存在の証明
エラい強いeffective abc不等式
751:１３２人目の素数さん
23/11/14 11:48:48.81 lN6dthQw.net
やっぱzfcgなんか
752:１３２人目の素数さん
23/11/14 11:50:27.69 CzWoFyuH.net
>>719
>文元ってIUTわかってるんか？
加藤文元氏はIUTTは望月加藤の2人セミナーよりIUTの主定理まで構築したし
今やIUT研究の所長を公言している。
望月新一IUTT提唱者は、明らかに望月新一監修の>713と>716が矛盾している。
ただし未完成のIUT語からは矛盾していないかも？
私はIUT信奉者でないから全体がよくわからんし、
RIMSか文科省へ問い合わせてみたらいかが？
753:１３２人目の素数さん
23/11/14 12:54:37.59 Mz6vJbyQ.net
>>691
何だかんだ西郷の本読んでんの？w
でも君基礎論の研究者っぽくないな。トートロジーの不変性を強調してるっぽいが、
ヒルベルト空間の（非可換）確率論みたいな設定には十分圏論を適用できるだろ
何故なら非可換な測度という数学的構造があるからだ
圏論が関係の不変性や合成を扱う理論ということくらい彼らはわかってるよ
あと、IITについてはM.Marcolliも多分関心を持ってる。統合情報に言及したはず
それで情報のコホモロジー理論とか提唱してる。非可換モチーフの研究者だから
754:１３２人目の素数さん
23/11/14 13:04:57.86 KnubwXxQ.net
アデレードの圏論の人はポスドクを20年くらいやるのかな。
755:１３２人目の素数さん
23/11/14 13:22:11.87 CzWoFyuH.net
圏論を量子力学や場の量子論で用いるなら、
まず数学の圏論とIUT語の「圏論」を分離が必要だ。
そのためにもRIMSを解体すべきだな。
756:１３２人目の素数さん
23/11/14 13:26:01.48 KnubwXxQ.net
圏論でアカポスゲットはエラい厳しい。
757:１３２人目の素数さん
23/11/14 13:52:49.18 nSXFV0ri.net
>>726
頭悪い書き込みすんなよ
他人の思考に介入するとか
独裁者の思考だわ
758:１３２人目の素数さん
23/11/14 13:56:52.05 CzWoFyuH.net
>>728
あ、このスレはIUT信者のためのIUT応援スレだったな
759:１３２人目の素数さん
23/11/14 13:59:29.44 KnubwXxQ.net
圏論屋と基礎論屋は乞食。
760:１３２人目の素数さん
23/11/14 18:09:15.53 qNSYu4+B.net
>>724
何言ってんのお前
こんな数学基礎論は必修だよ必修
述語論理すら知らねーなら自.殺しろマジで
761:１３２人目の素数さん
23/11/14 18:10:21.56 qNSYu4+B.net
>>724
ただの群論と構造主義すら知らねーんだもん
あまりにも教養なさすぎて論外
ただただ大学教育の失敗
762:１３２人目の素数さん
23/11/14 18:10:49.80 qNSYu4+B.net
>>724
論理学を満たさないと言われてんのに意味を理解できないわけ？
763:１３２人目の素数さん
23/11/14 18:11:55.74 qNSYu4+B.net
>>730
基礎論屋って何？
述語論理すら知らずに数学語ってるなら死ぬべきだよ
必修だろ
764:１３２人目の素数さん
23/11/14 18:22:53.02 Ite+vgTi.net
脳科学の連中は、意識と脳の対応関係だけでクオリアが分かると決めつける
要するに対応関係という刀でクオリアというゴルディアスの結び目を断ち切れる
とほざく２１世紀のアレキサンダー大王
まあ、それ以外やりようがないからな
でも、それって難問でもなんでもないだろ ただ開き直ってるだけだから
765:１３２人目の素数さん
23/11/14 18:25:42.92 62ugfuer.net
>>735
そもそもクオリアとか形而上学で論理学を満たさないから意味ないよ
形而上学語る奴は論理を知らない低学歴だと自白してるようなもん
爆発律すら知らねーんだもん
766:１３２人目の素数さん
23/11/14 18:26:11.22 62ugfuer.net
>>724
トートロジーの不変性って何？
また低学歴脳障害が知ったかぶりしてるの？
767:１３２人目の素数さん
23/11/14 18:27:06.99 62ugfuer.net
>>735
意識もクオリアも人によって解釈が違う以上論理学を満たさない
全く意味がない
人によって変わらない定義すら書けないんだからバカしか居ない
768:１３２人目の素数さん
23/11/14 18:27:21.85 62ugfuer.net
論理の意味すら理解してないってことだ
769:１３２人目の素数さん
23/11/14 18:30:30.17 meOEe3mL.net
>>735
IITはそういう理論ではないだろ
単なる脳機能マップ論ではない
770:１３２人目の素数さん
23/11/14 18:31:23.61 62ugfuer.net
>>724
ぽいってなんだよ知ったかぶり
お前理解してない言葉並べてるだけだな？
俺が指摘したことを1文字も読めてない
脳障害だよ
771:１３２人目の素数さん
23/11/14 18:31:59.21 Ite+vgTi.net
>>736
科学は何らかの意味で独断が入ってる
独断の無い学問は何も語らない
772:１３２人目の素数さん
23/11/14 18:32:42.31 62ugfuer.net
>>740
IITは因果関係の強さが意識の大きさとかほざいてるんだが
数学も物理もやったことない知恵遅れが考えた妄想なので
因果関係は生物関係ないただの物理で成り立つことだとわかってない
生まれてから因果関係の理論を一度も学んだことすらないバカどもの空想だよ
773:１３２人目の素数さん
23/11/14 18:33:23.31 62ugfuer.net
>>742
独断かどうかはどうでもよい
形而上学は論理的であることが不可能
そして物証がない妄想
774:１３２人目の素数さん
23/11/14 18:35:08.70 Ite+vgTi.net
>>740
>IITは…単なる脳機能マップ論ではない
まあ、でもマッピングすらできないなら
「あんたが勝手にそう思ってるだけだろ」
という話だよな
775:１３２人目の素数さん
23/11/14 18:36:04.50 62ugfuer.net
因果関係の大きさ=意識の大きさ とかほざいたら
マトモに勉強してきた学生に突っ込まれてすぐに撤回するのが健常者
この集団は周囲の疑問とか理解するだけの知能ないから相手にするだけ時間の無駄だよ
776:１３２人目の素数さん
23/11/14 18:36:45.45 62ugfuer.net
>>745
マッピングなんて出来るようなハイレベルなものじゃないよ
因果関係が強ければ意識っていう意味不明な妄想を前提にしてる
777:１３２人目の素数さん
23/11/14 18:37:26.04 62ugfuer.net
それアメリカンクラッカーでも球の数増やすと意識芽生えることになるんですけどwwwwwww
因果関係の意味すらわからないとかバカすぎる
778:１３２人目の素数さん
23/11/14 18:37:31.19 Ite+vgTi.net
＞意識の大きさ
何を測ってるのか知らんけど、直感できるものなのかね？でないなら
「あんたが勝手にそう思ってるだけだろ」
という話だよな
779:１３２人目の素数さん
23/11/14 18:39:19.21 62ugfuer.net
>>749
そうなんだよ
因果関係の大きさとやらを意識の大きさだと仮定したから
アメリカクラッカーの球を数百万個並べたら人間より意識が大きくなるwwwmwww
独断どころじゃない
780:１３２人目の素数さん
23/11/14 18:40:09.72 62ugfuer.net
因果関係は決定論的システム全てに成り立つ性質であることを理解してない
高校レベルの物理すら理解してないぞあいつら
781:１３２人目の素数さん
23/11/14 18:42:46.53 meOEe3mL.net
>>736
悪いけど時間の無駄だわ
色々ずれすぎてる。反証可能性と述語論理の関係すらわかってなさそうだし、
IITを形而上学とか言ってる割に爆発律がどうとか批判の軸が無くなってる
ただ確かなのは、意識の理論に関してはちゃんと査読論文書いてる
782:IIT連中のが 論理論理喚いてるあんたよりは有望だろう
783:１３２人目の素数さん
23/11/14 18:44:41.64 62ugfuer.net
>>752
反証可能性とか低学歴丸出しだよお前
反証可能性が科学と関係あると妄想してそうだけど
反証可能性は証明責任を果たす議論の必要条件でしかないよ
あまりにも無知すぎる
784:１３２人目の素数さん
23/11/14 18:45:05.82 62ugfuer.net
>>752
形而上学だから爆発律が成り立つんだよ
死ぬほど頭悪いなお前
785:１３２人目の素数さん
23/11/14 18:45:40.81 62ugfuer.net
>>752
査読論文なんて意味ないよ
低レベルジャーナルとバカなレビュワー引き当てれば良いだけの話
786:１３２人目の素数さん
23/11/14 18:46:08.47 62ugfuer.net
>>752
本当に意識の理論ならCNS乗るよ
形而上学だからエディターリジェクト
787:１３２人目の素数さん
23/11/14 18:46:41.81 62ugfuer.net
エディターリジェクトされて指摘されたことを直さずに低レベルジャーナルを探し続けてるの
人間として終わってる
788:１３２人目の素数さん
23/11/14 18:47:31.73 62ugfuer.net
>>752
本当にバカすぎて形而上学の問題を理解できてないのウケる
同じ言葉が複数の意味を持ったら爆発律ってことすらわからん低知能が意識とか笑えるwwwwwww
789:１３２人目の素数さん
23/11/14 18:47:49.69 meOEe3mL.net
>>750
それも散々研究者から論理的に否定されてんのにどうしようもないなあんた
意識はただの大規模な力学系じゃねえよ
脳障害とかブーメラン過ぎて自爆してくれて有り難いわw まあ頑張ってな
790:１３２人目の素数さん
23/11/14 18:48:32.26 62ugfuer.net
>>752
こういうバカって反証可能性を科学の必要条件だと妄想してそうでウケる
791:１３２人目の素数さん
23/11/14 18:49:29.70 62ugfuer.net
>>759
論理的に否定されてないよ
どこにこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ？ん？
699 １３２人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する
792:１３２人目の素数さん
23/11/14 18:50:04.36 62ugfuer.net
知恵遅れって科学哲学者が科学の内容を決めてると思ってそう
教養が無さすぎる
793:１３２人目の素数さん
23/11/14 18:51:22.81 62ugfuer.net
>>759
神経回路の接続をめちゃくちゃにしてΦが変わらないまま意識を失わせることができる
はい完全論破
反論してみ？
絶対無理だから
指摘したケースだけを禁じるアドホックな仮説しか出さない
さらに指摘は無限に増やせるぞ？
794:１３２人目の素数さん
23/11/14 18:51:28.82 meOEe3mL.net
>>754
いやそれ間違ってるぞ。形而上学＝爆発律ではない
論理わかってないって、あんたのブーメランだよ
ちなみにIITは観測データも参照する理論なので、反証可能性はそれとセットになる
色々視野が狭すぎる。基礎論の研究者っぽくない、が気にくわないなら研究者では
まずないな。まあ改めて頑張ってくれ
795:１３２人目の素数さん
23/11/14 18:52:54.74 62ugfuer.net
その定義からしてΦには「どういう主体が何を目的として行動するか」という情報が入ってないので
Φを維持したまま殺して意識を失わせることができる変換が無限に存在する
796:１３２人目の素数さん
23/11/14 18:53:30.80 62ugfuer.net
>>764
形而上学=爆発律だよ
間違ってると感想を書いても意味ない
異なることを同一扱いしたら即時に爆発律が成立する
爆発律知らないんだろ？
797:１３２人目の素数さん
23/11/14 18:54:08.96 62ugfuer.net
>>764
反証可能性の話など一切してない
アドホックな仮説の意味知らないから今ググってんの？
死にたくならんの？それ
798:１３２人目の素数さん
23/11/14 18:54:26.71 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害？
799:１３２人目の素数さん
23/11/14 18:55:04.98 62ugfuer.net
>>764
間違ってるという文字には意味がない
反例書けないなら自殺しな
800:１３２人目の素数さん
23/11/14 18:55:50.71 62ugfuer.net
>>764
そもそも形而上学がウィトゲンシュタインに完全否定された事すら知らないとか
教養が無いにも程がある
801:１３２人目の素数さん
23/11/14 18:56:08.35 62ugfuer.net
大学で合コンしかしてなさそう
802:１３２人目の素数さん
23/11/14 18:58:05.30 62ugfuer.net
不勉強な奴がバカな事言って恥晒しても
自己責任だよな？
形而上学がなぜ完全否定されたかすらわかってないとかwwww
803:１３２人目の素数さん
23/11/14 18:58:28.27 62ugfuer.net
なぜ歴史を知ろうとすらしないのか
804:１３２人目の素数さん
23/11/14 19:00:02.79 62ugfuer.net
論理学を破っていてもこういう低学歴シンパを騙せれば飯食えるってか
生きてて恥ずかしく無いのか？
805:１３２人目の素数さん
23/11/14 19:00:20.43 62ugfuer.net
疑似科学だなんて疑似科学に失礼だよ
806:１３２人目の素数さん
23/11/14 19:01:13.42 62ugfuer.net
疑似科学は論理学は満たしてるので
IITを疑似科学扱いするのは疑似科学に対して失礼
論理学すら満たしてないんだから無意味なポエムだよ
807:１３２人目の素数さん
23/11/14 19:04:56.
808:45 ID:62ugfuer.net
809:１３２人目の素数さん
23/11/14 19:05:47.90 62ugfuer.net
古代ローマから連綿と続く証明責任論を学んでいればポパーはあんな恥ずかしい珍説を披露せずに済んだ
不勉強なバカの空想でしかないし
それに気づけない奴も同類
810:１３２人目の素数さん
23/11/14 19:06:26.68 62ugfuer.net
まあ学問の話する時にポパーとかクーンとか持ち出す奴は五流以下だよ
聞き齧っただけで中身を見てないし自分で考えてない
811:１３２人目の素数さん
23/11/14 19:06:55.27 62ugfuer.net
科学哲学者は科学をやったことがない
なんでこんな事すらわかんねーのかねwwwwww
812:１３２人目の素数さん
23/11/14 19:08:09.60 62ugfuer.net
>>764
反証可能性の話なんて誰もしてねえんだが
脳障害？
アドホックな仮説を指摘されてんのに逃げたから非科学確定な？
813:１３２人目の素数さん
23/11/14 19:10:00.69 62ugfuer.net
間抜けな奴の間抜けな状態を言い表す目的には
バカな科学哲学者(科学未経験の素人)の造語を使ってやるのも良い
ただしそれは科学の基準ではない
ただの照明責任論の範疇がほとんど
科学素人のくせに科学に意見するようなバカが
古代ローマ法学に端を発する証明責任論を学んでいるわけがないのよなあw
814:１３２人目の素数さん
23/11/14 19:20:46.36 62ugfuer.net
証明責任の意味すらわかってないのに「ハンショーカノーセー」とか意味もわからずに念仏唱えてるのマジウケるね
815:１３２人目の素数さん
23/11/14 19:21:16.20 62ugfuer.net
論理学満たしてないからそもそも反証可能性なんて関係ねーよ脳障害が
816:１３２人目の素数さん
23/11/14 19:22:20.89 62ugfuer.net
IITは疑似科学だとか批判した人！
疑似科学に謝ってください
疑似科学は論理学は満たしてますがIITは論理学を満たしてません
いくらなんでも疑似科学に失礼すぎますっ！
817:１３２人目の素数さん
23/11/14 19:23:21.84 62ugfuer.net
疑似科学→論理学は満たすが証明責任を果たしてない
IIT→論理学を満たさないし証明責任も果たしてない
一緒にするのは失礼すぎる
818:１３２人目の素数さん
23/11/14 19:30:31.82 62ugfuer.net
>>759
論理的に否定されてないよ
この世界のどこにもこれに対する反論は存在しない
アドホックな仮説じゃ意味ないぞ？ん？
699 １３２人目の素数さん[] 2023/11/13(月) 23:32:57.75 ID:Q++RkXqp
「石ころにも当てはまるならそれは意識ではないだろう」と批判されると
この界隈は「では意識が定義される条件を追加する。大きさが神経回路程度のもの」と反論したつもりになってるけど
神経回路そのものの接続を故意に入れ替えたり切断したりすることで意識が無いと誰もが思う状態にすることが出来るのにIITではその状態にも意識がある結論をしてしまう
つまりこれは疑似科学で有名な「アドホックな仮説」そのものだ
IIITの論文単体では疑似科学以前の非論理だが
批判に対する反論の部分はアドホックな仮説そのものだな
IITの対象となる範囲を最初に示すことはできず、批判があったらそれに条件を追加するというだけ
反論部分は代表的な疑似科学だ
この状態に耐えられる時点でマトモではない
普通なら状況を理解しで離脱する