[過去ログ] Interuniversal geometry とABC 予想59 
 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
453: 2025/12/31(水)08:25 ID:UfYjYbqe(1/10) AAS
混ぜ合わせずに離してみたとき
関係性どうしの関連性に気づくはず
454
(1): 2025/12/31(水)08:33 ID:UfYjYbqe(2/10) AAS
公式見解としては
どの役所からも
「不正査読の指摘は当たらない」
という見解しか出しようがないだろう
455: 2025/12/31(水)08:40 ID:AEa5t8r6(4/11) AAS
京大数理研は伏魔殿だからなあ

いや、
要覧によれば実際は次世代幾何学国際研究センターがトンデモIUTの階層的な教団で布教センターだったね、
2014年頃からだ
456
(1): 2025/12/31(水)08:42 ID:AEa5t8r6(5/11) AAS
>>454
違います!
457
(1): 2025/12/31(水)09:08 ID:UfYjYbqe(3/10) AAS
>>456
何か証拠でも?
458: 2025/12/31(水)09:13 ID:AEa5t8r6(6/11) AAS
>>457
それはその部署できめるんだよ
459: 2025/12/31(水)09:19 ID:UfYjYbqe(4/10) AAS
上にお伺いをたてないといけない案件ではなかろうか
460
(4): 2025/12/31(水)10:31 ID:y6u1h871(1/2) AAS
なんか、セイモク(井目)のシロウトが、プロに互先で
立ち向かうみたいな議論だよw

”来月12日に一つの結果が出る”
”もう一つについては来年8月に
一つの結果が出るかもしれない”
>>428-429

は、インサイダー情報だろう
プロしかしらない
来月12日を待てばいいんじゃね?
そこで、アンチは詰みだろう
461
(1): 2025/12/31(水)10:42 ID:UfYjYbqe(5/10) AAS
>インサイダー情報だろう
>プロしかしらない

素人でもわかるロジックに過ぎない
462: 2025/12/31(水)12:11 ID:UfYjYbqe(6/10) AAS
10℃
くもりのち晴れ
463: 2025/12/31(水)13:07 ID:YyQrmwcP(1/2) AAS
プロwwww
何様wwwwwww
464: 2025/12/31(水)13:57 ID:AEa5t8r6(7/11) AAS
>>460
>ID:y6u1h871

線形代数の|・|≠0も同値関係も因果律も
理解できないトンデモIUT応援 CULTのsetaはカキコミ禁止だよ。

外部リンク[html]:hissi.org
465: 2025/12/31(水)13:59 ID:AEa5t8r6(8/11) AAS
>>460

ほれ >>2
466: 2025/12/31(水)16:21 ID:y6u1h871(2/2) AAS
なんか
おれを止められると
勘違いしているやつがいるね
5ch数学板のニワカかなw
467: 2025/12/31(水)16:41 ID:AEa5t8r6(9/11) AAS
>>461

>素人でもわかるロジックに過ぎない

またIUTプロのトンデモ不確定性原理の
応援が沸いてきたのか
468: 2025/12/31(水)16:47 ID:AEa5t8r6(10/11) AAS
IUTのトンデモ破廉恥より
オカルトマニア氏の方が数段優れている。

オカルトマニア氏が京大PRIMSへ投稿したら出版されるだろう
469
(1): 2025/12/31(水)17:14 ID:YyQrmwcP(2/2) AAS
あいつが?wwwwwwwwwww
470
(1): 2025/12/31(水)17:43 ID:wxAGxovy(1/2) AAS
>>460
>来月12日に一つの結果が出る”は、インサイダー情報だろう
>プロしかしらない 来月12日を待てばいいんじゃね?

なんでIUTの正否が、1/12の前橋市長選で決まるんだ? ●ってんのか?(嘲)
外部リンク:www.jomo-news.co.jp
471: 2025/12/31(水)18:21 ID:F6M83lO5(1/4) AAS
望月さんが言うリーンによる検証は進展どうなってますかね
472: 2025/12/31(水)20:34 ID:AEa5t8r6(11/11) AAS
>>469
京大PRIMS編集委員長は
パラダイムシフトしたあの世のIUT不確定性原理を唱える望月新一教授。
473
(2): 2025/12/31(水)21:09 ID:UfYjYbqe(7/10) AAS
>>470
関係性どうしの関連性を指摘しているのが分からないのは
池沼
474
(1): 2025/12/31(水)21:16 ID:F6M83lO5(2/4) AAS
>>473
何か適当に言ってみただけ?
475
(2): 2025/12/31(水)21:18 ID:UfYjYbqe(8/10) AAS
>>474
構造が似ているとは思わない?
476
(1): 2025/12/31(水)21:22 ID:wxAGxovy(2/2) AAS
>>473
なんだ認知症か
>>475
典型的な認知症による妄想
477: 2025/12/31(水)21:26 ID:UfYjYbqe(9/10) AAS
>>476
抽象化の能力のない者とは話したくない
478: 2025/12/31(水)21:30 ID:F6M83lO5(3/4) AAS
>>475
全く思わない
479
(1): 2025/12/31(水)21:39 ID:UfYjYbqe(10/10) AAS
なら話にならない
480: 2025/12/31(水)22:13 ID:F6M83lO5(4/4) AAS
>>479
議論になるよ
481: 2025/12/31(水)23:34 ID:/GK6mPhU(1) AAS
>>460
広く関係者なら誰でも知ってる程度のことを
インサイダー情報というならそうだろうよ
誰が選ばれようと何の影響もないけどな
あと「前橋市選挙」とか言ってる奴はseta並みのアホ
妄想もほどほどにしな
482: 01/01(木)01:33 ID:2VmaeU01(1/5) AAS
謹賀新年
483
(1): 01/01(木)02:20 ID:2VmaeU01(2/5) AAS
昨年はIUTが数学でなく机上の空論.妄想でIUTの弊害が示された年だった。
今年はICM2026の年、
数学が発展する年でありますように
484
(1): 01/01(木)07:22 ID:hA3exuzq(1/6) AAS
>昨年はIUTが数学でなく机上の空論.妄想でIUTの弊害が示された
公式には全然そうなっていない
485: 01/01(木)09:13 ID:2VmaeU01(3/5) AAS
>>483

・IUTが数学でなく机上の空論.妄想カルトは、

IUTの望月新一自己検証.レス>5->6
望月新一監修加藤文元著IUT本
レス>15->19と因果律。 

(>>27)

・要覧より未だ京大数理研の次世代幾何学国際研究センターが階層的なIUT布教の中心地。
省1
486: 01/01(木)09:23 ID:2VmaeU01(4/5) AAS
(>>405) ->407

⚫︎2019年4月 
川上量生企画.望月新一監修.加藤文元 著「宇宙と宇宙をつなぐ数学」

・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されている」 

⚫︎2021年4月
京大PRIMSがIUT論文を特別号として強行出版

⚫︎2021年夏RIMS訪問滞在型研究
省3
487: 01/01(木)16:46 ID:ZaoGwBkp(1/11) AAS
>>484
系3.12を予想として前提とするのは別に構わない

系3.12が定理だとは認められていない
488: 01/01(木)17:19 ID:ZaoGwBkp(2/11) AAS
そもそも査読通った、賞呉れとか言ってる人は他人に自慢したいだけかと
489: 01/01(木)18:00 ID:ZaoGwBkp(3/11) AAS
2chスレ:math

0072 132人目の素数さん 2026/01/01(木) 17:27:36.90

自信があるなら、無理して通す必要なんてなかった。
無理して査読を通したのは、むしろ自信の無さのあらわれと取れる。
何がなんでも「証明」を既成事実にしたいという意志のあらわれ。

ID:k+Bb12HM(1/2)
|
0073 132人目の素数さん 2026/01/01(木) 17:35:22.29

挫折の少ないエリートだからこそ、
信じられないほど依怙地になる
省4
490: 01/01(木)18:11 ID:ZaoGwBkp(4/11) AAS
言い訳しかしない人は見苦しいもんだね
491: 01/01(木)18:18 ID:hA3exuzq(2/6) AAS
系3.12が定理ではないということを
著者も編集部も公式に表明したわけではない
492: 01/01(木)18:37 ID:ZaoGwBkp(5/11) AAS
定理だと認めるのは著者でも編集部でもないけど
493: 01/01(木)18:38 ID:hA3exuzq(3/6) AAS
定理ではないと認めるのは?
494: 01/01(木)18:40 ID:agOXdvtE(1) AAS
正月なんで1年ぶりに来てみたけど進展なさそうやね
redditの方も漁ってくるわ
また1年後に来ます
495: 01/01(木)18:40 ID:ZaoGwBkp(6/11) AAS
A. 系3.12が定理だとは認められていない
B. 系3.12が定理ではないと認める

AとBは同値ではない
496: 01/01(木)18:43 ID:hA3exuzq(4/6) AAS
だから492は491の否定ではありえない
497: 01/01(木)19:00 ID:ZaoGwBkp(7/11) AAS
491は487を読み違った上での●違い発言
498: 01/01(木)19:02 ID:H5nGFbvd(1/3) AAS
もう内容空っぽってバレてるから
これ以上の進展はないよ
ブンゲにも用済みで切られたなw
499
(1): 01/01(木)19:02 ID:ZaoGwBkp(8/11) AAS
「公式」を決めるのは数学界であってPRIMSではない
PRIMSが論文をアクセプトしても数学界が認めないなら、PRIMSの失態
500: 01/01(木)19:04 ID:ZaoGwBkp(9/11) AAS
結論 IUは理論にも何にもなってない
501: 01/01(木)19:28 ID:hA3exuzq(5/6) AAS
>>499
論文の成否についての
公式な見解というものは
出されたことがない
502: 01/01(木)19:42 ID:ZaoGwBkp(10/11) AAS
「公式見解」は出されるものではなく空気として醸成されるものかと思われ

まあ、ヘヴィサイドの演算子法みたいな例があるから
系3.12がIUとは全然違う方法で正当化される可能性はあるよ
503: 01/01(木)19:46 ID:ZaoGwBkp(11/11) AAS
フェルマーの最終定理はワイルズが証明したのであって
フェルマーが証明したとはみなされない
504
(2): 01/01(木)19:50 ID:2VmaeU01(5/5) AAS
外部リンク:plaza.rakuten.co.jp
505: 01/01(木)20:06 ID:eu5+Qu4Q(1) AAS
>>504

望月新一ブログ

Leanによる形式化は、長期的な検証や説明責任を可能にする記録装置となり得るか?

2026.01.01
506: 01/01(木)20:14 ID:hA3exuzq(6/6) AAS
>「公式見解」は出されるものではなく空気として醸成されるものかと思われ
5ちゃんの戯言的にはそれでよいだろう
507
(1): 01/01(木)21:10 ID:ZsoWtjfj(1) AAS
そのブログ読んですぐわかるのはやっぱり望月先生は基礎論や計算論は完全に素人、まさに学部の3回生レベルの知識しか無いとわかる
508: 01/01(木)23:06 ID:hi1cUq/m(1) AAS
>>504

既に分かり切ってたこととはいえ
やっぱりメタ数学を自在にやってもいいと思ってるんだ
「不定元のような論理式」なんて人間に扱う能力はないヨネー
それが形式化されてこなかったのは
当たり前だから専門家の盲点だったみたいな話でなくて
単に数学("一階述語理論としてのZFC")でないからダヨネー

きっと、ダメって言われてることは頭の半分で理解してるけど
それを否認するために「Leanの専門家」や「基礎論の専門家」が
登場して好意的なことを言ってくれてるんだよね?
省2
509: 01/01(木)23:34 ID:H5nGFbvd(2/3) AAS
実在するかどうかもわからん「専門家」
でお人形遊び始めた 惨めな尊師
510: 01/01(木)23:57 ID:H5nGFbvd(3/3) AAS
>>507 まさに語るに落ちるだね
 やましいところへの予防線なのか知らんけど
 学部レベルもわかってないだに基本的なことも勉強していないだの丁寧に勉強していればちゃんとわかるはずだの、
 人に吐いた唾が全部自分にかかってる尊師であった
511: 01/02(金)06:51 ID:Po0z+OuU(1/6) AAS
想像される最悪のオチ

「IUから任意の命題が証明可能だと判明」(”IUパラドックス”の誕生)
512: 01/02(金)06:56 ID:Po0z+OuU(2/6) AAS
類似の展開1

ラッセルのパラドックス
外部リンク:ja.wikipedia.org
{x|x∈x⇒⊥}から矛盾⊥が証明される

カリーのパラドックス
外部リンク:ja.wikipedia.org
{x|x∈x⇒P}から命題Pが証明される

上記の圏論版を実現してしまったか?
513
(1): 01/02(金)07:13 ID:Po0z+OuU(3/6) AAS
類似の展開2
□Pは「自然数論で命題Pが証明可能」とする

ゲーデルの不完全性定理
□(□⊥⇒⊥)⇒□⊥ ”矛盾が証明されると矛盾する、と証明されるなら、矛盾が証明される”

レーブの定理
□(□P⇒P)⇒□P ”Pが証明されるならP、と証明されるなら、Pが証明される”
514
(1): 01/02(金)07:18 ID:jWbUuQsL(1/7) AAS
 結末はどうなるのか。バザード氏は、ABC予想の証明は「誤り」と判定される可能性や、作業量が膨大で検証が頓挫する可能性を上げている。もう一つの可能性は、証明が「正しい」と検証されること。「そうなれば大きな驚きとなり、数学界は望月氏に謝罪することになるでしょう」

 望月氏にもメールで問い合わせたが、返事はなかった。(石倉徹也)
515: 01/02(金)07:48 ID:Po0z+OuU(4/6) AAS
>>514
望月新一のいうmutationが、圏論自体を圏論内でコード化できるようなものであれば
そこから過去のパラドックスと同様の現象が発生することになる
つまり、フレーゲ、ヒルベルトにつづく第三の男として、望月新一の名前が刻まれることになる

さて、ラッセル、ゲーデルにつづく第三の刺客となるのは誰なのか?
516: 01/02(金)07:57 ID:Po0z+OuU(5/6) AAS
望月新一のいうmutationが、何でもかんでも正当化してしまう残念なもの、だったとして
そこから、系3.12の矛盾が導かれる、ということには、直接結びつかないかもしれない

つまり系3.12は望月予想としては生き残る
その正当化に成功しなかったというだけのこと
517
(1): 01/02(金)08:39 ID:yRMZ8PCL(1) AAS
そんなレベルですらない
そもそもiutは述語論理で書き表すことすらできないが正解やろ
518: 01/02(金)09:38 ID:Po0z+OuU(6/6) AAS
LEAN「定理3.11から系3.12が証明できました」
MS「当然だろう 見たか、PS!」
LEAN「それだけじゃありません 定理3.11から任意の命題が証明できました」
MS「ん?なんだと?任意の命題?つまり、偽の命題も証明できる、ということか?」
LEAN「ま、そういうことになりますね」
MS「ウソだぁぁぁ!!!とりあえずこのことは我々だけの秘密としておいてくれ」
LEAN「残念ながら、この発見は数理論理学上大変重要なので、すでにarXivに論文をuploadいたしました」
MS「なんだとぉ!それじゃ系3.12が数論で証明できたといえないどころかその事実も全部明らかになったということか」
LEAN「ま、そういうことになりますね PSさんからもメール来てました。”やっぱ、そおかぁ”」
MS「うるせぇぇぇ!!!あいつに同情されるくらいなら死んだほうがマシだぁぁぁ」
省2
519: 01/02(金)09:53 ID:/eOPjJeC(1/3) AAS
>>517
>そもそもiutは述語論理で書き表すことすらできないが正解やろ
かも知れませんね
でもそれができないと断言もできません
520: 01/02(金)10:10 ID:/eOPjJeC(2/3) AAS
>>513
Wikipedia見て面白かったです
□Pが「Pが証明できる」を意味するとして
◇Pはたぶん¬□¬Pとするのでしょうから
「¬Pが証明できない」ということになりますかね
否定が証明できないということで
ω無矛盾性みたいな状況を表現できることになると
521: 01/02(金)10:18 ID:jWbUuQsL(2/7) AAS
東証100
-0.47%
522
(2): 01/02(金)10:35 ID:Zfl1IBjM(1/7) AAS
外部リンク[html]:www.kurims.kyoto-u.ac.jp
523
(1): 01/02(金)10:37 ID:Zfl1IBjM(2/7) AAS
>>522

⚫︎2021年夏秋。
コロナ禍で1年延期されたRIMS訪問滞在型研究 「IUT理論の拡がり」。

・川上量生企画.望月新一監修.加藤文元著 「宇宙と宇宙をつなぐ数学IUT理論の衝撃」(IUT本)は「IUT理論の拡がり」の公式本。

・IUT本はscholze stixレポートの回答書。

・IUT論文は数学でなくIUT語=望月新一語で書かれた「全く新しい理論」。
省16
524
(1): 01/02(金)10:41 ID:Zfl1IBjM(3/7) AAS
>>523

p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な 
問題に対する部分的なあるいは最終的な解決であったりしますが、
>「パラダイムシフト」期においては、当分野に革命を起こすような大論文であることもあるでしょう


p69
「興味深い」ということ 
省9
525
(1): 01/02(金)10:41 ID:jWbUuQsL(3/7) AAS
公式本?
526: 01/02(金)10:43 ID:Zfl1IBjM(4/7) AAS
>>525

ほれ
>522
527
(1): 01/02(金)10:45 ID:jWbUuQsL(4/7) AAS
成立不成立に関する公式な見解が
問題になったのは最近のこと
528
(1): 01/02(金)10:47 ID:jWbUuQsL(5/7) AAS
Mはリーンを示唆したようだが
529: 01/02(金)10:49 ID:Zfl1IBjM(5/7) AAS
2021年夏秋。
コロナ禍で1年延期されたRIMS訪問滞在型研究 「IUT理論の拡がり」の
組織委員長は望月新一教授。
公式HPにIUT本は掲載された。
以前から指摘されている。
530: 01/02(金)10:58 ID:Zfl1IBjM(6/7) AAS
>>528

的外れ

リーンの対象は数学で
IUT語 望月新一語は対象外。
茶番劇だ
531
(1): 01/02(金)11:02 ID:Zfl1IBjM(7/7) AAS
>>527

海外では、
abc予想は京都京大ととりまき限定
定理で他はabc予想と受理以前から
言われてる。
532: 01/02(金)11:02 ID:jWbUuQsL(6/7) AAS
リーンは4色問題とケプラー問題を検証したそうだが
533: 01/02(金)11:03 ID:jWbUuQsL(7/7) AAS
>>531
それを公式に表明した文書は
Scholtzeのもの以外には何がある?
534: 01/02(金)11:21 ID:PrlO19Yy(1) AAS
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.
省20
535
(1): 01/02(金)11:32 ID:iRX6U1KL(1) AAS
leanに取り組むということは少なくとも本人は絶対正しいと思ってるんちゃうの?
536: 01/02(金)12:45 ID:cyTGqQkU(1) AAS
>>535
>正しい

リーンは基礎論の数学に基づくから
不可能。

>>524
望月新一語で書かれたIUT論文は数学でなく、「パラダイムシフト」期においては、当分野に革命を起こすような大論文。こちらは誰も否定できないはったりw
537: 01/02(金)13:08 ID:rJUrHsrr(1) AAS
予算取りの方便でしょ
leanなんて通る訳が無い 通るくらい形式化できるならとっくにコミュニティを納得させられたはず
538: 01/02(金)14:46 ID:IrlCCJlM(1) AAS
Mとはその点で見解の相違がある
539: 01/02(金)16:26 ID:yI6/mYwk(1) AAS
結局尊師にはもう
理解できない奴らは全員バカ
という荒唐無稽な他責論しか縋るものがないんだなぁ、もう
望月が基礎論集合論の基本もわかっていないことからくる壮大な勘違い、っていう恥ずかしいオチ
540: 01/02(金)17:40 ID:K6CG+KsJ(1/2) AAS
もっちが使うと言ってるLeanはWin11で動作するの?
それともLinux?
541
(1): 01/02(金)20:52 ID:s0Ay06rF(1/2) AAS
Leanは数学の証明支援機能を持つ純粋関数型言語でプログラミング言語・システム。
一方、IUTの原理は万物の原理「緩み=不定性」で、数学の証明がない量子力学の不確定性原理まで含み数学の範囲を超えていてる。

つまり望月新一教授のトンデモIUTはLeanの範囲外。
542
(1): 01/02(金)21:03 ID:/eOPjJeC(3/3) AAS
>>541
それ
揚げ足取りじゃ無いかな
543: 01/02(金)21:05 ID:K6CG+KsJ(2/2) AAS
LeanがWin11で動くなら自宅pcで試したい
544: 01/02(金)21:19 ID:s0Ay06rF(2/2) AAS
>>542
IUTは数学の妄想?

緩み=不定性は
望月新一教授本人の文章からで
scholze stixレポートの回答だ。

>>16

川上量生企画望月新一監修加藤文元著宇宙と宇宙をつなぐ数学。

p8 p9 p10

>IUTTでは、この足し算と掛け算の間にある「底なしに固いはの関係」を解体して変形を施すだけでなく、様々な
省14
545
(1): 01/03(土)18:08 ID:yhrqT/dl(1) AAS
ブログ読んだけどさ、これ、Lean専門家側と早晩喧嘩別れするようにしか思えないんだが
546: 01/03(土)18:25 ID:q6NZzniB(1/4) AAS
都合悪くなるとあいつらはバカ!で逃げるからな
それを周りが甘やかしてきたからもう改心不可能だろ
547: 01/03(土)18:28 ID:q6NZzniB(2/4) AAS
もうどこどこで研究集会しましたとか
発表しましたくらいしか材料出せない尊師だけど
その勢いも明らかに弱まってるな、ってことがわかった記事だったね w
548
(2): 01/03(土)19:45 ID:SDpLrOtz(1/2) AAS
>>545
昨年のBoyd氏絶賛ブログ記事の結末があれだからねえ

今年も「Leanの専門家」やら「基礎論の専門家」やらが
脳内シアターに登場して都合のいいこと言ってくれてるけど
「不定元のような論理式」が「一階述語理論としてのZFC」で
形式化可能なんて言う専門家はおらんだろ
549: 01/03(土)19:51 ID:5vxnaCof(1) AAS
アホじゃないの?
数学の記述として認められているのは述語論理のみ
それで記述できないならもはや数学ではない
述語論理で記述された理論ならleanにコーディング可能
数学でない何かをやりたいなら好きにすればいいが
その程度の事も調べられんのか?
550: 01/03(土)20:10 ID:q6NZzniB(3/4) AAS
学部レベルのこともわかっていない望月
基礎に立ち返って勉強するってこともせず、世界に恥を晒し続ける
551
(1): 01/03(土)20:12 ID:q6NZzniB(4/4) AAS
>>548 ショルツが悪い、謝るべきだと激昂する学部長だとか、去年から妄想癖が一段酷くなったよなぁ、尊師
552
(1): 01/03(土)20:27 ID:SDpLrOtz(2/2) AAS
>>551 あけましておめでとう
というわけで一昨年(2024年の年頭)ですね
A氏・B氏・C氏が登場して(結局、誰だったんだよ)
氏に都合の良いことを言ってくれたけど
>つまり、非公開な状況下では、上記のような証言が、こちらとしては
>不思議な位に次々とまさに芋づる式に出てくるにも関わらず、公の場では、
>逆に情報がいつまで経っても一切出てこない。その意味では、
>昨年は私にとって、このいわば統合失調症のような激しい二面性、
>別の言い方をすれば、「認知的不協和」の正体は一体何なんだろうか、
>度々考えさせられる一年であった。
省3
1-
あと 450 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.033s