25/12/31 07:24:41.29 AEa5t8r6.net
>>449
やれやれ茶番劇だな
それは望月新一加藤文元のパラダイムシフトしたトンデモIUTでなく数学の発展。
数学とトンデモIUTを混ぜ合わせ
トンデモIUT応援か。
N大もみ消しじいさんが
IUT論文の不正な査読から話題変え
のもみ消しか、
まず京大RIMSで査読中にIUT構築よりabc予想が解決したと現況調査票で文科省へ
報告したりレス>447
サイディの利益相反行為レス>448
不正査読疑惑に答えなさい
451:１３２人目の素数さん
25/12/31 07:32:45.94 AEa5t8r6.net
>>450
>447→>440 ➕>447
452:１３２人目の素数さん
25/12/31 08:06:06.48 AEa5t8r6.net
>>439
>id:t6wxL/t4
前橋市役所の破廉恥と数学とトンデモIUT
を混ぜ合わせて恥ずかしくないのか？
いや、トンデモIUTはなんでもあり
でトンデモIUT不確定性原理まであったなあ
453:１３２人目の素数さん
25/12/31 08:25:09.82 UfYjYbqe.net
混ぜ合わせずに離してみたとき
関係性どうしの関連性に気づくはず
454:１３２人目の素数さん
25/12/31 08:33:05.27 UfYjYbqe.net
公式見解としては
どの役所からも
「不正査読の指摘は当たらない」
という見解しか出しようがないだろう
455:１３２人目の素数さん
25/12/31 08:40:17.07 AEa5t8r6.net
京大数理研は伏魔殿だからなあ
いや、
要覧によれば実際は次世代幾何学国際研究センターがトンデモIUTの階層的な教団で布教センターだったね、
2014年頃からだ
456:１３２人目の素数さん
25/12/31 08:42:08.26 AEa5t8r6.net
>>454
違います！
457:１３２人目の素数さん
25/12/31 09:08:34.89 UfYjYbqe.net
>>456
何か証拠でも？
458:１３２人目の素数さん
25/12/31 09:13:43.90 AEa5t8r6.net
>>457
それはその部署できめるんだよ
459:１３２人目の素数さん
25/12/31 09:19:03.40 UfYjYbqe.net
上にお伺いをたてないといけない案件ではなかろうか
460:１３２人目の素数さん
25/12/31 10:31:23.49 y6u1h871.net
なんか、ｾｲﾓｸ(井目)のシロウトが、プロに互先で
立ち向かうみたいな議論だよｗ
”来月１２日に一つの結果が出る”
”もう一つについては来年８月に
一つの結果が出るかもしれない”
（>>428-429）
は、インサイダー情報だろう
プロしかしらない
来月１２日を待てばいいんじゃね？
そこで、アンチは詰みだろう
461:１３２人目の素数さん
25/12/31 10:42:39.21 UfYjYbqe.net
>インサイダー情報だろう
>プロしかしらない
素人でもわかるロジックに過ぎない
462:１３２人目の素数さん
25/12/31 12:11:03.79 UfYjYbqe.net
10℃
くもりのち晴れ
463:１３２人目の素数さん
25/12/31 13:07:24.55 YyQrmwcP.net
プロwwww
何様wwwwwww
464:１３２人目の素数さん
25/12/31 13:57:00.04 AEa5t8r6.net
>>460
>ID:y6u1h871
線形代数の|・|≠0も同値関係も因果律も
理解できないトンデモIUT応援 CULTのsetaはカキコミ禁止だよ。
URLﾘﾝｸ(hissi.org)
465:１３２人目の素数さん
25/12/31 13:59:00.51 AEa5t8r6.net
>>460
ほれ >>2
466:１３２人目の素数さん
25/12/31 16:21:12.82 y6u1h871.net
なんか
おれを止められると
勘違いしているやつがいるね
５ｃｈ数学板のニワカかなｗ
467:１３２人目の素数さん
25/12/31 16:41:37.82 AEa5t8r6.net
>>461
>素人でもわかるロジックに過ぎない
またIUTプロのトンデモ不確定性原理の
応援が沸いてきたのか
468:１３２人目の素数さん
25/12/31 16:47:32.83 AEa5t8r6.net
IUTのトンデモ破廉恥より
オカルトマニア氏の方が数段優れている。
オカルトマニア氏が京大PRIMSへ投稿したら出版されるだろう
469:１３２人目の素数さん
25/12/31 17:14:59.92 YyQrmwcP.net
あいつが？wwwwwwwwwww
470:１３２人目の素数さん
25/12/31 17:43:37.99 wxAGxovy.net
>>460
＞来月１２日に一つの結果が出る”は、インサイダー情報だろう
＞プロしかしらない 来月１２日を待てばいいんじゃね？
なんでIUTの正否が、1/12の前橋市長選で決まるんだ？ ●ってんのか？（嘲）
URLﾘﾝｸ(www.jomo-news.co.jp)
471:１３２人目の素数さん
25/12/31 18:21:20.87 F6M83lO5.net
望月さんが言うリーンによる検証は進展どうなってますかね
472:１３２人目の素数さん
25/12/31 20:34:34.40 AEa5t8r6.net
>>469
京大PRIMS編集委員長は
パラダイムシフトしたあの世のIUT不確定性原理を唱える望月新一教授。
473:１３２人目の素数さん
25/12/31 21:09:39.88 UfYjYbqe.net
>>470
関係性どうしの関連性を指摘しているのが分からないのは
池沼
474:１３２人目の素数さん
25/12/31 21:16:00.25 F6M83lO5.net
>>473
何か適当に言ってみただけ？
475:１３２人目の素数さん
25/12/31 21:18:42.95 UfYjYbqe.net
>>474
構造が似ているとは思わない？
476:１３２人目の素数さん
25/12/31 21:22:39.63 wxAGxovy.net
>>473
なんだ認知症か
>>475
典型的な認知症による妄想
477:１３２人目の素数さん
25/12/31 21:26:51.23 UfYjYbqe.net
>>476
抽象化の能力のない者とは話したくない
478:１３２人目の素数さん
25/12/31 21:30:58.10 F6M83lO5.net
>>475
全く思わない
479:１３２人目の素数さん
25/12/31 21:39:30.06 UfYjYbqe.net
なら話にならない
480:１３２人目の素数さん
25/12/31 22:13:25.81 F6M83lO5.net
>>479
議論になるよ
481:１３２人目の素数さん
25/12/31 23:34:39.78 /GK6mPhU.net
>>460
広く関係者なら誰でも知ってる程度のことを
インサイダー情報というならそうだろうよ
誰が選ばれようと何の影響もないけどな
あと「前橋市選挙」とか言ってる奴はseta並みのアホ
妄想もほどほどにしな
482:１３２人目の素数さん
26/01/01 01:33:38.03 2VmaeU01.net
謹賀新年
483:１３２人目の素数さん
26/01/01 02:20:28.13 2VmaeU01.net
昨年はIUTが数学でなく机上の空論.妄想でIUTの弊害が示された年だった。
今年はICM2026の年、
数学が発展する年でありますように
484:１３２人目の素数さん
26/01/01 07:22:22.03 hA3exuzq.net
>昨年はIUTが数学でなく机上の空論.妄想でIUTの弊害が示された
公式には全然そうなっていない
485:１３２人目の素数さん
26/01/01 09:13:43.94 2VmaeU01.net
>>483
・IUTが数学でなく机上の空論.妄想カルトは、
IUTの望月新一自己検証.レス>5->6
望月新一監修加藤文元著IUT本
レス>15->19と因果律。
(>>27)
・要覧より未だ京大数理研の次世代幾何学国際研究センターが階層的なIUT布教の中心地。
・IUTに取り憑かれたjoshiの悲劇 レス>31
486:１３２人目の素数さん
26/01/01 09:23:25.05 2VmaeU01.net
(>>405) ->407
⚫︎2019年4月
川上量生企画.望月新一監修.加藤文元 著「宇宙と宇宙をつなぐ数学」
・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」
⚫︎2021年4月
京大PRIMSがIUT論文を特別号として強行出版
⚫︎2021年夏RIMS訪問滞在型研究
「IUT理論の拡がり」。
川上量生企画.望月新一監修.加藤文元著
「宇宙と宇宙をつなぐ数学IUT理論の衝撃」はIUT理論の拡がりの公式本。
487:１３２人目の素数さん
26/01/01 16:46:44.79 ZaoGwBkp.net
>>484
系3.12を予想として前提とするのは別に構わない
系3.12が定理だとは認められていない
488:１３２人目の素数さん
26/01/01 17:19:39.52 ZaoGwBkp.net
そもそも査読通った、賞呉れとか言ってる人は他人に自慢したいだけかと
489:１３２人目の素数さん
26/01/01 18:00:43.97 ZaoGwBkp.net
URLﾘﾝｸ(itest.5ch.net)
0072 １３２人目の素数さん 2026/01/01(木) 17:27:36.90
自信があるなら、無理して通す必要なんてなかった。
無理して査読を通したのは、むしろ自信の無さのあらわれと取れる。
何がなんでも「証明」を既成事実にしたいという意志のあらわれ。
ID:k+Bb12HM(1/2)
|
0073 １３２人目の素数さん 2026/01/01(木) 17:35:22.29
挫折の少ないエリートだからこそ、
信じられないほど依怙地になる
ということもありうるのだろう。
ブログには一般人にも分かる「おかしなこと」が書かれていて、
偏屈さが表出している。
ID:k+Bb12HM(2/2)
490:１３２人目の素数さん
26/01/01 18:11:25.24 ZaoGwBkp.net
言い訳しかしない人は見苦しいもんだね
491:１３２人目の素数さん
26/01/01 18:18:31.96 hA3exuzq.net
系3.12が定理ではないということを
著者も編集部も公式に表明したわけではない
492:１３２人目の素数さん
26/01/01 18:37:30.87 ZaoGwBkp.net
定理だと認めるのは著者でも編集部でもないけど
493:１３２人目の素数さん
26/01/01 18:38:44.08 hA3exuzq.net
定理ではないと認めるのは？
494:１３２人目の素数さん
26/01/01 18:40:01.30 agOXdvtE.net
正月なんで1年ぶりに来てみたけど進展なさそうやね
redditの方も漁ってくるわ
また1年後に来ます
495:１３２人目の素数さん
26/01/01 18:40:28.52 ZaoGwBkp.net
A. 系3.12が定理だとは認められていない
B. 系3.12が定理ではないと認める
AとBは同値ではない
496:１３２人目の素数さん
26/01/01 18:43:39.70 hA3exuzq.net
だから492は491の否定ではありえない
497:１３２人目の素数さん
26/01/01 19:00:20.96 ZaoGwBkp.net
491は487を読み違った上での●違い発言
498:１３２人目の素数さん
26/01/01 19:02:49.49 H5nGFbvd.net
もう内容空っぽってバレてるから
これ以上の進展はないよ
ブンゲにも用済みで切られたなw
499:１３２人目の素数さん
26/01/01 19:02:49.61 ZaoGwBkp.net
「公式」を決めるのは数学界であってPRIMSではない
PRIMSが論文をアクセプトしても数学界が認めないなら、PRIMSの失態
500:１３２人目の素数さん
26/01/01 19:04:33.49 ZaoGwBkp.net
結論 IUは理論にも何にもなってない
501:１３２人目の素数さん
26/01/01 19:28:24.70 hA3exuzq.net
>>499
論文の成否についての
公式な見解というものは
出されたことがない
502:１３２人目の素数さん
26/01/01 19:42:57.26 ZaoGwBkp.net
「公式見解」は出されるものではなく空気として醸成されるものかと思われ
まあ、ヘヴィサイドの演算子法みたいな例があるから
系3.12がIUとは全然違う方法で正当化される可能性はあるよ
503:１３２人目の素数さん
26/01/01 19:46:51.65 ZaoGwBkp.net
フェルマーの最終定理はワイルズが証明したのであって
フェルマーが証明したとはみなされない
504:１３２人目の素数さん
26/01/01 19:50:23.10 2VmaeU01.net
URLﾘﾝｸ(plaza.rakuten.co.jp)
505:１３２人目の素数さん
26/01/01 20:06:27.85 eu5+Qu4Q.net
>>504
望月新一ブログ
Leanによる形式化は、長期的な検証や説明責任を可能にする記録装置となり得るか？
2026.01.01
506:１３２人目の素数さん
26/01/01 20:14:30.66 hA3exuzq.net
>「公式見解」は出されるものではなく空気として醸成されるものかと思われ
５ちゃんの戯言的にはそれでよいだろう
507:１３２人目の素数さん
26/01/01 21:10:05.23 ZsoWtjfj.net
そのブログ読んですぐわかるのはやっぱり望月先生は基礎論や計算論は完全に素人、まさに学部の３回生レベルの知識しか無いとわかる
508:１３２人目の素数さん
26/01/01 23:06:05.89 hi1cUq/m.net
>>504
既に分かり切ってたこととはいえ
やっぱりメタ数学を自在にやってもいいと思ってるんだ
「不定元のような論理式」なんて人間に扱う能力はないヨネー
それが形式化されてこなかったのは
当たり前だから専門家の盲点だったみたいな話でなくて
単に数学（"一階述語理論としてのZFC"）でないからダヨネー
きっと、ダメって言われてることは頭の半分で理解してるけど
それを否認するために「Leanの専門家」や「基礎論の専門家」が
登場して好意的なことを言ってくれてるんだよね？
一昨年のA氏・B氏・C氏、あるいは去年のレポートの某B氏みたいに
"cynical work of fiction"なのかしらん
509:１３２人目の素数さん
26/01/01 23:34:16.62 H5nGFbvd.net
実在するかどうかもわからん「専門家」
でお人形遊び始めた 惨めな尊師
510:１３２人目の素数さん
26/01/01 23:57:50.57 H5nGFbvd.net
>>507 まさに語るに落ちるだね
やましいところへの予防線なのか知らんけど
学部レベルもわかってないだに基本的なことも勉強していないだの丁寧に勉強していればちゃんとわかるはずだの、
人に吐いた唾が全部自分にかかってる尊師であった
511:１３２人目の素数さん
26/01/02 06:51:13.85 Po0z+OuU.net
想像される最悪のオチ
「IUから任意の命題が証明可能だと判明」（”IUパラドックス”の誕生）
512:１３２人目の素数さん
26/01/02 06:56:08.53 Po0z+OuU.net
類似の展開１
ラッセルのパラドックス
URLﾘﾝｸ(ja.wikipedia.org)
{x|x∈x⇒⊥}から矛盾⊥が証明される
カリーのパラドックス
URLﾘﾝｸ(ja.wikipedia.org)
{x|x∈x⇒P}から命題Pが証明される
上記の圏論版を実現してしまったか？
513:１３２人目の素数さん
26/01/02 07:13:18.68 Po0z+OuU.net
類似の展開２
□Pは「自然数論で命題Pが証明可能」とする
ゲーデルの不完全性定理
□(□⊥⇒⊥)⇒□⊥ ”矛盾が証明されると矛盾する、と証明されるなら、矛盾が証明される”
レーブの定理
□(□P⇒P)⇒□P ”Pが証明されるならP、と証明されるなら、Pが証明される”
514:１３２人目の素数さん
26/01/02 07:18:06.98 jWbUuQsL.net
結末はどうなるのか。バザード氏は、ABC予想の証明は「誤り」と判定される可能性や、作業量が膨大で検証が頓挫する可能性を上げている。もう一つの可能性は、証明が「正しい」と検証されること。「そうなれば大きな驚きとなり、数学界は望月氏に謝罪することになるでしょう」
望月氏にもメールで問い合わせたが、返事はなかった。（石倉徹也）
515:１３２人目の素数さん
26/01/02 07:48:42.77 Po0z+OuU.net
>>514
望月新一のいうmutationが、圏論自体を圏論内でコード化できるようなものであれば
そこから過去のパラドックスと同様の現象が発生することになる
つまり、フレーゲ、ヒルベルトにつづく第三の男として、望月新一の名前が刻まれることになる
さて、ラッセル、ゲーデルにつづく第三の刺客となるのは誰なのか？
516:１３２人目の素数さん
26/01/02 07:57:55.31 Po0z+OuU.net
望月新一のいうmutationが、何でもかんでも正当化してしまう残念なもの、だったとして
そこから、系3.12の矛盾が導かれる、ということには、直接結びつかないかもしれない
つまり系3.12は望月予想としては生き残る
その正当化に成功しなかったというだけのこと
517:１３２人目の素数さん
26/01/02 08:39:00.94 yRMZ8PCL.net
そんなレベルですらない
そもそもiutは述語論理で書き表すことすらできないが正解やろ
518:１３２人目の素数さん
26/01/02 09:38:22.47 Po0z+OuU.net
LEAN「定理3.11から系3.12が証明できました」
ＭＳ「当然だろう 見たか、ＰＳ！」
LEAN「それだけじゃありません 定理3.11から任意の命題が証明できました」
ＭＳ「ん？なんだと？任意の命題？つまり、偽の命題も証明できる、ということか？」
LEAN「ま、そういうことになりますね」
ＭＳ「ウソだぁぁぁ！！！とりあえずこのことは我々だけの秘密としておいてくれ」
LEAN「残念ながら、この発見は数理論理学上大変重要なので、すでにarXivに論文をuploadいたしました」
ＭＳ「なんだとぉ！それじゃ系３．１２が数論で証明できたといえないどころかその事実も全部明らかになったということか」
LEAN「ま、そういうことになりますね ＰＳさんからもメール来てました。”やっぱ、そおかぁ”」
ＭＳ「うるせぇぇぇ！！！あいつに同情されるくらいなら死んだほうがマシだぁぁぁ」
LEAN「ま、そうコーフンしないで。フレーゲさんもヒルベルトさんも辿った道ですから」
ＭＳ「こんなことで数学史に名が残るとか・・・最低だ・・・ＯＴＬ」
519:１３２人目の素数さん
26/01/02 09:53:25.77 /eOPjJeC.net
>>517
>そもそもiutは述語論理で書き表すことすらできないが正解やろ
かも知れませんね
でもそれができないと断言もできません
520:１３２人目の素数さん
26/01/02 10:10:49.71 /eOPjJeC.net
>>513
Wikipedia見て面白かったです
□Pが「Pが証明できる」を意味するとして
◇Pはたぶん￢□￢Pとするのでしょうから
「￢Pが証明できない」ということになりますかね
否定が証明できないということで
ω無矛盾性みたいな状況を表現できることになると
521:１３２人目の素数さん
26/01/02 10:18:14.30 jWbUuQsL.net
東証100
-0.47%
522:１３２人目の素数さん
26/01/02 10:35:22.56 Zfl1IBjM.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
523:１３２人目の素数さん
26/01/02 10:37:33.19 Zfl1IBjM.net
>>522
⚫︎2021年夏秋。
コロナ禍で1年延期されたRIMS訪問滞在型研究 「IUT理論の拡がり」。
・川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の衝撃」(IUT本)は「IUT理論の拡がり」の公式本。
・IUT本はscholze stixレポートの回答書。
・IUT論文は数学でなくIUT語=望月新一語で書かれた「全く新しい理論」。
P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
・P45
「テータリンクは、かけ算系のモノイドと、抽象的な群としての局所的なガロア群だけで構成し、その「モノイド＋群」というデータから「たし算」を<復元>すること、つまり、復元しようとしたとき、どれくらいのひずみが発生するかを計算することが理論のポイントです」
こういう感じの説明は望月教授本人も様々な機会におこなってきま
した。
この説明自体は、例えば遠アーベル幾何学などの既存の数学の枠内で解釈できる話ですから、 ただの比喩でなく十分に
数学的な言説であるといえます
p51
・IUT語
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている
524:１３２人目の素数さん
26/01/02 10:41:29.19 Zfl1IBjM.net
>>523
p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
問題に対する部分的なあるいは最終的な解決であったりしますが、
>「パラダイムシフト」期においては、当分野に革命を起こすような大論文であることもあるでしょう
・
p69
「興味深い」ということ
>私は以前、望月教授に「望月さんの理論が発表されたら、数論の専門家より数理論理学や数学基礎論 の人たちの方が興味をもつでしょうね」と話したことがある。
実際、IUT理論はABC予想やその
ディオファントス問題の研究におけるそれまでの発展の文脈からは
一線を画しています。略
>それはこの分野における最先端に
位置する研究であるというより、
数学の非常に基本的なレベルでの
イノベーションを企画したもの
だからです
525:１３２人目の素数さん
26/01/02 10:41:56.02 jWbUuQsL.net
公式本？
526:１３２人目の素数さん
26/01/02 10:43:28.82 Zfl1IBjM.net
>>525
ほれ
>522
527:１３２人目の素数さん
26/01/02 10:45:31.89 jWbUuQsL.net
成立不成立に関する公式な見解が
問題になったのは最近のこと
528:１３２人目の素数さん
26/01/02 10:47:04.23 jWbUuQsL.net
Mはリーンを示唆したようだが
529:１３２人目の素数さん
26/01/02 10:49:06.03 Zfl1IBjM.net
2021年夏秋。
コロナ禍で1年延期されたRIMS訪問滞在型研究 「IUT理論の拡がり」の
組織委員長は望月新一教授。
公式HPにIUT本は掲載された。
以前から指摘されている。
530:１３２人目の素数さん
26/01/02 10:58:02.60 Zfl1IBjM.net
>>528
的外れ
リーンの対象は数学で
IUT語 望月新一語は対象外。
茶番劇だ
531:１３２人目の素数さん
26/01/02 11:02:29.23 Zfl1IBjM.net
>>527
海外では、
abc予想は京都京大ととりまき限定
定理で他はabc予想と受理以前から
言われてる。
532:１３２人目の素数さん
26/01/02 11:02:31.87 jWbUuQsL.net
リーンは４色問題とケプラー問題を検証したそうだが
533:１３２人目の素数さん
26/01/02 11:03:58.95 jWbUuQsL.net
>>531
それを公式に表明した文書は
Scholtzeのもの以外には何がある？
534:１３２人目の素数さん
26/01/02 11:21:04.06 PrlO19Yy.net
ICM全体講演によればabc予想の証明は一般に認められていない
Proceedings of ICM 2022, doi.org/10.4171/ICM2022/166
>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.
『サイエンス』の記事によればabc騒ぎは解決済み
Science 2025, doi.org/10.1126/science.aec9014
>...disagreements in mathematics tend to be resolved quickly
>and definitively, even in the case of a particularly difficult
>conundrum called the abc conjecture.
『ネイチャー』の記事でもとっくに解決済み
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.
新年のご挨拶2025で望月氏から称賛されたBoyd氏もS-Sに軍配を挙げる
『Inter-Universal Teichmüller Theory: Inside the Controversy』
>Regarding the abc conjecture– I don't expect that the IUT proof
>strategy will find acceptance. I think the concerns raised by
>the 2018 manuscript by Professor Peter Scholze and Professor
>Jacob Stix, "Why abc is still a conjecture", will remain.
Boyd氏はいわゆる数学者ではありませんが
IUGC conference及びIUT Summit 2025の講演者であり
集会の際には参加者らに積極的にインタビューを行っていました
結局は茶番劇にすぎなかったという評価
URLﾘﾝｸ(www.simonsfoundation.org)
>...gives rise to farcical situations such as the ABC conjecture,
>an important conjecture with a published proof in a reputable
>journal that many do not believe is correct.
535:１３２人目の素数さん
26/01/02 11:32:15.29 iRX6U1KL.net
leanに取り組むということは少なくとも本人は絶対正しいと思ってるんちゃうの？
536:１３２人目の素数さん
26/01/02 12:45:33.32 cyTGqQkU.net
>>535
>正しい
リーンは基礎論の数学に基づくから
不可能。
>>524
望月新一語で書かれたIUT論文は数学でなく、「パラダイムシフト」期においては、当分野に革命を起こすような大論文。こちらは誰も否定できないはったりw
537:１３２人目の素数さん
26/01/02 13:08:08.10 rJUrHsrr.net
予算取りの方便でしょ
leanなんて通る訳が無い 通るくらい形式化できるならとっくにコミュニティを納得させられたはず
538:１３２人目の素数さん
26/01/02 14:46:06.92 IrlCCJlM.net
Mとはその点で見解の相違がある
539:１３２人目の素数さん
26/01/02 16:26:01.32 yI6/mYwk.net
結局尊師にはもう
理解できない奴らは全員バカ
という荒唐無稽な他責論しか縋るものがないんだなぁ、もう
望月が基礎論集合論の基本もわかっていないことからくる壮大な勘違い、っていう恥ずかしいオチ
540:１３２人目の素数さん
26/01/02 17:40:12.60 K6CG+KsJ.net
もっちが使うと言ってるLeanはWin11で動作するの？
それともLinux？
541:１３２人目の素数さん
26/01/02 20:52:49.85 s0Ay06rF.net
Leanは数学の証明支援機能を持つ純粋関数型言語でプログラミング言語・システム。
一方、IUTの原理は万物の原理「緩み=不定性」で、数学の証明がない量子力学の不確定性原理まで含み数学の範囲を超えていてる。
つまり望月新一教授のトンデモIUTはLeanの範囲外。
542:１３２人目の素数さん
26/01/02 21:03:54.81 /eOPjJeC.net
>>541
それ
揚げ足取りじゃ無いかな
543:１３２人目の素数さん
26/01/02 21:05:26.95 K6CG+KsJ.net
LeanがWin11で動くなら自宅pcで試したい
544:１３２人目の素数さん
26/01/02 21:19:33.84 s0Ay06rF.net
>>542
IUTは数学の妄想？
緩み=不定性は
望月新一教授本人の文章からで
scholze stixレポートの回答だ。
➖
>>16
川上量生企画望月新一監修加藤文元著宇宙と宇宙をつなぐ数学。
p8 p9 p10
>IUTTでは、この足し算と掛け算の間にある「底なしに固いはの関係」を解体して変形を施すだけでなく、様々な
「緩み」=「不定性」が必然的に付随
してしまう、 「ゆるゆる」な状態で復元するのです。
言い換えれば、復元後の、足し算
と掛け算の関係というのは、
本来の固い関係そのものでなく、
本来の固い関係に対する「一種類の 近似」でしかありません。
>「底なしに固い」とされていた
概念的な構造の中に、
実は何らかの「不可避の内在的な緩み =「不定性」が存在するという発見 =発想の転換を軸に考えると、 次のような事例が頭に浮かびます。
>量子力学の場合、素粒子の力学
は、一つの固定された数学的
な仕組み(=古典力学に出てくる
ような微分方程式等)によって完全に決定されるものでなく、いわゆる「不確定性原理」に代表されるように、 様々な可能性に対する確率論的な分布という形でしか計算することができない、必然的かつ内在的な「不定性」を抱えている性質のものであることが、
理論の中心的な主張となっている
545:１３２人目の素数さん
26/01/03 18:08:20.16 yhrqT/dl.net
ブログ読んだけどさ、これ、Lean専門家側と早晩喧嘩別れするようにしか思えないんだが
546:１３２人目の素数さん
26/01/03 18:25:46.89 q6NZzniB.net
都合悪くなるとあいつらはバカ！で逃げるからな
それを周りが甘やかしてきたからもう改心不可能だろ
547:１３２人目の素数さん
26/01/03 18:28:03.15 q6NZzniB.net
もうどこどこで研究集会しましたとか
発表しましたくらいしか材料出せない尊師だけど
その勢いも明らかに弱まってるな、ってことがわかった記事だったね w
548:１３２人目の素数さん
26/01/03 19:45:34.37 SDpLrOtz.net
>>545
昨年のBoyd氏絶賛ブログ記事の結末があれだからねえ
今年も「Leanの専門家」やら「基礎論の専門家」やらが
脳内シアターに登場して都合のいいこと言ってくれてるけど
「不定元のような論理式」が「一階述語理論としてのZFC」で
形式化可能なんて言う専門家はおらんだろ
549:１３２人目の素数さん
26/01/03 19:51:11.08 5vxnaCof.net
アホじゃないの？
数学の記述として認められているのは述語論理のみ
それで記述できないならもはや数学ではない
述語論理で記述された理論ならleanにコーディング可能
数学でない何かをやりたいなら好きにすればいいが
その程度の事も調べられんのか？
550:１３２人目の素数さん
26/01/03 20:10:37.33 q6NZzniB.net
学部レベルのこともわかっていない望月
基礎に立ち返って勉強するってこともせず、世界に恥を晒し続ける
551:１３２人目の素数さん
26/01/03 20:12:12.06 q6NZzniB.net
>>548 ショルツが悪い、謝るべきだと激昂する学部長だとか、去年から妄想癖が一段酷くなったよなぁ、尊師
552:１３２人目の素数さん
26/01/03 20:27:47.56 SDpLrOtz.net
>>551 あけましておめでとう
というわけで一昨年（2024年の年頭）ですね
A氏・B氏・C氏が登場して（結局、誰だったんだよ）
氏に都合の良いことを言ってくれたけど
＞つまり、非公開な状況下では、上記のような証言が、こちらとしては
＞不思議な位に次々とまさに芋づる式に出てくるにも関わらず、公の場では、
＞逆に情報がいつまで経っても一切出てこない。その意味では、
＞昨年は私にとって、このいわば統合失調症のような激しい二面性、
＞別の言い方をすれば、「認知的不協和」の正体は一体何なんだろうか、
＞度々考えさせられる一年であった。
（wikipediaより引用）
＞認知的不協和とは、人が自身の認知とは別の矛盾する認知を抱えた状態
「矛盾する認知」とは何のことだろうね（）
553:１３２人目の素数さん
26/01/04 02:21:59.19 fKriGFm2.net
言うだけ言って逃げ回ってるだけ
ダサすぎるぞ、チンイチ
554:１３２人目の素数さん
26/01/04 03:45:34.69 M//qxiSG.net
ファラデーも笑い者にされてマクスウェルが助けて今では紙幣の顔になってる 紙幣になった物理学者が居ただろうか？
コペルニクスやガリレオもしぬまで一般人から幽閉されたが
ケプラーやニュートンが証明してくれた
もっちーは今そんな状況
555:１３２人目の素数さん
26/01/04 03:52:20.12 M//qxiSG.net
このスレの誰かがマクスウェル、ケプラー、ニュートンみたいになってくれれば良いのにな
無理か
556:１３２人目の素数さん
26/01/04 04:01:13.77 M//qxiSG.net
もっちーはファラデー チコブラ ガリ みたいな
直感的な超天才で当事誰にも理解できないされない
のかもしれないよ
557:１３２人目の素数さん
26/01/04 04:08:03.54 M//qxiSG.net
コペが地動説言ったらオマエラは超反対
ファラが電気と磁気は同じと言ったらオマエラは大笑い
558:１３２人目の素数さん
26/01/04 04:14:15.57 M//qxiSG.net
もっちーは説明が足りないのだよ
559:１３２人目の素数さん
26/01/04 04:18:50.66 fKriGFm2.net
という妄想が望月と取り巻きの脳内で行われてるんだよな 笑
560:１３２人目の素数さん
26/01/04 04:23:50.64 M//qxiSG.net
古代物理学はニュートンが生まれるまで古代物理学のままだった
561:１３２人目の素数さん
26/01/04 04:26:30.98 M//qxiSG.net
コペが生まれるまで人は天道説のみ
562:１３２人目の素数さん
26/01/04 04:28:38.57 M//qxiSG.net
ファラが生まれるまで磁力と電気は全く違うと思ったまま
563:１３２人目の素数さん
26/01/04 04:31:26.71 M//qxiSG.net
ディラック ボーア シュレ が生まれるまでスマホなど生まれなかた
564:１３２人目の素数さん
26/01/04 04:42:05.73 M//qxiSG.net
もっちはこんなにクソミソに言われる存在じゃないと思うよ
まるでコペやファラやケプやみたいな感じだ
酷い扱い
565:１３２人目の素数さん
26/01/04 04:55:34.06 M//qxiSG.net
素まんこ
566:１３２人目の素数さん
26/01/04 06:57:26.56 H0KUEkZG.net
ID:M//qxiSGは、典型的な新興宗教のカモだなぁ
URLﾘﾝｸ(hissi.org)
567:１３２人目の素数さん
26/01/04 07:09:16.10 sX7afMYE.net
>コペが生まれるまで人は天道説のみ
地動説が古代ギリシャにもあったことは
良く知られている
568:１３２人目の素数さん
26/01/04 07:44:52.32 M//qxiSG.net
チ。
569:１３２人目の素数さん
26/01/04 09:13:53.69 t7mFxGOO.net
>>548
年頭ブログ記事の内容を私なりに要約してみると
iutでは
(1) species/mutationの理論をメタ理論として
「一階述語理論としてのZFC」を扱えば
「不定元のような論理式」を扱うことができる
(2) それをleanで形式化してほしい
ってことでしょうか
(2)の動機はもちろん(1)に対する疑義を否定するためです
(1)のような理論は（現時点で）存在しません
類似例として思いつくのはモデル理論ですが
制約が多く(1)のように都合よく使えるものではありません
しかしブログ記事では相変わらず(1)は自明に成立としているので
何か壮大な勘違いをしていると思います
結局、自明を強調して詳細な説明を拒否する箇所に
手品のタネが隠されているということだと思います
（ブログ記事より引用）
＞species/mutationは、特に難しい話でもなく、取り立てて
＞新奇性のある話でもなく、多くの数学者が当たり前に脳内で
＞無意識のうちにこなしている処理を、（同様の概念が明示的に
＞記述されている適切な文献が見付からなかったために）
＞ただ自分で明示的に記述してみただけ
（中略）
＞多くの基礎論の専門家も認めている通り、species/mutationは
＞全然難しい話でも、新奇性のある話でもない。
570:１３２人目の素数さん
26/01/04 09:52:19.75 g8q48/k+.net
>>569
多くの基礎論の研究者が認めてるって
それだれ？
571:１３２人目の素数さん
26/01/04 11:15:12.54 t7mFxGOO.net
>>570
一昨年のA氏・B氏・C氏（>>552）は人間関係を話してくれたって
設定だから匿名でも仕方ないけど
今年のブログに登場する「基礎論の専門家」は
純粋に学術関連の発言なのだから
発言が本当なら匿名にする必要はないはずですよね
たくさんいるはずなのに一人も表に出せない/出てこないのは
なぜなんでしょうね？
（ブログ記事より引用）
＞また論文を公開した2012年以降も、何名かの基礎論の専門家にも
＞目を通していただいていますが、みんな口を揃えてまさしく
＞特に新奇性のない、当たり前なことしか書かれていないという
＞趣旨の評価や総括をしています。
572:１３２人目の素数さん
26/01/04 13:48:32.84 dzNpWROJ.net
>「不定元のような論理式」が「一階述語理論としてのZFC」で
>形式化可能なんて言う専門家はおらんだろ
任意の位取り記数法で有限小数全体の集合は無限集合、かつ、有理数全体の集合＝有限小数全体の集合∪循環小数全体の集合、かつ、有理数全体の集合は可算、よって有限小数全体の集合も可算。
同じ方法で任意の言語の有限長文字列全体の集合Sは可算であることを示せる。文字列としての論理式の長に上限は無いから論理式全体の集合N'は無限集合、かつ、N'⊂S、よってN'も可算。
整数環Zと環同型な Z'⊃N' が存在し、Z上の多項式環 Z[X] と環同型な Z'[X] が存在する。
「不定元のような論理式」とは X∈Z'[X] のことだろうか？
573:１３２人目の素数さん
26/01/04 16:12:31.89 fKriGFm2.net
望月含むトンデモ界隈は勘違いしがちだけど
コペルニクスもガリレオも
当時から専門家からの一定数の支持は得ていたんだがね
宇宙際の問題は尊師の論理学基礎論への根本的勘違いと勉強不足からくるvacuously true,
内容が何もないことだし
574:１３２人目の素数さん
26/01/04 22:53:04.30 M//qxiSG.net
違う違う
私が言いたいのはもっちはツビッキみたいなモンじゃ？ て事。
ツビッキはしぬまで誰からも理解されなかった
でも今では物理数学の世界標準になってますしお寿司
575:１３２人目の素数さん
26/01/04 22:59:27.92 M//qxiSG.net
物理数学でなくて純粋数学で言うと
ガロア理論は彼が生きた時代は誰も理解さえ、出来なかた
もちは生まれるのが早すぎた
576:１３２人目の素数さん
26/01/04 23:10:41.29 M//qxiSG.net
ゲルとショルが説明しろ説明しろやかましいから
頑張て説明してるけど誰も追いついてこれないので超困ってる
577:１３２人目の素数さん
26/01/04 23:45:20.16 dzNpWROJ.net
すぐ受け入れられなかったことしか共通項が無いので類推ではなくただの妄想
578:１３２人目の素数さん
26/01/04 23:57:07.00 I9zjin04.net
望月新一教授はscholze stixレポートの
数学の遠アーベル幾何学とIUTの違いを
説明できず回答がIUT本。
京大PRIMSでIUT理論が出版後も望月新一教授がIUTは全く新しいと主張している。
IUTはトンデモです。
↓
>望月教授は、言うなれば、だれも 話したことがない、新しい言語を用いて理論を組み立てました。
>>17
579:１３２人目の素数さん
26/01/05 00:07:54.26 6HKRGV1X.net
>>574
望月新一のIUT不確定性原理は
緩み=不定性のトンデモ原理の例だね。
IUT CULTだから取り憑かれる
とデュプイやジョシの悲劇になる
580:１３２人目の素数さん
26/01/05 00:21:20.52 6HKRGV1X.net
IUTは望月新一教授が「だれも 話したことがない、新しい言語を用いて理論を組み立てました」。
これは
過去の数学物理天体などと妄想IUTは全く無関係だ。
現在は数学と物理天体と妄想のIUTを混ぜ合わせるfakeを行っている。
581:１３２人目の素数さん
26/01/05 03:57:00.43 DgrdbaZL.net
この人は特別です、今回だけは特別です
ペテン師の常套句
みんなで大家さんとIUCULT
582:１３２人目の素数さん
26/01/05 07:46:20.84 drv6rZVN.net
結局メタ数学を無手勝流でガッツリ使ってましたってことかいな
「ZFCGはZFCの保存拡大」なんて学部生でもすぐ分かる程度の間違いやらかすレベルだってのに
>私自身、2010年～2011年頃、[IUTchIV]§3を執筆したとき、species/mutationは、
>特に難しい話でもなく、取り立てて新奇性のある話でもなく、多くの数学者が
>当たり前に脳内で無意識のうちにこなしている処理を、（同様の概念が明示的に
>記述されている適切な文献が見付からなかったために）ただ自分で明示的に
>記述してみただけのものに過ぎないという認識でした。
なんて書いてっから数学とメタ数学の違いも曖昧だったりするのかも
いずれにせよくだらんことでずいぶんと人の時間を無駄にさせたな
583:１３２人目の素数さん
26/01/05 16:48:58.19 K8qrgQGQ.net
大学１年の数学が理解できずに落ちこぼれた高卒素人がコピペで発●
自分が凡人だと認めると●ぬらしい・・・
みんな凡人だとわかってるのに自分だけが認めないのは哀れなもの
584:１３２人目の素数さん
26/01/05 20:06:21.42 drv6rZVN.net
IUT Summit 2028開催のお知らせ
URLﾘﾝｸ(ahgt.math.cnrs.fr)
IUT一派がMoment of Truthに向き合おうとしないので
無駄に時間を費やしてます
Inter-universal geometry と ABC予想 38
【引用開始】
47１３２人目の素数さん
垢版 | 大砲
2019/04/28(日) 19:30:00.50ID:Gx/Kh+tD
ID:Ebtl9jE0氏は前スレ973氏なのかな。遅ればせながらお久しぶりです（間違ってたらすみません）
IUT陣営が数学コミュニティから離れて宇宙際タイヒミューラー理論コミュニティとして活動を続ける決意があるなら
IUT・Ⅳの“Section 3: Inter-universal Formalism: the Language of Species”を精緻化し発展させた方がいいと思うんですけどね
どうも来年の「宇宙際タイヒミューラー理論の拡がり」は今までのワークショップと変わらないような気がします
価値や大局という言葉が出てますけど、IUTに対する懸念・疑問にはこれも含まれ、大物ではファルティングスやタオが表明している
IU形式主義の基礎を納得できる形で精緻化し、濫用と取られかねない不定性の利用もその基礎付けができると思うんだけど
（やらないだろうな……）
【引用終わり】
585:１３２人目の素数さん
26/01/05 20:21:55.36 drv6rZVN.net
おまけ
Inter-universal geometry と ABC予想 38
【引用開始】
750１３２人目の素数さん
垢版 | 大砲
2019/05/21(火) 20:25:54.21ID:mtULy2M4
IUT発表直後、エレンバーグのブログでタオが「ABC予想証明に関する限り最終節の内容はred herring（おとり、偽装）で、
最終節は今後の宇宙際幾何学の拡張に関連しているのではないか？」と書いていて、ほとんどの数学者もそう考えていたと思う
（ちなみにこのブログでロバーツは「Mは圏論に精通していないのではないか」と書いている）
しかし、red herringどころか「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、
IUTの本質的部分だったということだね。そもそもInter-Universalという名称を採用した根本的な理由は最終節の内容にある
ABC予想に関心を持つ若い研究者たちはIUTをred herringと捉え、叩き台として利用すればいいと思う
【引用終わり】
586:１３２人目の素数さん
26/01/05 21:23:38.35 OaXcc1cg.net
>「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、IUTの本質的部分だった
単遠アーベルとIUTの違いは何か？
587:１３２人目の素数さん
26/01/05 21:36:58.15 OaXcc1cg.net
遠アーベル幾何学は数学で、
IUTは望月新一語で書かれていて
望月新一しか理解できない。
alian universeもそうだね。
>>17
588:１３２人目の素数さん
26/01/05 21:42:00.58 OaXcc1cg.net
>>25
宇宙際タイヒミュラー理論は
遠アーベル幾何学の応用だ。
遠アーベル幾何学≠IUT
589:１３２人目の素数さん
26/01/05 22:42:33.58 OaXcc1cg.net
・遠アーベル幾何学とIUT。
大域的復元のアルゴリズムについて、
ａ. 遠アーベル幾何学。
Mochizuki, Shinichi
Topics in Absolute Anabelian Geometry
III: Global Reconsruction Algorithms
・zb mathReviewer: G.Faltings
b. IUTT。
IUT論文や「alien 」 .
a.とbの違いについてはscholze stixレポートの問いで説明が必要だ。
遠アーベル幾何学の専門家でzbmathReviewerのG.Faltingsも朝日新聞の取材へIUT論文が理解できないと述べた
>>14
c.結局、
望月新一監修加藤文元著「宇宙と宇宙をつなぐ数学」がscholze stixレポートへの回答書。
早期に予定通りIUT本英訳版を出版しなさい
590:１３２人目の素数さん
26/01/05 22:45:37.62 SiBqM6ok.net
これは勝手な感想だけど
遠アーベル幾何自体もあんまり将来展望無いんじゃないかなあ
ホモトピー？ホモロジー？取ったあとの圏で充満忠実（関手の全単射ね）になるような対象だけ考えるんでしょ？
それがどんな対象であるか考える必然性があるように思えないし
それしか考えないことに意味あるんだろうかとも思ったりも
591:１３２人目の素数さん
26/01/05 23:37:03.10 DgrdbaZL.net
玉川の講演聞いたけど、グロタンディークの名前だけが拠り所の人工数学だな
尊師のやらかしと李娘の出鱈目人事もあって
今やってる人らが老いたら無くなる分野
592:１３２人目の素数さん
26/01/06 05:45:25.20 oly51cAF.net
玉川の講演聞いたけど、グロタンディークの名前だけが拠り所の人工数学だな
>以前から「グロタンディークの名前だけが拠り所の人工数学ではないか」
という印象を持っていたので玉川の講演聴かなかった。
593:１３２人目の素数さん
26/01/06 06:50:22.22 oly51cAF.net
数学の本質が自由性にあるのは確かだが
神聖さのかけらもないものを
数学とは呼べない
594:１３２人目の素数さん
26/01/06 07:42:25.79 1BFKvTIv.net
>>591
>今やってる人らが老いたら無くなる分野
大学院生も居るし若い研究者も居るから
ずっと残りそうな気がするけどな
それと
もしもIUTでABC解けたと確認されたとしたら
実は相当役立つと認識されて
世界中の数論幾何研究者が殺到することになるかも
595:１３２人目の素数さん
26/01/06 08:33:04.83 brpHbdQK.net
>>27より
IUT論文は全く新しい理論としても未完成だから京大PRIMS特別編集委員会(玉川.柏原委員長)の論文受理は間違いだ。
よって京大PRIMS特別編集委員会
はIUT論文受理を謝罪し直ちに取り消す必要がある。
・その上でLean検証について。
IUT論文の正しさはパラダイムシフトと称した全く新しい理論の正しさでLeanで検証の数学の範囲外だ、IUT CULTと言われる理由だ。
まず本人とりまきがパラダイムシフトや罵倒を謝罪することで
次に自然言語による書き直しが必要だ
596:１３２人目の素数さん
26/01/06 08:41:41.27 brpHbdQK.net
>もしもIUTでABC解けたと確認されたとしたら
いや京大数理研では公式にIUT論文が受理される前からIUT構築よりabc予想が解決していた。
ところが出版時点でもIUT論文は望月加藤文元が全く新しい理論でも未完成だと認めた。
597:１３２人目の素数さん
26/01/06 10:04:39.56 brpHbdQK.net
>>590
>>28
IUTの流れとは違うと思う
F.Pop Stix らによるワークショップ
「遠アーベル幾何学と基本群の
表現」はいかがでしょうか？
598:１３２人目の素数さん
26/01/06 11:47:50.47 wa4mLucg.net
>私自身、2010年～2011年頃、[IUTchIV]§3を執筆したとき、species/mutationは、
>特に難しい話でもなく、取り立てて新奇性のある話でもなく、多くの数学者が
>当たり前に脳内で無意識のうちにこなしている処理を、（同様の概念が明示的に
>記述されている適切な文献が見付からなかったために）ただ自分で明示的に
>記述してみただけのものに過ぎないという認識でした。
これが数学者の口から出た言葉とは驚きだ
599:１３２人目の素数さん
26/01/06 12:28:04.84 dfkuojzb.net
>>594 そいつら全然業績出せてないじゃん、星以外
後半は 宝くじ当たったら俺は金持ち より可能性低いだろうね
600:１３２人目の素数さん
26/01/06 17:58:05.96 vlzh/4sK.net
>>599
玉川さんは？学会で遠アーベル幾何の特別講演もしてましたし
（IUTへの言及は一切ありませんでしたが）
601:１３２人目の素数さん
26/01/06 18:05:10.90 brpHbdQK.net
>>599
星は望月新一教授が指導教授でIUTと遠アーベル幾何を渡り歩く都市伝説マン。
解決の雰囲気をばら撒きとりまきコラスらの飯のタネだろう。
パーツを寄せ集め組み合わせると人魚も出来る、IUTコピペ貼り専門のIUT信者は壺を買うレベルの知能弱者だけど
数学者が取り憑かれてはねぇ
602:１３２人目の素数さん
26/01/06 18:32:31.91 brpHbdQK.net
玉川安騎男教授。
・内閣府の企画で>>12
玉川教授
>最近望月新一さんが証明したABC予想など、いくつもの数論の大問題が数論幾何学を用いて解かれています。
特に望月さんのABC予想の証明では、遠アーベル幾何学の理論や考え方が重要な役割を果たしています、と発言している。
文中の写真は全て査読中の2017年
・2019年8月1日 査読中
次世代幾何学センター は
センター長 が望月新一教授
で玉川安騎男教授が所員
603:１３２人目の素数さん
26/01/06 19:45:35.27 GGEmx/d+.net
>>584
＿＿＿_
／ ＼
／ _ノ ヽ､_ ＼
／ oﾟ⌒ ⌒ﾟo ＼ 2028年にまた、[EssLgc]の
| （__人__） | 読経をあげる
＼ ｀ ⌒´ ／ 仕事が始まるお…
604:１３２人目の素数さん
26/01/06 23:47:07.48 vyK0Kjem.net
エイリアンコピー
ホッヂ劇場
て何？
教えてエロい人
605:１３２人目の素数さん
26/01/07 04:46:59.33 KhBSXjsd.net
長文note上げた人はなにしてんの？
606:１３２人目の素数さん
26/01/07 08:11:41.63 XCmd/9CS.net
実際のところ
尊師の弟子たちってブログ読んで
どう思ってるんだろ
speciesの"理論"について
＞また論文を公開した2012年以降も、何名かの基礎論の専門家にも
＞目を通していただいていますが、みんな口を揃えてまさしく
＞特に新奇性のない、当たり前なことしか書かれていないという
＞趣旨の評価や総括をしています。
とかって盲目的に信じてるんか
・詭弁のガイドライン
＞5.資料を示さず自論が支持されていると思わせる
＞「世界では、犬は哺乳類ではないという見方が一般的だ」
607:１３２人目の素数さん
26/01/07 10:18:22.82 n0eTMukQ.net
>>606
>＞趣旨の評価や総括をしています。
>とかって盲目的に信じてるんか
そういうことかも知れませんね
でも弟子の方々に聞かないと
その辺分かりませんが
608:１３２人目の素数さん
26/01/07 18:18:59.46 44EWGt7j.net
>>606
これは川上量生企画望月新一監修
加藤文元著「宇宙と宇宙をつなぐ数学」 (>>15)->19と矛盾していますね。
・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている
p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
問題に対する部分的なあるいは最終的な解決であったりしますが、
>「パラダイムシフト」期においては、当分野に革命を起こすような大論文であることもあるでしょう
p69
「興味深い」ということ
>私は以前、望月教授に「望月さんの理論が発表されたら、数論の専門家より数理論理学や数学基礎論 の人たちの方が興味をもつでしょうね」と話したことがある。
実際、IUT理論はABC予想やその
ディオファントス問題の研究におけるそれまでの発展の文脈からは
一線を画しています。略
それはこの分野における最先端に
位置する研究であるというより、
数学の非常に基本的なレベルでの
イノベーションを企画したもの
だからです。
609:１３２人目の素数さん
26/01/07 19:25:48.78 44EWGt7j.net
望月新一教授の京大PRIMS編集委員会へ評価の変遷。
IUTの数学的な決定を下す資格がないから国際的に著名な数学者へ、掌返し。
望月新一教授の目的はIUT論文
受理出版の名目利用
⚫︎2014年12月
IUTに全く素人でこれまでの研究業績の上に成り立っている「深い理解」を活用しIUT数学的に意味がある決定を下す資格がない。
↓
⚫︎2020年4月
IUT論文受理の記者会見。
・玉川安騎男教授
「完全な論文ができた」
「全く新しい理論で、さらなるインパクトを生み出す可能性がある」毎日
・柏原正樹特任教授
「ＡＢＣ予想を証明した望月氏の論文が正しいものであると判断した」産経
↓
⚫︎2021年
4つの論文が、柏原正樹、玉川 安騎男、向井茂、中島啓、望月拓郎、といった国際的に著名な数学者からなる特別編集委員会によって編集されたPubl. RIMSの特別号に掲載された
610:１３２人目の素数さん
26/01/07 20:03:35.37 n0eTMukQ.net
>>609
>柏原正樹特任教授
アーベル賞の方でしたっけ？
この方に聞けば詳しく教えてくれるのでは
611:１３２人目の素数さん
26/01/07 20:05:47.60 XCmd/9CS.net
なんでコピペ君はコピペ嵐を続けるんだろ？
同じコピペは1スレに１回すれば十分だろ
612:１３２人目の素数さん
26/01/07 20:11:37.85 n0eTMukQ.net
>>611
新しく来た人にも読んで貰いたいからでしょ
613:１３２人目の素数さん
26/01/07 20:19:11.15 XCmd/9CS.net
>>612 嵐の言い分に過ぎんよな
新しい内容ゼロ誰にも刺さらんコピペ続けんでもいいだろ
614:１３２人目の素数さん
26/01/07 20:23:01.41 lShNk/ra.net
IUTはデマだから資料の根拠が必要だね。
615:１３２人目の素数さん
26/01/07 20:24:26.75 lShNk/ra.net
>>613
デマ流すな
616:１３２人目の素数さん
26/01/07 20:33:16.08 lShNk/ra.net
・詭弁のガイドライン
＞5.資料を示さず自論が支持されていると思わせる
＞「世界では、犬は哺乳類ではないという見方が一般的だ」
資料の明示は必要だ
617:１３２人目の素数さん
26/01/07 20:38:27.67 hRlRnBqU.net
>>611
自分が賢いといいたい病気だから
自分が賢くないと死ぬと思いこむ病気だから
まあ、実際賢くないしそれでも死なないので
「賢くないと死ぬ」というのは妄想ですけどね
当人だけがそのことに気づいてない
618:１３２人目の素数さん
26/01/07 20:41:48.69 hRlRnBqU.net
>>612
「彼」の動機は２つあるみたい
・自分の賢さをアピールしたい
・自国民の賢さをアピールしたい
どっちもくだらないけどね
自分が愚か者でも生きていければ何の問題もないし
自分の国の人だからって他人のことなんかどうでもいいけどね
どうでもいいことに一生懸命になるのはやっぱり精神の病かと
619:１３２人目の素数さん
26/01/07 20:42:41.78 44EWGt7j.net
>>617
IUTは数学のスキャンダルだから
根拠は示そうね
620:１３２人目の素数さん
26/01/07 20:43:49.72 hRlRnBqU.net
だいたい、コピペでリコウぶりたがる割には
大学１年レベルの数学の基本すらわかってないし
それを指摘してもわかろうという気すらないので
実は数学には全く興味ないんだろうと思う
興味ないんなら数学板に書き込まないのは勿論
読むことすらしなきゃ幸せなのにね
621:１３２人目の素数さん
26/01/07 20:44:14.82 44EWGt7j.net
>>618
setaの応援スレの方ですか？
622:１３２人目の素数さん
26/01/07 20:45:10.35 hRlRnBqU.net
>>619
アンカー間違ってますよ
コピペ君の発言のみにアンカーしましょうね
数字読める？
623:１３２人目の素数さん
26/01/07 20:46:02.11 44EWGt7j.net
>>620
応援スレへお戻りください
624:１３２人目の素数さん
26/01/07 20:46:38.11 hRlRnBqU.net
>>621
アンカー間違ってますよ
コピペ君の発言のみにアンカーしましょうね
私は彼がここから失せることを望んでます
それが彼にとって一番幸せだから
ここで彼が何を書いても不幸になるだけ
625:１３２人目の素数さん
26/01/07 20:47:41.95 hRlRnBqU.net
>>623
アンカー間違ってますよ
コピペ君の発言のみにアンカーしましょうね
626:１３２人目の素数さん
26/01/07 20:50:07.23 44EWGt7j.net
>id:hRlRnBqU
応援スレへお戻りください
627:１３２人目の素数さん
26/01/07 20:50:36.29 hRlRnBqU.net
IUは系3.12の証明としては不十分でしょう
数学界の賛同が得られないのだから
望月新一の残念な点は、IUを考えたことではなくて
自分の論文を自分の所属機関の紀要に投稿したこと
そういう「卑怯」なことはすべきでなかった
日本人として、というより、人として、恥ずかしい
628:１３２人目の素数さん
26/01/07 20:52:03.32 hRlRnBqU.net
ID:44EWGt7j
精神患ってる？
629:１３２人目の素数さん
26/01/07 20:52:50.15 hRlRnBqU.net
私＝コピペ君 と思ってる時点で精神患ってるよね
630:１３２人目の素数さん
26/01/07 20:53:43.10 44EWGt7j.net
望月新一教授の京大PRIMS編集委員会へ評価の変遷。
IUTの数学的な決定を下す資格がないから国際的に著名な数学者へ、掌返し。
望月新一教授の目的はIUT論文
受理出版の名目利用
⚫︎2014年12月
IUTに全く素人でこれまでの研究業績の上に成り立っている「深い理解」を活用しIUT数学的に意味がある決定を下す資格がない。
↓
⚫︎2020年4月
IUT論文受理の記者会見。
・玉川安騎男教授
「完全な論文ができた」
「全く新しい理論で、さらなるインパクトを生み出す可能性がある」毎日
・柏原正樹特任教授
「ＡＢＣ予想を証明した望月氏の論文が正しいものであると判断した」産経
↓
⚫︎2021年
4つの論文が、柏原正樹、玉川 安騎男、向井茂、中島啓、望月拓郎、といった国際的に著名な数学者からなる特別編集委員会によって編集されたPubl. RIMSの特別号に掲載された
631:１３２人目の素数さん
26/01/07 20:58:56.68 hRlRnBqU.net
PRIMS特別号など出すべきでなかったが
リジェクトするとRIMSの問題が露見して
最悪RIMSが潰されるので
出版して波風が立つのをおさえたか
数学界より国内世論が大事とは・・・ナサケナイ
632:１３２人目の素数さん
26/01/07 21:28:34.52 n0eTMukQ.net
学会でも何の質問も出ませんでしたしね
日本数学会は自浄努力はしないようです
633:１３２人目の素数さん
26/01/07 22:24:54.73 OlSa4i8O.net
面白かったと言う人もいた
634:１３２人目の素数さん
26/01/07 22:36:34.14 n0eTMukQ.net
>>633
歴史的な流れについてですかね
>>591に講演の印象書いた人居ます
635:１３２人目の素数さん
26/01/08 06:50:07.83 f9krhwgj.net
>>610
アーベル賞は数学が対象で
全く新しい理論IUTは数学でなくトンデモです。
2019要覧によれば、
IUT論文査読中の2019年8月1日
IUT研究拡散が目的の次世代幾何学センターは望月新一 センター長で柏原特任教授も玉川教授も部下のセンター所員。
IUTに全く素人の柏原教授PRIMS特別編集委員長もIUTを上司で身内の望月新一教授から「洗脳」された
636:１３２人目の素数さん
26/01/08 08:10:22.72 x8v22oDQ.net
ジャーナルの編集長が全ての掲載論文を理解してると思ってるお花畑
637:１３２人目の素数さん
26/01/08 08:12:50.74 x8v22oDQ.net
エディターと査読者が掲載OKとした論文を、何の理由でリジェクトすんのよ
「この論文は数学じゃないし、外野がうるさくて信用できないので、リジェクトします」ってか？
エディターと査読者の立場は？
それこそそのジャーナルの信用が地に落ちるわ
638:１３２人目の素数さん
26/01/08 08:24:17.63 Ko4iSOvK.net
まあまあ
コピペ君は電波受信しまくりのルサンチマン人間ですから
＞「洗脳」
どっから受信したんだろ
>>637
しかし編集委員会および委員長の責任は重大だろ
639:１３２人目の素数さん
26/01/08 08:29:52.22 f9krhwgj.net
>>638
論拠です
>>27
640:１３２人目の素数さん
26/01/08 08:34:26.77 f9krhwgj.net
>ID:Ko4iSOvK
論拠を示しなさい
641:１３２人目の素数さん
26/01/08 08:35:21.85 f9krhwgj.net
>ID:Ko4iSOvK
論拠を示しなさい
642:１３２人目の素数さん
26/01/08 08:37:11.46 p+jcKxiP.net
歴史的な流れが面白いということは
講演の内容の実を認めたからではないか
643:１３２人目の素数さん
26/01/08 08:42:51.78 f9krhwgj.net
>>642
憶測です
644:１３２人目の素数さん
26/01/08 08:45:59.14 1o07AwfU.net
ID:f9krhwgj
●違い？
645:１３２人目の素数さん
26/01/08 08:49:06.14 Ko4iSOvK.net
>>644
電波受信してっから俺達には見えないものが見えるんだろ
646:１３２人目の素数さん
26/01/08 08:49:45.99 f9krhwgj.net
>>644
>>27が理解できない？
根拠は全て望月新一教授本人による
647:１３２人目の素数さん
26/01/08 08:51:43.40 Ko4iSOvK.net
>>27が
＞IUTに全く素人の柏原教授PRIMS特別編集委員長も
＞IUTを上司で身内の望月新一教授から「洗脳」された
の根拠？
やっぱり電波かな
648:１３２人目の素数さん
26/01/08 08:54:28.05 f9krhwgj.net
>>647
望月新一いわく、
IUTは数学ではありません。
・IUT語 p51
「IUT理論は、一般的な数学の パラダイムの枠内では語れない、 
全く新しいフレームワークと言語・ 概念体系を基盤として構築されて いる」
649:１３２人目の素数さん
26/01/08 08:56:28.45 Ko4iSOvK.net
やっぱり電波くんは日本語が通じないな
＞IUTに全く素人の柏原教授PRIMS特別編集委員長も
＞IUTを上司で身内の望月新一教授から「洗脳」された
の根拠は何だって聞いてんの？
受信電波？
650:１３２人目の素数さん
26/01/08 09:01:11.34 f9krhwgj.net
>>649
2019要覧によれば、
IUT論文査読中の2019年8月1日
IUT研究拡散が目的の次世代幾何学センターは望月新一 センター長で柏原特任教授も玉川教授も部下のセンター所員
651:１３２人目の素数さん
26/01/08 09:57:22.89 p+jcKxiP.net
「実がないから」と言う憶測も
成立しうるが
652:１３２人目の素数さん
26/01/08 10:44:11.51 1o07AwfU.net
ID:p+jcKxiP
予算獲得のためなら不正査読もOK、とほざく学匪
653:１３２人目の素数さん
26/01/08 11:01:43.80 p2R4PY7n.net
数学者が数学の研究で荒唐無稽なことを考えても別に構わない
ただ無理矢理査読を通して実績にするのは・・・犯罪
654:１３２人目の素数さん
26/01/08 11:14:33.66 p+jcKxiP.net
>無理矢理査読を通して
それに犯罪性があったとしたとき
裁判で何が証拠として採用されるだろうか
655:１３２人目の素数さん
26/01/08 11:16:48.28 p2R4PY7n.net
>>654 人間失格
656:１３２人目の素数さん
26/01/08 11:20:47.95 p+jcKxiP.net
証拠がないことで人の行為をあげつらうことに
問題があるとして
現在進められているのが司法改革
近い将来
いままでのような取り調べが露見した場合
検事たちが処罰されるようになる
657:１３２人目の素数さん
26/01/08 11:23:52.81 es2OmiCP.net
>>656
証拠を隠滅すればOK という発想がクズ
658:１３２人目の素数さん
26/01/08 11:26:15.28 aEycGIsz.net
数学だろうが新しい数学だろうが
査読者とエディターがポジティブなら、掲載だろ
他の委員がどういう異議出すんだよ
コミュニティーにも認められてないのはおかしい、とか非学問的な理由でリジェクトさせんのか？それこそ頭おかしいだろ
粛々と専門家がアクセプトを決めたら、それに専門家として反論出来なければ、掲載が常識
659:１３２人目の素数さん
26/01/08 11:26:36.14 p+jcKxiP.net
>657
そう言って気に入らない態度の被疑者を罪に落とし込む検事がクズ
660:１３２人目の素数さん
26/01/08 11:39:34.43 1o07AwfU.net
>>659
そういって正義ぶるのが極悪人
661:１３２人目の素数さん
26/01/08 11:54:27.94 f9krhwgj.net
>>658
>粛々と専門家がアクセプトを決めた
IUTの場合は準備論文から理解している
専門家は著者望月新一しかいないと明言
し、全く新しいフレームワークと言語・ 概念体系を基盤として構築されて いる
とも明言している。
アクセプトする前から京大数理研で
はabc予想が解決と公言した。
662:１３２人目の素数さん
26/01/08 12:00:44.60 f9krhwgj.net
>>43
2014年12月
IUTの検証 望月新一
663:１３２人目の素数さん
26/01/08 12:15:49.19 x81lz3qu.net
>アクセプトする前から京大数理研ではabc予想が解決と公言
確信犯やん
664:１３２人目の素数さん
26/01/08 13:13:22.68 f9krhwgj.net
>>9
平成28年(2016年)6月
IUT論文査読中
京都大学数理解析研究所

-現況調査表 -

・p 28-3
資料 2. 発表論文数 
所員の発表論文数は

査読付き論文のみ 。
特例として
・p28-10 事例4
「数論幾何の研究」

>望月新一に よる「宇宙際タイヒミューラー理論」の構築とその結果としての ABC 予想の解決は特筆すべき 出来事である。
665:１３２人目の素数さん
26/01/08 14:43:05.31 oZviU6DR.net
>>661
準備論文から理解したのが査読者だよ
エディターの彼も理解してる
現況調査票は事務が基本的に作る
その部分は事務の誤り
事務は数学のイロハを知らないからな
おっと所長がチェックしてるだろと言いたいのはわかるが、あの頃の数理研は忙しくてな、チェックしてないのよ
666:１３２人目の素数さん
26/01/08 15:52:33.10 b7MW+LDB.net
>準備論文から理解したのが査読者
妄想 「査読者」は理解せずにメクラ判押した だから説明不能
>エディターの彼も理解してる
妄想 「彼」は実在しない架空の存在
667:１３２人目の素数さん
26/01/08 17:37:25.31 oZviU6DR.net
>>666
妄想ではなく事実です。
妄想という根拠をまずあなたが先に示してください。
668:１３２人目の素数さん
26/01/08 18:15:21.24 ynDMrIeZ.net
虚偽申請藤原
虚偽数学望月
669:１３２人目の素数さん
26/01/08 18:30:14.47 JxzqsSgQ.net
>>667
理解したと思うのは事実ではなく妄想
君は統合失調症 入院したまえ
670:１３２人目の素数さん
26/01/08 19:48:40.42 oZviU6DR.net
>>669
根拠、コンキョを示してください。日本語わかります？
671:１３２人目の素数さん
26/01/08 20:55:20.51 JxzqsSgQ.net
>>670
自分にいいな
君、根拠ゼロだよ
672:１３２人目の素数さん
26/01/08 21:29:43.19 oZviU6DR.net
>>671
あなたが先に根拠を出して下さい。先に言い出している&繰り返し言っているあなたが先だ。
673:１３２人目の素数さん
26/01/08 21:31:14.11 JxzqsSgQ.net
>>672
君が根拠をだせない時点で君は死んだ
674:１３２人目の素数さん
26/01/08 21:32:28.36 JxzqsSgQ.net
君が死んだなら君が一人負け
勝者ゼロで負けるとは●違いの極み
675:１３２人目の素数さん
26/01/08 22:03:34.53 oZviU6DR.net
>>673
ごまかしてないで先に根拠出せよ嘘つき野郎
どうせ出せねーんだろ？
劣等感からの妄想が根拠だからな
676:１３２人目の素数さん
26/01/08 22:10:59.93 JxzqsSgQ.net
>>675
根拠ないんですね ウソツキ君
さすが高卒
677:１３２人目の素数さん
26/01/08 22:13:01.53 5J9w/nU+.net
>>676
先に突っかかったお前が俺より先に根拠だせ
678:１３２人目の素数さん
26/01/08 22:31:30.81 oZviU6DR.net
はいあんたの負けー
679:１３２人目の素数さん
26/01/08 22:53:19.06 WIkL4PFg.net
単著がほとんどないのに、パパの友達や弟子に共著論文を書いてもらって、
なぜかわずか４０歳で京都大学の教授になった人が京大にいるそうだね。
詳しくはこのスレにGo!
ｽﾚﾘﾝｸ(math板)
親父は（元）東大教授で、息子は京大教授。
確率論という広いくくりで同じ専門というだけでなく、
もっと狭い確率解析というくくりでも同じらしい。
親父さんは門外漢でも聞いたことがあるぐらいの超有名人、学士院賞受賞者。
京大数学科では、これまで学生（や若い人）にたいして、
「数学者になりたきゃ自力で頑張れ！他人に頼るな！」
みたいなことをさんざん言って来たのに、これですか？
最低限の一貫性すらないのか？ 巨大な裏切り行為だ。
680:１３２人目の素数さん
26/01/08 23:29:32.35 Ko4iSOvK.net
いずれにせよ編集委員会および委員長の責任は重大だろ
論文の詳細な内容など分からんでも
証明が（十分で）ないって指摘に対して自明だと突っぱねるような
望月の主張を全面的に採用したんだから（>>21）
2018年に自明だと言って批判を突っぱねて今でもそう（>>569-571）
speciesの理論が当たり前なんていう「基礎論の専門家」が
本当に複数いたら出てくるはずだろ
681:１３２人目の素数さん
26/01/09 00:04:12.90 KRNc7kdy.net
>>680
>本当に複数いたら出てくるはずだろ
自分から出てきますかね
望月さんに名前を挙げて貰う他ないでしょう
682:１３２人目の素数さん
26/01/09 00:52:44.36 eLEJ2gxE.net
ほんとなわけないやん
683:１３２人目の素数さん
26/01/09 05:16:27.04 hIGtZKs5.net
根拠示さない限り糖質の妄想～
勝手に吠えてろー
684:１３２人目の素数さん
26/01/09 07:09:25.15 eQ863+tC.net
>>681
多くの人が分からんと言って説明を必要としてることが
自分には分かってるってんのなら
説明するために出てきます
それがフツーの数学者です
685:１３２人目の素数さん
26/01/09 07:41:51.58 7WXy4YX4.net
望月新一の支持者が分かってること
「系3.12からABC予想が証明できる」
望月新一の支持者も分かってないこと
「IU、特に定理3.11から系3.12が証明できる」
686:661
26/01/09 14:58:18.67 QivGhDVU.net
>>665
まずは
>準備論文から理解したのが査読者だよ
エディターの彼も理解してる
・エディターの彼とは誰？
望月新一がIUT論文を京大PRIMS編集委員会へ投稿後、望月新一を除く京大PRIMS特別編集委員会(玉川.柏原委員長)が審査受理した。
編集委員会に望月新一教授がいないから準備論文からIUTへ精通するエディターも査読者もいない。
またサイディ星山下剛もおらず
編集委員はIUTについて全くの素人だ。
・査読者は誰？サイディか、
既にIUTの検証活動に関わっている サイディ.山下剛.星の中核3名
としても山下は2012年8月の時点で全く素人、望月新一が指導教授の星はIUTサーベイで詳しくは
IUT論文を精読とIUT論文へ丸投げした。
残るは外部評価委員で利益相反のサイディだ。
➖
>>5 -6
IUTTの検証.進捗情報の報告
2014年12月現在
京大数理解析研究所教授.望月新一
687:１３２人目の素数さん
26/01/09 15:45:24.69 dxhYkVpT.net
>>686
続き
・P7.
>IUTの場合「絶対遠アーベル幾何」や 「エタール.テ-タ関数の剛性性質」 「Hode.Arakelov理論」といったテーマについて既に深い理解とそれなりの研究業績を有する研究者 (略)、幸か不幸かは別としてそれらのテーマに精通している研究者は(私自身を除けば)この世に存在しないのが実情です。
・P7
>既にIUTの検証活動に関わっている 数名の研究者(サイディ.山下剛.星)を除けば、世界の 全ての数論幾何の研究者(=連続論文が公開された時点.2012年8月での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、これまでの研究業績の上に成り立っている「深い理解」を活用してIUTの成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません。
688:１３２人目の素数さん
26/01/09 16:08:14.85 7WXy4YX4.net
著者は自らが執筆した論文の成否に関する決定的判断を下す資格が本質的にない。
689:１３２人目の素数さん
26/01/09 22:14:41.13 QivGhDVU.net
>688は数学の場合でしょ。
IUTは数学でないし望月新一を頂点とした全く新しい「理論」の教義より
成り立っているしcor.3.12も教義による。
DupuyやjoshiのIUT解釈は
IUTの異端にすぎない
690:１３２人目の素数さん
26/01/09 22:29:34.42 gYIMe79Z.net
>>689
IUが数学でないなら望月新一は数学者でなくなったわけだから解雇だね（笑）
別に星も南出も彼を教祖としてあがめる義務を負ってるわけではない（笑）
DupuyやJoshiは望月新一を出し抜きたいのであって支持者ではない
織田信長を本能寺で討つ明智光秀みたいなもんだよ（笑）
691:１３２人目の素数さん
26/01/09 22:46:25.82 tAZELIVn.net
>>690
望月新一本人が認めているよ
・IUT語 p
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
692:１３２人目の素数さん
26/01/10 08:21:05.43 Bm9hKm+K.net
>「IUT理論は、一般的な数学のパラダイムの枠内では語れない、
>全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
「ぼくのかんがえたさいきょうのすうがく」ってやつですね（笑）
ぼくのかんがえたさいきょうの
URLﾘﾝｸ(dic.pixiv.net)
無茶苦茶な設定の代名詞。
元ネタは漫画『キン肉マン』の超人募集コーナーにて、
作中のインフレ具合をガン無視して設定を盛りまくった
ちびっ子諸君のイラストに添えられた文章から。
以降、あまりに無茶苦茶な設定（例：
弾速が超光速で射程距離が天文単位で
異次元から無限にリロード可能で
一発一発の威力が水爆より強力で
相手を永遠に追尾し破魔の妖力で
霊魂すらも瞬時に破壊する拳銃など）には
「ぼくのかんがえたさいきょうの○○」
などと皮肉を込めて称されることが多い。
693:１３２人目の素数さん
26/01/10 09:04:09.25 Bm9hKm+K.net
URLﾘﾝｸ(itest.5ch.net)
数学書は読んでも全く理解できないが
数学者の経歴は読めば理解できるから
好んで読みたがる数学嫌いの素人
694:１３２人目の素数さん
26/01/10 09:32:36.04 kao8g0mW.net
数学者嫌いなのは玄人
695:１３２人目の素数さん
26/01/10 09:41:52.29 Bm9hKm+K.net
>>694
>数学者嫌いなのは玄人
残念な人格の数学者を見ると残念に思うことは多々あるね
ま、数学を研究してることと人格は独立だから仕方ないけどね
696:１３２人目の素数さん
26/01/10 09:58:49.67 ZdqrQELu.net
しかし数学そのものに対しての姿勢をも真摯で誠実な態度とは言えないのがダメやろな
697:１３２人目の素数さん
26/01/10 10:03:56.76 kao8g0mW.net
不誠実さを隠しようがないのが
ボディーランゲージ
698:１３２人目の素数さん
26/01/10 10:04:35.87 Bm9hKm+K.net
>>696
それはMSのことかい？その崇拝者のことかい？
MSに関していえば、魔が差したとしかいえない
その崇拝者に関していえば、もともと只の計算好きで、数学の理論に興味がないんだろう
そんなのは工学系にはざらにいるから驚くことでもない
あいつらは逆行列を持たない正方行列は残念な例外としか思わない
そういう粗雑な精神でも世の中では生きていけるみたい よかったね
699:１３２人目の素数さん
26/01/10 10:26:13.80 lk8KqbVj.net
望月氏は
自然数論（さらには数学的真理？）が絶対的に存在してて
人間が（形式化を経ずに）扱えると
勘違いしてるんじゃないデスかねー？
・例えば"functorial group-theoretic algorithm"は
group-theoreticと言いながら不定の自然数を操ってる
年頭ブログとIUT IVを併せて読むと
・「一階述語理論としてのZFC」のモデルを複数用意して
「不定元のような論理式」を操った結果得られる
論理式が"absolute"だと主張してる
(IUT IVより引用）
>The various ZFC-models that we work with may be
>thought of as [but are not restricted to be!] the
>ZFC-models determined by various universes that
>are sets relative to some ambient ZFC-model which,
>in addition to the standard axioms of ZFC set theory,
>satisfies the following existence axiom [attributed
>to the “Grothendieck school”
（中略）
>In the following discussion, it should be understood
>that every set-theoretic formula that appears is
>"absolute" in the sense that its validity for a
>collection of sets contained in some universe V relative
>to the model of set theory determined by V is equivalent,
>for any universe W such that V ∈ W, to its validity
>for the same collection of sets relative to the model
>of set theory determined by W
700:１３２人目の素数さん
26/01/10 10:29:56.78 lk8KqbVj.net
思うに氏はIVを書いた時点で
・数学が一階述語論理上の理論である
ということを認識してなかったんじゃないデスかねー
（なにせZFCGはZFCの保存拡大だと思ってたくらいだから
そしてたぶん今でも理解を拒絶してる「認知的不協和」状態）
IVでは単に「ZFC」だったのが年頭ブログでは
「一階述語理論としてのZFC」になってるわけなんだが
おそらくは「一階述語論理」という言葉自体
形式化の話を聞くまで気にしたこともなかったんじゃ？
（メタ数学やらないんならそれで無問題
しかしメタ数学をやるんなら細心の注意がいるところ）
ブログでは自身の無理解の責任を転嫁して
・多くの数学者が脳内で当たり前に処理してること
なんてゴマかしてるんじゃないデスかねー
そして形式化できなかった際の言い訳として
・「Leanの専門家」が不自然なことをしてるせい
を用意してるのかしらん
701:１３２人目の素数さん
26/01/10 15:01:54.02 lk8KqbVj.net
「多くの数学者が当たり前に脳内で無意識のうちに
こなしている」ようなことを集合論（メタ数学）でやったら
絶対にアカン！というのは集合論を学ぶ際に
イの一番に叩き込まれることデスよねー
702:１３２人目の素数さん
26/01/10 15:48:28.08 4GRDHWAD.net
>>692
そのとおりですね。
・
IUTは望月新一が、だれも
話したことがない、新しい言語を
用いて理論を組み立てた。
通常の言葉に翻訳するには多くの言葉や概念を巧みな比喩を用いるしかない。
よって
PRIMS編集委の数学者もIUTに全く素人だから2014年12月IUTの望月新一検証によれば、頭を真っ白にして望月新一のIUT教材を修行せずにIUTへ数学的な判断をする資格がない。
➖
2019年4月加藤文元著「宇宙と宇宙をつなぐ数学」は望月新一監修
で望月新一本人の意見。
(レス>>17)
P37
>ワイルズの理論と望月教授の理論の違いは、、要するに言葉の違いです。
望月教授は、言うなれば、だれも
話したことがない、新しい言語を
用いて理論を組み立てました。
・P40
>IUT理論のように、あまりにも
新奇で斬新なものだったりすると
、通常の言葉に翻訳するには
多くの言葉や概念を巧みな比喩を
用いて説明するしかありません。
「宇宙間航行」や「異なる宇宙の間の通信」などという、ちょっと奇想天外なSF用語にも聞こえる言葉を大真面目に 使用するしかなくなります。
703:１３２人目の素数さん
26/01/10 15:53:28.55 Es67ILrU.net
【訃報】天才チンパンジー「アイ」逝去 49歳 京都大学が公表 [478973293]
ｽﾚﾘﾝｸ(news板)
704:１３２人目の素数さん
26/01/10 15:53:41.66 Es67ILrU.net
【訃報】天才チンパンジーアイ 逝去 [668024367]
ｽﾚﾘﾝｸ(poverty板)
705:１３２人目の素数さん
26/01/10 19:01:19.18 4GRDHWAD.net
⚫︎2023年8月
現状に関する簡潔な報告
IUTをめぐって 望月新一
4つの論文が、柏原正樹、玉川 安騎男、向井茂、中島啓、望月拓郎、といった国際的に著名な数学者からなる特別編集委員会によって編集されたPubl. RIMSの特別号に掲載されたにも関わらず、
略 スレ>61
・2014年12月
望月新一 IUTの自己検証では
京大PRIMS特別編集委員の数学者
がIUTに全く素人でIUTを判断する資格がないと言ってたにも関わらず、国際的に著名な数学者へw
・川上量生企画望月新一監修加藤文元著IUT本では望月新一語のIUTは数学でなく全く新しい理論と言ってたにも関わらず、数学者のscholze stix氏を罵倒している。
IUTは数学でなく全く新しい理論でleanの定理証明支援系の対象は数学よりIUTは
対象外、
706:１３２人目の素数さん
26/01/10 19:13:01.68 kao8g0mW.net
悲しいことだが仕方がない
前橋の選挙結果は
悲しいことになるだろうが
悲しむべき事態になるよりはまし
707:１３２人目の素数さん
26/01/10 19:20:27.42 Bm9hKm+K.net
>>706
セックスって犯罪でしたっけ？
708:１３２人目の素数さん
26/01/10 19:37:55.98 Bm9hKm+K.net
愛国●違いの見苦しい足掻き
URLﾘﾝｸ(itest.5ch.net)
709:１３２人目の素数さん
26/01/10 19:39:52.14 Bm9hKm+K.net
Benjamin Collasはフランスでは少数派らしい
710:１３２人目の素数さん
26/01/10 20:05:42.24 kao8g0mW.net
>>707
不倫を犯罪よりも忌み嫌う人の割合が問題
711:１３２人目の素数さん
26/01/10 20:28:15.31 Bm9hKm+K.net
>>710
セックスは本能的行動であって
こんなことを倫理という奴は
正真正銘の精神異常者である
712:１３２人目の素数さん
26/01/10 20:45:17.45 kao8g0mW.net
不倫のことをセックスと言う？
713:１３２人目の素数さん
26/01/10 21:16:43.74 qu83iCjA.net
望月さんが言うような
基礎論の専門家の意見を聞いてみたいね
誰か基礎論の人発言しないかね
714:１３２人目の素数さん
26/01/10 21:19:57.22 qu83iCjA.net
>>709
>Benjamin Collasはフランスでは少数派らしい
研究者としか出てないけど
RIMSで職に就いてないの？
715:１３２人目の素数さん
26/01/10 23:46:06.79 ntCu1RaN.net
>>709
p.scholzeは国際的な評価が高い
seminaire Bourbaki
2026.3.28
Peter Scholze — Geometric Langlands,
after Gaitsgory, Raskin, ...
ブルバキセミナー
2026年3月28日
p.scholze
幾何学的ラングランズ
Gaitsgoryの後、Raskin, ...
・Gaitsgoryの幾何学的ラングランズは数学ブレイクスルー賞を2025年受賞.
望月拓郎も2022年受賞
716:１３２人目の素数さん
26/01/10 23:48:21.12 ntCu1RaN.net
URLﾘﾝｸ(breakthroughprize.org)
717:１３２人目の素数さん
26/01/10 23:59:55.25 ntCu1RaN.net
>>713
望月新一教授の2026ブログ
「また論文を公開した2012年以降も、
何名かの基礎論の専門家にも
目を通していただいていますが、
みんな口を揃えてまさしく
特に新奇性のない、当たり前なことしか書かれていないという
趣旨の評価や総括をしています。」
これはscholze stixレポートへの回答書.川上量生企画望月新一監修
加藤文元著「宇宙と宇宙をつなぐ数学」 (>>15)->19の監修者望月新一の意見と矛盾しているにも関わらず、
例えば
・IUT論文はパラダイムシフト期のイノベーションを目的とした革命的な大論文だから既存の数学基礎論論理に拘束されない全く新しい理論。
これはハッタリに過ぎない、
718:１３２人目の素数さん
26/01/11 00:04:46.90 BybTnHDb.net
数学基礎論論理を応用したlean
定理証明支援系の専門家kevin
buzzardによれば、(>>34)
実際には2500年前から数学のやり方は驚くほど変化していない。
閉鎖的なパラダイムシフト論とIUT構築によるabc予想の解決は京都とりまきのみ定理の茶番劇。
ABC予想は、著名な学術誌京大PRIMSへ証明が掲載されたものの、多くの人が正しいとは信じていない重要な予想だ。
719:１３２人目の素数さん
26/01/11 06:45:22.06 CFrGjkFJ.net
124 名前：ファイヤーボールスプラッシュ(東京都) [US][sage] 投稿日：2026/01/10(土) 14:34:45.70 ID:Y3a+YzBP0 [2/2]
>>115
>>117
そういうことじゃないんだよな。先生は、幼児でもおちんちんやおまんまん見られると恥ずかしいって感覚を
人間だけは産まれながらに持っているってことを答えて欲しかった。アダムとイブの原罪なんだよ
720:１３２人目の素数さん
26/01/11 06:45:35.18 CFrGjkFJ.net
150 名前：ツームストンパイルドライバー(みょ) [CN][sage] 投稿日：2026/01/10(土) 19:50:13.44 ID:Uf+wn5iD0
>>124
原始的な狩猟採集社会では幼児は排泄や局部丸出しを恥ずかしく思うことはないよ
認知の発達と属する社会の秩序によって恥の観念は生まれる
嬰児は抱っこ中にウンコするのもおむつ外されて拭かれるのもぜーんぜん嫌がらないでしょ
原罪なんかないの
古代人の無知な作り話だよ
721:１３２人目の素数さん
26/01/11 09:16:20.21 bLyYlzFq.net
前橋市長選挙関係のyoutubeを流しながら
722:１３２人目の素数さん
26/01/11 14:55:35.47 GanizPaJ.net
>>34
URLﾘﾝｸ(repository.kulib.kyoto-u.ac.jp)
723:１３２人目の素数さん
26/01/11 14:57:52.13 GanizPaJ.net
>>722
数理解析研究所講究録別冊
2019, B73: 51-64
幾何学基礎論
ヒルベルトからタルスキへ
(数学史研究)
足立恒雄
724:１３２人目の素数さん
26/01/11 15:54:46.23 m8MUs4Hi.net
ユークリッド幾何でなければ双曲幾何になるというように書かれているけれども、
楕円幾何は最後の数行にそういう言葉は出てくるが、無視されているのはなぜ？
ある直線に含まれない点を通って、元の直線に交わらない直線が唯一である
とするのが、ユークリッド平面の幾何。元の直線に交わらない直線が
少なくとも2つあるというのが双曲平面の幾何。
元の直線に交わらない直線は一つもないとするのが、楕円平面の幾何。
この三通りの場合で尽くされているから、3通りがあるはずなんだけ
れども。なぜか、多くの非ユークリッド幾何では双曲幾何しか
取り上げず、楕円幾何は存在しないかのような扱い。
（楕円幾何のモデルとしては、通常の2次元球面上で
対照点同士を同一視して「点」とし、球面上の大円
を「直線」とするものがある。すると任意の相異なる
2つの「直線」は必ず1「点」で交わる。）