[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
>「公式見解」は出されるものではなく空気として醸成されるものかと思われ
５ちゃんの戯言的にはそれでよいだろう
507(1): 01/01(木)21:10 ID:ZsoWtjfj(1) AAS
そのブログ読んですぐわかるのはやっぱり望月先生は基礎論や計算論は完全に素人、まさに学部の３回生レベルの知識しか無いとわかる
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
類似の展開１
ラッセルのパラドックス
外部ﾘﾝｸ: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
類似の展開２
□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が証明できました」
ＭＳ「当然だろう 見たか、ＰＳ！」
LEAN「それだけじゃありません 定理3.11から任意の命題が証明できました」
ＭＳ「ん？なんだと？任意の命題？つまり、偽の命題も証明できる、ということか？」
LEAN「ま、そういうことになりますね」
ＭＳ「ウソだぁぁぁ！！！とりあえずこのことは我々だけの秘密としておいてくれ」
LEAN「残念ながら、この発見は数理論理学上大変重要なので、すでにarXivに論文をuploadいたしました」
ＭＳ「なんだとぉ！それじゃ系３．１２が数論で証明できたといえないどころかその事実も全部明らかになったということか」
LEAN「ま、そういうことになりますね ＰＳさんからもメール来てました。”やっぱ、そおかぁ”」
ＭＳ「うるせぇぇぇ！！！あいつに同情されるくらいなら死んだほうがマシだぁぁぁ」
省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
リーンは４色問題とケプラー問題を検証したそうだが
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
553: 01/04(日)02:21 ID:fKriGFm2(1/3) AAS
言うだけ言って逃げ回ってるだけ
ダサすぎるぞ、チンイチ
554: 01/04(日)03:45 ID:M//qxiSG(1/15) AAS
ファラデーも笑い者にされてマクスウェルが助けて今では紙幣の顔になってる 紙幣になった物理学者が居ただろうか？
コペルニクスやガリレオもしぬまで一般人から幽閉されたが
ケプラーやニュートンが証明してくれた
もっちーは今そんな状況
555: 01/04(日)03:52 ID:M//qxiSG(2/15) AAS
このスレの誰かがマクスウェル、ケプラー、ニュートンみたいになってくれれば良いのにな
無理か
556: 01/04(日)04:01 ID:M//qxiSG(3/15) AAS
もっちーはファラデー チコブラ ガリ みたいな
直感的な超天才で当事誰にも理解できないされない
のかもしれないよ
557: 01/04(日)04:08 ID:M//qxiSG(4/15) AAS
コペが地動説言ったらオマエラは超反対
ファラが電気と磁気は同じと言ったらオマエラは大笑い
558: 01/04(日)04:14 ID:M//qxiSG(5/15) AAS
もっちーは説明が足りないのだよ
559: 01/04(日)04:18 ID:fKriGFm2(2/3) AAS
という妄想が望月と取り巻きの脳内で行われてるんだよな 笑
560: 01/04(日)04:23 ID:M//qxiSG(6/15) AAS
古代物理学はニュートンが生まれるまで古代物理学のままだった
561: 01/04(日)04:26 ID:M//qxiSG(7/15) AAS
コペが生まれるまで人は天道説のみ
562: 01/04(日)04:28 ID:M//qxiSG(8/15) AAS
ファラが生まれるまで磁力と電気は全く違うと思ったまま
563: 01/04(日)04:31 ID:M//qxiSG(9/15) AAS
ディラック ボーア シュレ が生まれるまでスマホなど生まれなかた
564: 01/04(日)04:42 ID:M//qxiSG(10/15) AAS
もっちはこんなにクソミソに言われる存在じゃないと思うよ
まるでコペやファラやケプやみたいな感じだ
酷い扱い
565: 01/04(日)04:55 ID:M//qxiSG(11/15) AAS
素まんこ
566: 01/04(日)06:57 ID:H0KUEkZG(1) AAS
ID:M//qxiSGは、典型的な新興宗教のカモだなぁ
外部ﾘﾝｸ[html]:hissi.org
567: 01/04(日)07:09 ID:sX7afMYE(1) AAS
>コペが生まれるまで人は天道説のみ
地動説が古代ギリシャにもあったことは
良く知られている
568: 01/04(日)07:44 ID:M//qxiSG(12/15) AAS
チ。
569(2): 01/04(日)09:13 ID:t7mFxGOO(1/2) AAS
>>548
年頭ブログ記事の内容を私なりに要約してみると
iutでは
(1) species/mutationの理論をメタ理論として
「一階述語理論としてのZFC」を扱えば
「不定元のような論理式」を扱うことができる
(2) それをleanで形式化してほしい
ってことでしょうか
(2)の動機はもちろん(1)に対する疑義を否定するためです
(1)のような理論は（現時点で）存在しません
省15
570(2): 01/04(日)09:52 ID:g8q48/k+(1) AAS
>>569
多くの基礎論の研究者が認めてるって
それだれ？
571(1): 01/04(日)11:15 ID:t7mFxGOO(2/2) AAS
>>570
一昨年のA氏・B氏・C氏（>>552）は人間関係を話してくれたって
設定だから匿名でも仕方ないけど
今年のブログに登場する「基礎論の専門家」は
純粋に学術関連の発言なのだから
発言が本当なら匿名にする必要はないはずですよね
たくさんいるはずなのに一人も表に出せない/出てこないのは
なぜなんでしょうね？
（ブログ記事より引用）
＞また論文を公開した2012年以降も、何名かの基礎論の専門家にも
省3
572: 01/04(日)13:48 ID:dzNpWROJ(1/2) AAS
>「不定元のような論理式」が「一階述語理論としてのZFC」で
>形式化可能なんて言う専門家はおらんだろ
任意の位取り記数法で有限小数全体の集合は無限集合、かつ、有理数全体の集合＝有限小数全体の集合∪循環小数全体の集合、かつ、有理数全体の集合は可算、よって有限小数全体の集合も可算。
同じ方法で任意の言語の有限長文字列全体の集合Sは可算であることを示せる。文字列としての論理式の長に上限は無いから論理式全体の集合N'は無限集合、かつ、N'⊂S、よってN'も可算。
整数環Zと環同型な Z'⊃N' が存在し、Z上の多項式環 Z[X] と環同型な Z'[X] が存在する。
「不定元のような論理式」とは X∈Z'[X] のことだろうか？
573: 01/04(日)16:12 ID:fKriGFm2(3/3) AAS
望月含むトンデモ界隈は勘違いしがちだけど
コペルニクスもガリレオも
当時から専門家からの一定数の支持は得ていたんだがね
宇宙際の問題は尊師の論理学基礎論への根本的勘違いと勉強不足からくるvacuously true,
内容が何もないことだし
574(1): 01/04(日)22:53 ID:M//qxiSG(13/15) AAS
違う違う
私が言いたいのはもっちはツビッキみたいなモンじゃ？ て事。
ツビッキはしぬまで誰からも理解されなかった
でも今では物理数学の世界標準になってますしお寿司
575: 01/04(日)22:59 ID:M//qxiSG(14/15) AAS
物理数学でなくて純粋数学で言うと
ガロア理論は彼が生きた時代は誰も理解さえ、出来なかた
もちは生まれるのが早すぎた
576: 01/04(日)23:10 ID:M//qxiSG(15/15) AAS
ゲルとショルが説明しろ説明しろやかましいから
頑張て説明してるけど誰も追いついてこれないので超困ってる
577: 01/04(日)23:45 ID:dzNpWROJ(2/2) AAS
すぐ受け入れられなかったことしか共通項が無いので類推ではなくただの妄想
578: 01/04(日)23:57 ID:I9zjin04(1) AAS
望月新一教授はscholze stixレポートの
数学の遠アーベル幾何学とIUTの違いを
説明できず回答がIUT本。
京大PRIMSでIUT理論が出版後も望月新一教授がIUTは全く新しいと主張している。
IUTはトンデモです。
↓
>望月教授は、言うなれば、だれも 話したことがない、新しい言語を用いて理論を組み立てました。
>>17
579: 01/05(月)00:07 ID:6HKRGV1X(1/2) AAS
>>574
望月新一のIUT不確定性原理は
緩み=不定性のトンデモ原理の例だね。
IUT CULTだから取り憑かれる
とデュプイやジョシの悲劇になる
580: 01/05(月)00:21 ID:6HKRGV1X(2/2) AAS
IUTは望月新一教授が「だれも 話したことがない、新しい言語を用いて理論を組み立てました」。
これは
過去の数学物理天体などと妄想IUTは全く無関係だ。
現在は数学と物理天体と妄想のIUTを混ぜ合わせるfakeを行っている。
581: 01/05(月)03:57 ID:DgrdbaZL(1/2) AAS
この人は特別です、今回だけは特別です
ペテン師の常套句
みんなで大家さんとIUCULT
582: 01/05(月)07:46 ID:drv6rZVN(1/3) AAS
結局メタ数学を無手勝流でガッツリ使ってましたってことかいな
「ZFCGはZFCの保存拡大」なんて学部生でもすぐ分かる程度の間違いやらかすレベルだってのに
>私自身、2010年〜2011年頃、[IUTchIV]§3を執筆したとき、species/mutationは、
>特に難しい話でもなく、取り立てて新奇性のある話でもなく、多くの数学者が
>当たり前に脳内で無意識のうちにこなしている処理を、（同様の概念が明示的に
>記述されている適切な文献が見付からなかったために）ただ自分で明示的に
>記述してみただけのものに過ぎないという認識でした。
なんて書いてっから数学とメタ数学の違いも曖昧だったりするのかも
いずれにせよくだらんことでずいぶんと人の時間を無駄にさせたな
583: 01/05(月)16:48 ID:K8qrgQGQ(1) AAS
大学１年の数学が理解できずに落ちこぼれた高卒素人がコピペで発●
自分が凡人だと認めると●ぬらしい・・・
みんな凡人だとわかってるのに自分だけが認めないのは哀れなもの
584(1): 01/05(月)20:06 ID:drv6rZVN(2/3) AAS
IUT Summit 2028開催のお知らせ
外部ﾘﾝｸ: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氏なのかな。遅ればせながらお久しぶりです（間違ってたらすみません）
省7
585: 01/05(月)20:21 ID:drv6rZVN(3/3) AAS
おまけ
Inter-universal geometry と ABC予想 38
【引用開始】
750１３２人目の素数さん
垢版 | 大砲
2019/05/21(火) 20:25:54.21ID:mtULy2M4
IUT発表直後、エレンバーグのブログでタオが「ABC予想証明に関する限り最終節の内容はred herring（おとり、偽装）で、
最終節は今後の宇宙際幾何学の拡張に関連しているのではないか？」と書いていて、ほとんどの数学者もそう考えていたと思う
（ちなみにこのブログでロバーツは「Mは圏論に精通していないのではないか」と書いている）
しかし、red herringどころか「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、
省3
586: 01/05(月)21:23 ID:OaXcc1cg(1/4) AAS
>「種の言語」や「突然変異」が同義反復的解決のための糸口であり、単遠アーベル輸送でおこる現象であり、IUTの本質的部分だった
単遠アーベルとIUTの違いは何か？
587: 01/05(月)21:36 ID:OaXcc1cg(2/4) AAS
遠アーベル幾何学は数学で、
IUTは望月新一語で書かれていて
望月新一しか理解できない。
alian universeもそうだね。
>>17
588: 01/05(月)21:42 ID:OaXcc1cg(3/4) AAS
>>25
宇宙際タイヒミュラー理論は
遠アーベル幾何学の応用だ。
遠アーベル幾何学≠IUT
589: 01/05(月)22:42 ID:OaXcc1cg(4/4) AAS
・遠アーベル幾何学とIUT。
大域的復元のアルゴリズムについて、
ａ. 遠アーベル幾何学。
Mochizuki, Shinichi
Topics in Absolute Anabelian Geometry
III: Global Reconsruction Algorithms
・zb mathReviewer: G.Faltings
b. IUTT。
IUT論文や「alien 」 .
a.とbの違いについてはscholze stixレポートの問いで説明が必要だ。
省5
590(1): 01/05(月)22:45 ID:SiBqM6ok(1) AAS
これは勝手な感想だけど
遠アーベル幾何自体もあんまり将来展望無いんじゃないかなあ
ホモトピー？ホモロジー？取ったあとの圏で充満忠実（関手の全単射ね）になるような対象だけ考えるんでしょ？
それがどんな対象であるか考える必然性があるように思えないし
それしか考えないことに意味あるんだろうかとも思ったりも
591(2): 01/05(月)23:37 ID:DgrdbaZL(2/2) AAS
玉川の講演聞いたけど、グロタンディークの名前だけが拠り所の人工数学だな
尊師のやらかしと李娘の出鱈目人事もあって
今やってる人らが老いたら無くなる分野
592: 01/06(火)05:45 ID:oly51cAF(1/2) AAS
玉川の講演聞いたけど、グロタンディークの名前だけが拠り所の人工数学だな
>以前から「グロタンディークの名前だけが拠り所の人工数学ではないか」
という印象を持っていたので玉川の講演聴かなかった。
593: 01/06(火)06:50 ID:oly51cAF(2/2) AAS
数学の本質が自由性にあるのは確かだが
神聖さのかけらもないものを
数学とは呼べない
594(1): 01/06(火)07:42 ID:1BFKvTIv(1) AAS
>>591
>今やってる人らが老いたら無くなる分野
大学院生も居るし若い研究者も居るから
ずっと残りそうな気がするけどな
それと
もしもIUTでABC解けたと確認されたとしたら
実は相当役立つと認識されて
世界中の数論幾何研究者が殺到することになるかも
595: 01/06(火)08:33 ID:brpHbdQK(1/5) AAS
>>27より
IUT論文は全く新しい理論としても未完成だから京大PRIMS特別編集委員会(玉川.柏原委員長)の論文受理は間違いだ。
よって京大PRIMS特別編集委員会
はIUT論文受理を謝罪し直ちに取り消す必要がある。
・その上でLean検証について。
IUT論文の正しさはパラダイムシフトと称した全く新しい理論の正しさでLeanで検証の数学の範囲外だ、IUT CULTと言われる理由だ。
まず本人とりまきがパラダイムシフトや罵倒を謝罪することで
次に自然言語による書き直しが必要だ
596: 01/06(火)08:41 ID:brpHbdQK(2/5) AAS
>もしもIUTでABC解けたと確認されたとしたら
いや京大数理研では公式にIUT論文が受理される前からIUT構築よりabc予想が解決していた。
ところが出版時点でもIUT論文は望月加藤文元が全く新しい理論でも未完成だと認めた。
597: 01/06(火)10:04 ID:brpHbdQK(3/5) AAS
>>590
>>28
IUTの流れとは違うと思う
F.Pop Stix らによるワークショップ
「遠アーベル幾何学と基本群の
表現」はいかがでしょうか？
598: 01/06(火)11:47 ID:wa4mLucg(1) AAS
>私自身、2010年〜2011年頃、[IUTchIV]§3を執筆したとき、species/mutationは、
>特に難しい話でもなく、取り立てて新奇性のある話でもなく、多くの数学者が
>当たり前に脳内で無意識のうちにこなしている処理を、（同様の概念が明示的に
>記述されている適切な文献が見付からなかったために）ただ自分で明示的に
>記述してみただけのものに過ぎないという認識でした。
これが数学者の口から出た言葉とは驚きだ
599(2): 01/06(火)12:28 ID:dfkuojzb(1) AAS
>>594 そいつら全然業績出せてないじゃん、星以外
後半は 宝くじ当たったら俺は金持ち より可能性低いだろうね
600: 01/06(火)17:58 ID:vlzh/4sK(1) AAS
>>599
玉川さんは？学会で遠アーベル幾何の特別講演もしてましたし
（IUTへの言及は一切ありませんでしたが）
601: 01/06(火)18:05 ID:brpHbdQK(4/5) AAS
>>599
星は望月新一教授が指導教授でIUTと遠アーベル幾何を渡り歩く都市伝説マン。
解決の雰囲気をばら撒きとりまきコラスらの飯のタネだろう。
パーツを寄せ集め組み合わせると人魚も出来る、IUTコピペ貼り専門のIUT信者は壺を買うレベルの知能弱者だけど
数学者が取り憑かれてはねぇ
602: 01/06(火)18:32 ID:brpHbdQK(5/5) AAS
玉川安騎男教授。
・内閣府の企画で>>12
玉川教授
>最近望月新一さんが証明したABC予想など、いくつもの数論の大問題が数論幾何学を用いて解かれています。
特に望月さんのABC予想の証明では、遠アーベル幾何学の理論や考え方が重要な役割を果たしています、と発言している。
文中の写真は全て査読中の2017年
・2019年8月1日 査読中
次世代幾何学センター は
センター長 が望月新一教授
で玉川安騎男教授が所員
上下前次1-新書関写板覧索設栞歴
あと 400 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.056s