Inter-universal geometry と ABC予想 34

**１３２人目の素数さん** · 2018/11/01(木) 00:54:51.10

IU幾何やABC予想に関する会話のサロン
として使って下さい。

荒らしはご遠慮願います。

前スレ Inter-universal geometry と ABC予想 33

https://rio2016.5ch....cgi/math/1539459427/

**１３２人目の素数さん** · 2018/11/17(土) 09:14:10.63

>>553
＞実力がある数学者
例えば？

**１３２人目の素数さん** · 2018/11/17(土) 09:59:59.50

著者がろくに文章に落とし込まずに自明だ、ラベル付けによりSSに指摘された点が解消される可能性はあるから
正しい可能性もあるって言い張ってたら外部の人間が証明にギャップがあることを示すのは無理だからなぁ
RIMSのお偉いさんか誰か数学者として本当にそんな態度でいいのか？って突っ込んでやれよ
IUTがどんなに高度な数学の上に成り立ってるかしらんけど本当に自明なら少なくとも数論幾何の専門家にはわかる程度の説明は出来るはずだろ

**１３２人目の素数さん** · 2018/11/17(土) 11:11:16.51

>>580
>>583
メタ的な判断はよく分かるんですけど結局は憶測の域を出ないんですよね
でも確かに話を聞いてると説明不足の感は否めない気も
（世界中の数学者に）何で分かるように説明出来ないんだろうという疑問はありますね
外国の数学者も理解した人は何人かはいるんですよね

>>582
取り巻き？にいる山下先生とか星先生はあんまり大したことない感じなんですか？
素人なので知らなくてごめんなさい

**１３２人目の素数さん** · 2018/11/17(土) 11:25:04.66

今ある事実から憶測することは別にいいだろう
6年間進展がないから間違いじゃないかとか普通の感覚してたら思うだろ
このスレの悪いとこは憶測を事実として盲信して叩いたり煽ったりしてる点

**１３２人目の素数さん** · 2018/11/17(土) 11:26:44.12

>>584
>外国の数学者も理解した人は何人かはいるんですよね

いないよ。君はだいぶ情報が遅れてるね。
望月理論の理解者は結局誰一人いない。
理論が正しければ理解する人が現れる。正しくないから理解できない。
おそらく望月自身も自分が何をやっているかわからない。
だから2012年以来、何の進展もないのだ。

望月理論を一番理解しているのは、望月自身ではなく、SSであることは間違いない。
だから理論が致命的にナンセンスであることも一番鋭く指摘しているのだ。

**１３２人目の素数さん** · 2018/11/17(土) 11:44:11.99

査読は議論ではなくてレフェリー側が攻撃、著者が守備という非対称性がある
レフェリーを納得させられないなら非掲載
それでも論文の結果が正しいということはある

なお今回は「結果は正しいが重要な結果ではない」判定はあり得ない
長過ぎるからなんとか縮めろはあるかもしれないが
むしろもっと長くてもいいから読み易くしろのほうがあるかも

著者が正しい、出版の価値ありと思ってるなら、他の雑誌に出せばいい
結局はまたディフェンスして守りきらないといけない
俺も一度リジェクトした論文が別の雑誌からまた俺にレフェリー回った経験がある

**１３２人目の素数さん** · 2018/11/17(土) 11:48:20.19

>>585
そう思います
信者、アンチ双方にそういう人はいるでしょうが

>>586
そういう結論に到ることも理解は出来ますが結局は憶測ですね
有難うございました
私はただ断定して言うのが気になるだけで結局は匿名掲示板ですからね
何だか水を差す書き込みをしてしまってますね

**１３２人目の素数さん** · 2018/11/17(土) 11:50:26.66

査読もなかなか大変ですね
IUTTはかなり専門的な知識が必要とされる（と言われてる）ことも関係ありそうですが

**１３２人目の素数さん** · 2018/11/17(土) 12:12:18.75

>>588
君は都合が悪い真実をすべて憶測と言ってるだけだな。

「望月の理論3.12には証明がない」
「海外にも（国内にも）証明を与えることができる理解者がいない」

のは、憶測ではなく事実。

君は単にこれらの事実をつきつけられてスルーしているだけ。

**１３２人目の素数さん** · 2018/11/17(土) 12:19:10.76

本当は
>>581のいうように、
森重文の仲介で、SSと会談したがついに説得できなかったという時点で、
事実上外部査読の通過に失敗し、
却下された論文という事だ。それ以上でもそれ以下でもない。
この事実は憶測でも何でもない。
このｽﾚでだらだら議論が続くのは、RIMSがまだ正式に降伏宣言してないので、
それを生暖かくみまるのと、
小保方信者のような狂信者が時々書き込むので、
それに反応して書き込みがあるだけのこと

**１３２人目の素数さん** · 2018/11/17(土) 12:24:00.41

>>590
数学的に証明足り得ているかどうかは私では何とも言えません
また数学者の先生でも断言はなかなか出来ないのではないでしょうか

ただ
「論文発表から６年経っているにも拘らず理解者がほとんどいない」
「理解者とされている人も他の数学者に理解させることが出来ていない」
「まだ査読が終了していない」
「査読が終了していないにも拘らず『ABC予想を解決した』と書いてしまった」
などのことは確かに事実ですね

上記の点からいろいろと考えられることがあるのは確かだとは思います

**１３２人目の素数さん** · 2018/11/17(土) 12:30:45.42

>>591
＞事実上外部査読の通過に失敗し、
＞却下された論文という事だ。それ以上でもそれ以下でもない。
＞この事実は憶測でも何でもない。
憶測を事実のように語る人間の典型じゃないですか
いやそもそも何を主張してるのか分からん
事実上却下された論文って何だ？
却下されるかどうかって完全に白黒つくものだから事実上なんて言葉は意味不明
「すでに却下されてるに違いない」と主張してるのかな？

**１３２人目の素数さん** · 2018/11/17(土) 13:10:42.79

>>591
STAP論文や彼女の博士論文の不適切なところが
1ヶ月もしない間に次々と見つかったオボちゃんとは少し違う
SSレポートがなぜか公開状態になっているが
査読は一応非公開なので水面下では解答があったかもしれない

IUTはありまーす確認☆よかったレベルの期待を持つ人がいても良い状態

**１３２人目の素数さん** · 2018/11/17(土) 13:50:54.47

査読の回答があったかどうかなんてそれこそ憶測に過ぎないじゃん。
査読中かどうかなんてのはどうでもいいことなんだから（別に査読中という状態に意味があるわけではない）、
「査読は通っていない」という事実があるだけでしょう。

**１３２人目の素数さん** · 2018/11/17(土) 14:29:15.60

>>586
＞望月理論を一番理解しているのは、望月自身ではなく、SSであることは間違いない。

どういう根拠で、そう言えるのさ？

**１３２人目の素数さん** · 2018/11/17(土) 14:49:21.85

森さんが宣言すれば全て終わるのにな
「ABC予想はいまだ解決されず」と

**１３２人目の素数さん** · 2018/11/17(土) 15:59:05.01

>>597
それぐらいはっきりした態度が望まれるわ
難解とは言えさすがに6年間放置は長すぎる
森総裁頼みますぜ

**１３２人目の素数さん** · 2018/11/17(土) 16:00:11.65

>>597
色々報道もされたから森か柏原のコメントが出るだろうな
どっちに解決するにしても

**１３２人目の素数さん** · 2018/11/17(土) 18:19:30.67

相変わらず猿山を脱してなくて笑うわ

**１３２人目の素数さん** · 2018/11/17(土) 18:33:47.45

おいしい情報だけ掠め取ろうとして、様々な言い合いを眺める猿未満のニヒルメタポジ馬鹿がいる所も
相変わらずだな

**１３２人目の素数さん** · 2018/11/17(土) 18:48:48.30

賭博を愛しすぎて破滅した天才数学者の末路　「賭博に負けない唯一最高の方法は…」
11/16(金) 16:00配信
https://headlines.yahoo.co.jp/article?a=20181114-00000047-sasahi-life
カルダーノの場合、最愛の長男が殺人罪で死刑になり、次男はヤクザになり、
長女は梅毒で若死にするという不幸に見舞われて酒と賭博に逃避した事情はわからなくもない。
なんかワロタ
宇宙際も博打なようなもん？・・

**１３２人目の素数さん** · 2018/11/17(土) 19:01:04.51

カルダーノって弟子は優秀だけど、自身は数学者というより詐欺師みたいな人だよね

**１３２人目の素数さん** · 2018/11/17(土) 20:04:32.88

猿山とか言い放って批判を罵倒しつつ擁護する関係者っぽいやつまだいるのか

**１３２人目の素数さん** · 2018/11/17(土) 20:13:21.88

IUTについて京大.RIMSから文科省へ報告。
>>35
↓
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC
予想の解決は、特筆すべき出来事である。
>当該論文は現在査読中であるが、

**１３２人目の素数さん** · 2018/11/17(土) 22:26:36.65

負け組の加齢臭漂う句読点爺

**１３２人目の素数さん** · 2018/11/17(土) 23:23:03.58

このスレに憶測が多いのは事実だが、ABCの解決者だと見なされてない感じっていうのは
例えばIASに招待されてないとか色々ある
プリンストンはアメリカのディオファントスの総本山みたいな所だからな

**１３２人目の素数さん** · 2018/11/17(土) 23:31:37.50

望月先生は確かプリンストン大学の出身ですよね

**１３２人目の素数さん** · 2018/11/17(土) 23:44:46.90

これ、結構正しい理解だわ

前にも書いているけど
・IUTの正否は、かなりハイコンテクストで簡単に断言できる話ではない
しかし、社会学的な意味で遠目に見ていた数学者がショルツらの評価を真に受けて終わる可能性が高い
・IUTが正しい理論だとしても、理論を理解するのは恐らく平均的なスキームの保型表現論や
p進ホッジ理論よりも難易度が高い

この二つの要素が絡んでいて、現段階でコミュニティにおける位置付けを断言できる人間は
どんな立場の数学者にもいないと思われる
だからこそ面白いという事もできるんだけど（勿論飽きてきた側面もあるにせよ）

**１３２人目の素数さん** · 2018/11/17(土) 23:47:41.30

何度も言うが、ショルツらの反論は反論の体をなしていない。最初から誤解してるから全体的に内容がめちゃくちゃ。これ、本人や一派はもちろん、"彼"や、勉強中の複数の若手が言ってるから、ホントだよ。

**１３２人目の素数さん** · 2018/11/17(土) 23:51:27.84

ふーん、その他の数学者たちはそう思ってないみたいだけどね

**１３２人目の素数さん** · 2018/11/17(土) 23:54:39.71

正式に雑誌に抗議すれば良い
なんで出来ないのか
後ろめたさや隠したいことがあるんじゃないのか

**１３２人目の素数さん** · 2018/11/17(土) 23:59:14.01

俺は望月はグロタンディーク宇宙で好き勝手にやっている宇宙人、異世界人だと思っている（笑）
好きにしたまえという感じだが、それに盲目的に追随している連中はただのアホだとしか思っていない
自分では一切考えようとしないで、誰それがどう言っているとか本当にどうでもいい
NG入れが多すぎてたまらんわ orz

**１３２人目の素数さん** · 2018/11/18(日) 00:02:37.51

間違いだったらこの6年間何人もの人の時間が無駄になったんだなー
間違いは仕方ないにしろもっと短い時間でケリをつけられたんじゃないか？
再発防止策とか必要じゃないか？

**１３２人目の素数さん** · 2018/11/18(日) 00:18:22.15

アホの宣伝担当と側近を置いたのが間違い

**１３２人目の素数さん** · 2018/11/18(日) 00:31:09.69

スターサーベイに加担したＴとＭ
止めるべきだった

**１３２人目の素数さん** · 2018/11/18(日) 01:10:41.65

ご本人がもうちょっと丁寧なSSへの反論を出したら（出せたら）話が変わってくる気もする。
どっかの外人がblogで書いていたSSはiutをlinearにとらえすぎているってのが本当ならそれはどういう意味なのかとか

**１３２人目の素数さん** · 2018/11/18(日) 01:37:12.32

>>613
そして最後には自分のレスしか読めなくなるのだった(ﾟ∀ﾟ)ｹﾗｹﾗ

**１３２人目の素数さん** · 2018/11/18(日) 02:26:01.13

>>614
「間違い」というよりギャップありまくりで証明になってないとしても
そこで穴を埋めれる側近はいなかった
とすれば時間を無駄にした取り巻きにも責任はあろう

擁護してる人が言ってるようにSSは何もわかってないから
反論のしようがない～で通るならまあそれでいいけど
6年解説ばかりで新しい仕事してないなら周囲もダメでしょ

**１３２人目の素数さん** · 2018/11/18(日) 03:09:37.80

>>608
STAPはハーバード大学ですね

**１３２人目の素数さん** · 2018/11/18(日) 06:22:52.21

もっちーは大秀才であって、天才じゃないてあったけど
この板で昔よくみた、揶揄された秀才君なのかもね

**１３２人目の素数さん** · 2018/11/18(日) 06:53:48.30

解説をするのも数学者の仕事だと思うがね
新しい領域への展開なんて誰にでも出来る訳ではないし何もしないよりかは遥かにマシ
ただ前から言われてるように望月の仕事を発展的にもしくは一部ぶち壊してでも前に進めてくれるようなフォロワーが現れてこないのは問題だね

**１３２人目の素数さん** · 2018/11/18(日) 07:16:48.90

昨日関係者の関係者から話を聞いたんやけど、その人も>>610と同じようなこと言ってたで。
どうやらショルツ側の理解があやしいってのはマジらしい。

**１３２人目の素数さん** · 2018/11/18(日) 07:42:08.50

関係者に聞いたら実はガッキー好きじゃないってよ
3.12の証明も良く分からないって

**１３２人目の素数さん** · 2018/11/18(日) 08:31:17.11

>>550
面白いなこれ
「(ベリファイすべき)証明がそもそもなくって、代わりに『以上から～が結論される』だ(から検証しようがない)」か。

**１３２人目の素数さん** · 2018/11/18(日) 09:09:59.37

元々 IUTは京大RIMSが予算を獲得し
事業を推進するための道具だ。>>35 - >>39

**１３２人目の素数さん** · 2018/11/18(日) 12:57:17.18

「ショルツ側の理解があやしい」というのは多分そうだろうと思っている
専門外のことで完全に理解するまで突っ込んで行く気はなかったのだろう
査読として不十分だまでと言えるかどうかはわからない

今の所は両方とも完全な決め手を欠いてる状態だからグダグダしてる

**１３２人目の素数さん** · 2018/11/18(日) 13:13:59.68

ショルツの言うとおりじゃん。
abc予想の肯定的な解決はIUTの構築で
根拠は概要の解説文による。
数学証明の査読ではない。
↓
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC
予想の解決は、特筆すべき出来事である。←
>当該論文は現在査読中であるが、
望月新一が同理論の概要を解説した、、
講究録別冊として刊行されている。>>35

**１３２人目の素数さん** · 2018/11/18(日) 13:59:36.15

IUT以外で国から金を取る方法なんて数学の世界じゃないもんな
なんか悲しいわ

**１３２人目の素数さん** · 2018/11/18(日) 14:43:37.06

>>620
ハバードのポスドクだよ。出身は鼻くそみたいな早稲田。

**１３２人目の素数さん** · 2018/11/18(日) 15:45:34.07

>>627
「ショルツ側の理解があやしい」と言うのだったらHの理解も怪しいと俺は言いたいな
ショルツらとHの入門での理解はほとんど変わらんよ。特に充満多重同型や対数リンクの非可換性の解消など（これは前にも書いた）
ショルツらとHの違いは論文を読む際に批評的な視点を持って読んだかどうかに尽きる。ショルツらはデカルトの役割を果たしたんだよ

ショルツらが怪しいなら一番弟子たるHも怪しいし、Yに至ってはまとめコピペしているだけなので論外
IUTTについて最もよく知っているのは（理解していると言うつもりはない）望月本人だけだよ
当然俺も完全に理解できてないし（誤魔化しが多いと感じるから）、望月だけが多く読み込んでいるとしか言えない（著者だからね）

**１３２人目の素数さん** · 2018/11/18(日) 15:55:50.90

デカルト的と言ったのは、明証、分析、総合、枚挙・吟味と言う意味でだけどね
最後の枚挙に関しては、同一視できるものを同一視してまとめた（単純化）ということでいいだろう

**１３２人目の素数さん** · 2018/11/18(日) 15:55:52.84

数学板にはお互いの正しさを一方的に主張して議論が噛み合わないスレがある。
代表的なのは、算数の掛け算順序スレと負の数×負の数の説明スレだろう。
馬鹿の一つ覚えの主張が、壊れたレコードのように延々と繰り返される。
しかしここのIUTTスレは、同じ主張を繰返すという点ではそれらを超えた。
ここまでの同義反復は知性があれば恥ずかしくてできるものではない。
見事なまでに同じ主張が繰り返されている。恐れ入った。
大したもんだよ、蛙のションベン。見上げたもんだよ、屋根屋のフンドシ。

**１３２人目の素数さん** · 2018/11/18(日) 16:18:34.49

>>631
病院に行こう！

**１３２人目の素数さん** · 2018/11/18(日) 16:19:58.56

少なくともY田は理解してるよ
てか理解どころか研究を開始してるレベルだよ
フェセンコもIUTでBSD狙ってると明言してる
本当に理解できていなかったら、貴重な研究期間をそこに費やさないでしょ

**１３２人目の素数さん** · 2018/11/18(日) 16:35:49.79

なーんも具体的なこと書けないんだから
そら擁護派の方が苦しくなるわな、俺自身は批判者でもないがな
てかマジで大物が一人も興味を示さないてのがやばい
出てくるのは何故か小粒ばかり、〇〇問題解決を狙ってるとかそんな話ばっかw

**１３２人目の素数さん** · 2018/11/18(日) 16:53:16.66

大きな成果でなくてもいいからIUTを使った新しい結果が出れば周囲の目も変わるだろう
それこそなんちゃらの性質を持った整数三角形の存在でもOK

**１３２人目の素数さん** · 2018/11/18(日) 16:55:09.04

http://lh3.googleusercontent.com/fX9pw-pW-xcUN7pShk6EFF6LCyUPWU9lZcctJa7EHymFlSgRnsKWTnuS-HSzDnRKaIQ4pr1pzXg=w260-h178-n

**１３２人目の素数さん** · 2018/11/18(日) 17:08:47.05

>>636
上の方にあるチェコの出戻りIUTT狂信者の弦理論家がラングランズがIUTTに興味を示していたと書いていたけど、
上のレスにもあるようにIASから招待されてすらいないんだよね

さっきエレンバーグのブログでタオとロバーツのコメントを読み返したけど、
IUTTで実行されている圏論や集合論というのはやはり彼らの言う通り“red herring”だと思う
ttps://ejje.weblio.jp/content/red+herring

タオはABC予想の証明に関する限りred herringだと書き、ロバーツは主論文Ⅲの対数テータ格子について書きつつ、
望月の複雑な集合論的な言語はred herringであり、圏論的アプローチに慣れていないと書いている
同感だよ。しかも彼らはIUTT発表直後にそう書いている
ロバーツなんてフェセンコにイチャモンつけられても、いまだに望月とメールのやり取りをしてそうだから良いヤツなんだろうな（笑）

**１３２人目の素数さん** · 2018/11/18(日) 18:21:24.34

>AdS/CFT対応は、2つの理論の間の関係が 3次元の対象とそのイメージのホログラムとの間の
>関係に似ていることから、よく「ホログラフィック対応」として記述される。ホログラムは
>2次元ではあるが、表現している対象の3次元の全ての情報をエンコードしている。同様に、
>AdS/CFT対応により関連付けられている理論は、次元の数が異なっているにもかかわらず、
>「正確に」等価であると予想されている。共形場理論は高次元の量子重力理論の情報を持った
>ホログラムのようである

「ホログラムは2次元ではあるが、表現している対象の3次元の全ての情報をエンコードしている。」
というホログラフィック対応とIUTの類似性が、超弦理論屋がIUTに好意的な理由だろう

**１３２人目の素数さん** · 2018/11/18(日) 19:09:34.58

>>634
擁護派って、自分の願望を崩されるような発言に対してはすぐこういう書き込みするね。
あるいはチンパンと罵倒するとかｗ

**１３２人目の素数さん** · 2018/11/18(日) 19:26:48.50

>>636
＞大物が一人も興味を示さないてのがやばい

下手に言及して（ブンゲンさんみたいに）自分が責められたくないから、
逃げてるんでしょ。ただの日和見よ。

**１３２人目の素数さん** · 2018/11/18(日) 20:06:53.00

>>639
red herring って、どういうこと？
紛らわしいとか目くらましという意味なのであれば、
間違っているというのとは根本的に意味合いが違うの
で、即無価値ということにはならないと思う。

**１３２人目の素数さん** · 2018/11/18(日) 20:14:22.93

なんかどうやっても間違ってるか正しいかという机上の議論に持って行きたいひとがいるみたいだが、
ぶっちゃけ間違ってるか正しいかなんてのは科学の営みのなかでは可変なので、
今は説明できていないけど正しいかもしれない、なんて主張には意味がないのよ。

**１３２人目の素数さん** · 2018/11/18(日) 20:20:52.66

>>644
数学の場合は証明できたかできてないかが全てでしょうね
現時点では数学界の中でIUTは正しいとは認められてはいない

もちろん望月論文が間違っているというわけでないし
修正が必要だとしても修正不可と言ってるわけでもない

今の時点で誰かが別の方法か一部IUT使っても
ABC証明すればその人の功績になるでしょう
そうなっても望月IUTが無価値だと必ずしもならない
望月IUTが無価値と判断される未来も可能性としてはありうる

**１３２人目の素数さん** · 2018/11/18(日) 20:23:55.52

>>645
全然違う。
科学の営みというのは結論を言ったかどうかではなく、
なぜそう思うのかを説明すること。
「地球は丸い」なんてのを単発でいきなり言い出してもそれは科学的主張ではない。
IUTはこの点で後者なのだからその時点で無価値。

**１３２人目の素数さん** · 2018/11/18(日) 20:25:22.24

>>646
「地球は丸い」とか物理の例は当てはまらないので
まあ「全然違う」のは確かだな

**１３２人目の素数さん** · 2018/11/18(日) 20:29:05.24

ショルツたちのレポートが言ってるのもそのことだよね。
検証する対象を構成してないから数学として無意味、と。

**１３２人目の素数さん** · 2018/11/18(日) 20:41:57.28

RIMSは国際共同なんたらになって、予算ゲットしたらしいね。iutさましまだな。

**１３２人目の素数さん** · 2018/11/18(日) 20:53:17.53

>>631
非可換性の解消っていうのは正確には「非可換性の問題の解消」だと思いますよ
その辺の考え方もホッジ理論に関係しているけど

**１３２人目の素数さん** · 2018/11/18(日) 21:04:23.38

>>635
誰だ、阪大の人？

**１３２人目の素数さん** · 2018/11/18(日) 21:10:51.76

>>640
超弦理論は単位がある物理体系の理論で
厳密な証明が必要な数学理論ではない。
ADS/CFT. 量子重力理論.量子的もつれ、、
も同様に物理理論だな。
ディラック作用素の指数「定理」は超対称性
量子力学において経路積分を使い2つの方法
で計算すれば導出される。
が、これは数学の証明ではないし
物理のアノマリーの計算だ。

**１３２人目の素数さん** · 2018/11/18(日) 21:20:16.92

やはり他分野から理解者が出てくるのか

**１３２人目の素数さん** · 2018/11/18(日) 21:24:32.46

どの分野にもトンチンカン混同邪念
病を患った奴がいるもの

**１３２人目の素数さん** · 2018/11/18(日) 21:27:43.16

Y田さんが阪大の人なら、まあ一応Gさんの近い研究者だからな
しかし、そうやって納得した人間がいる割にはなかなか通らないな。プロジェクト的にも
来年に通る可能性が高いのは間違いないが

**１３２人目の素数さん** · 2018/11/18(日) 21:28:44.26

↑可能性が高いって、勿論通るなら、の話な

**１３２人目の素数さん** · 2018/11/18(日) 21:46:09.24

>>652
アノマリーか、確かにそうだね（笑）
最終節で“mutation-history”とか“observables”なんて散々書いているからね
結局、最終節直前まで集合論や圏論を偽装していたわけだ
本当は最終節でのIU形式主義と種の言語が底流に流れてた
ロバーツもIUTT発表直後にMOでKimとこんなやり取りをしていた（だいぶ前にもコピペしたんだけどね。反応なしだった）
-----------------
Dear Minyong, it has been stated by experts, here on MO and elsewhere, that universes are not necessary for the uses to

which EGA/SGA are put. Indeed Colin McLarty has shown that ZFC is far stronger than is necessary, with the results

provable in some higher order version of arithmetic. As far as the interuniversal aspect of IUTT goes, I expect it to have a

topos-theoretic interpretation. This to my mind makes switching between models of set theory cleaner i.e. functorial.
-David Roberts Sep 9 '12 at 1:27
-----------------
ちなみに“topos(topoi)”という語はIUTTではわずか1回しか出てこない
最終節を整備して冒頭に置き、それから宇宙際幾何学を展開するしかないだろうね
ただ、それがもはや数学と呼べるものかどうかは分からないが・・・

**１３２人目の素数さん** · 2018/11/18(日) 21:46:50.62

>>652
だからＩＵＴを超弦理論の厳密な数学的証明の為のツールとして使えるかもって
期待してるんじゃないかなという話

**１３２人目の素数さん** · 2018/11/18(日) 22:00:40.20

>>642
ブンゲンの動画がショルツのレポートを公開してるページに追加されてて笑ったわ
逃げられんねこれは

**１３２人目の素数さん** · 2018/11/18(日) 22:02:02.34

>>640はちげーと思うなあw
単にマルチバースを横断するタイヒミュラー理論は何かCFTや経路積分に凄くフィットしそうってだけじゃないの
でも、一般的にストリングの人間がIUTに好意的って事実はないと思うんだが

**１３２人目の素数さん** · 2018/11/18(日) 22:08:05.75

>>639
俺のID変わってるかもしれんが……

あー確かに、そうした話がほんとだとしたらIASに呼ばれないのは変だね

フェセンコは何年か前に京大で講演してたのを覚えてるわ

**１３２人目の素数さん** · 2018/11/18(日) 22:30:16.49

　　|　|| i／　ヽ､　ノ　| | 　　|　|| i／　＼　／ .| | 　　.|　|| i／　ヽ､　ノ　| | 　 .|　|| i／　＼　／ .| |
　（Ｓ|| |　（●）（●） | 　 .（Ｓ|| |　（●）（●） |　　.（Ｓ|| |　（●）（●） | 　（Ｓ|| |　（●）（●） |
　　|　|| |　　　　 .ﾉ　　）|　　 .|　|| |　　　　 .ﾉ　　）|　　 .|　|| |　　　　 .ﾉ　　）| 　　|　|| |　　　　 .ﾉ　　）|
　　|　|| |ヽ､＿～'_／| | 　　 |　|| |ヽ､＿～'_／| | 　　.|　|| |ヽ､＿～'_／| |.　　.|　|| |ヽ､＿～'_／| |
　　 ┏┓　 ┏┳┓　　 /　 / 　　　　　　ヽ　　　　./　 / 　　　　　　ヽ　　　　┏┓ 　　　　┏━┓
　┏┛┗┓┗┻┛　　,i　/ // / i 　　i l　ヽ　　,i　/ // / i　　 i l　ヽ　　┏┛┗━┳┓　┃　 ┃
　┗┓┏╋━━┓　　|　 //　/ l | | | | ﾄ､ |　　　|　 //　/ l | | | | ﾄ､ |　　　┗┓┏━┫┃　┃　 ┃
　　 ┃┃┗━━┛　　|　|| i／　＼　／ .| |　　　|　|| i／　ヽ､　ノ　| | 　　┏┛┗━┻┫　┃　 ┃
　　 ┃┃┏┓　　　　（Ｓ|| |　（●）（●） |　　 .（Ｓ|| |　（●）（●） |　　　┃　 ┏━┓┃　┗━┛
　　 ┃┃┃┗━┓　　|　|| |　　　　 .ﾉ　　）|　　　.|　|| |　　　　 .ﾉ　　）| 　　┃┃┃┏┛┃　┏━┓
　　 ┗┛┗━━┛　　|　|| |ヽ､＿～'_／| |　　　 |　|| |ヽ､＿～'_／| | 　　┗━┛┗━┛　┗━┛

**１３２人目の素数さん** · 2018/11/18(日) 22:37:25.64

>>660
小栗先生もＩＵＴに好意的だという話を聞いたことがありますが
もちろん超弦の皆がＩＵＴに好意的という事実はないでしょうね
なのでこの話はもう終わりにします

**１３２人目の素数さん** · 2018/11/18(日) 22:42:38.14

安否情報が少し前に更新されてる
ここ見てくれてるのかな

**１３２人目の素数さん** · 2018/11/18(日) 22:44:16.64

横からスマンが大栗氏の件ね。前にも貼り付けたことがあるけどまた貼っておく
(もう記事は削除されているけど2012年10月03日の朝日の記事から)
---------------------
数理研助教授を経て、米カリフォルニア工科大で物理と数学の教授をしている大栗博司さんは、
同僚が「モチヅキの何年も前の論文から勉強しないと」と話すのを聞いた。
「アイデアが美しいのは一致した見方。解けていれば、数学だけでなく、
物理などほかの科学の考え方にもインパクトを与えそうだ」と話す。
---------------------
「解けていれば」との条件付きだが（笑）

**１３２人目の素数さん** · 2018/11/18(日) 23:20:41.51

今の日本のネガな部分が全て出てるなｗ

**１３２人目の素数さん** · 2018/11/18(日) 23:59:34.09

ちなみにチェコのIUTT狂信者に自己紹介したコメントを削除されたあげくブロックされたdcomplex氏は、
たぶんUrs Schreiber氏だろうね。ロバーツと共にフェセンコにイチャモンつけられた人
チェコの狂信者はdcomplex氏がチェコに戻っていることを嘲笑うかのようなコメントをしていたな
完全にブーメランなんだが。フェセンコといいコイツといいこのスレの下劣な狂信者といい、
自分のカキコが完全にブーメランになっていることに全く気付かない

**１３２人目の素数さん** · 2018/11/19(月) 00:50:29.38

>>629
日本の数学や物理には秀才ばかりで尖った人間が少ないからな。お勉強ができるだけじゃ駄目
ホラ吹きじゃまずいが、大言壮語は構わないんだ別に。今は結構やり方次第で行ける環境にある
衰退してるので、逆にチャンスがある

**１３２人目の素数さん** · 2018/11/19(月) 04:08:50.27

Ellenbergのブログの部分は一部流し読みしてから長い間見てなかったけど、
Taoはこの時点では殆ど意味的に読んでない印象があるね
これは擁護とかではなくて、red herringというのは「よくわかんないけどそうなんじゃないの？」
みたいなノリで言ってるに過ぎないので大したコメントではない
一応注目するべきは、最近のも合わせたRobertsの見解だと思うけど、問題としては「本当に圏論・集合論にとって
新しいアイデアなのか？」ということだろう

**１３２人目の素数さん** · 2018/11/19(月) 04:39:16.15

ていうか、読んでなくて>>449を完全に無視してましたｗ
全部違いますが、ガロア理論については別に大体それでもいいんじゃないですかね
まずはS_nやA_nがどうとかではなくて、感覚的にどんな考え方をするのか知っていれば
いい
高校で方程式を解いたり因数分解する延長にある。ただガロア理論の教科書は普通書名に「体」という
語を使ってますからね。それは重要ですよ
全然関係ないけど、前にQのガロア群の問題がここに書かれた時にすぐ元ネタがわかったのは事実で、
普段使ってる奴の例題がそれだったんですねｗ

類体論については、まずガロア理論とセットでｐ進体と商集合の感覚を掴むのが重要で、その上で実際に見たら
そのうち正解はわかるでしょう
モチーフの解答は単純だが哲学的なものなので、相当なアレじゃないとわからないでしょう

**１３２人目の素数さん** · 2018/11/19(月) 05:01:42.28

どっかの海外ブログで非可換性が不要なんじゃないのみたいなコメントしてる奴ありましたっけ？
さっきから探してるんだけどわからない。勘違いか？

**１３２人目の素数さん** · 2018/11/19(月) 06:07:21.29

>>669
そのブログでのタオとロバーツの視点はかなり違うので、分けてみます（超訳ｗ）
【タオさん】
ABC予想は第2節で証明されている（とされている）。集合論とモデル理論的なものは最終節で述べられただけで、
これらはABC予想の証明に関してはあまり関係ないものだけど、今後の宇宙際幾何学の発展に関係するものなんじゃないの？
でも、この（望月の）集合論とモデル理論はグロタンディークの集合論の非保存的な性質の問題を
何らかの形で議論の余地のあるものにしそうだ

※結論：仰る通り、あまり大したこと言ってませんｗ ……と見せかけて既に懸念を表明している

【ロバーツさん】
この複雑怪奇な集合論的言説は人を惑わすようなもんだ！それはもっちーが該当分野の圏論的アプローチに精通してないせいだ
おそらくこの圏論的アプローチ君たちはもっちーに見出されることを待ち望んでいるよっ

※ロバーツは直後のMOでも望月に注文を付けつつも好意的だった。
しかし、最近追加したPDFの補遺では望月が進歩していない（圏論に精通していない）と見ているように思われる

**１３２人目の素数さん** · 2018/11/19(月) 06:53:50.94

>>670
いやいや、無視して結構ですよ。テキトーに書いたものなんで（笑）

>>671
私もそれは知りませんが、星の入門では彼なりの分かり易い設定からΘリンクとと対数リンクを可換にしたくて、
「非可換性の帰結を回避」、「非可換性の問題の解消」するために対数リンクの無限列を導入していると解説している
これを可換と呼ぶにふさわしいかどうかは分からない（描けないから少なくとも可換図式とは呼べないね）
望月ははっきりと「非可換（！）な2次元的な図式」と書いているんだけどね

**１３２人目の素数さん** · 2018/11/19(月) 09:08:27.39

とりあえずここは数学板であって哲学板じゃないし、abc予想は哲学じゃないんで、
哲学云々言ってるやつは哲学板にスレ立てて引っ越してくれんかね。
いちいちスレ違いの長文読み飛ばすのめんどくさいんだよね。

**１３２人目の素数さん** · 2018/11/19(月) 09:57:31.71

明晰な証明が書いてある
ニュートンのプリンキピアは
自然哲学の数学的諸原理だからね。

**１３２人目の素数さん** · 2018/11/19(月) 10:10:40.71

神学のハシタ女ごときが科学の女王様に対抗心持つこと自体が不敬罪極まる。

**１３２人目の素数さん** · 2018/11/19(月) 11:44:13.29

科学は神学や哲学から発展したとも言われますが
フィロソフィードクターがここにもたくさんいらっしゃるんでしょうか

**１３２人目の素数さん** · 2018/11/19(月) 12:28:15.03

IUTの哲学

数学は結果に合わせて仮定が作られる。
数学の証明は査読の前に結果が認められる。
数学の証明より予算と事業の推進が大切だ。
数学の証明より概要解説文たとえ話動画が
大切だ。

**１３２人目の素数さん** · 2018/11/19(月) 14:38:53.95

677が正解。神学や哲学を軽視する者、科学者を名乗るべからず
神学や哲学を切り捨てるのが科学者と勘違いしてるやつが目に付きすぎる
シンプルに言ってバカなんだろうな
「高学歴のバカ」という類型がかなり発生しているのが今の教育だね
基本姿勢が間違ってるからだろう

**１３２人目の素数さん** · 2018/11/19(月) 17:58:38.02

>>678
＞数学の証明は査読の前に結果が認められる。

これは今ではある程度正しくて出版される前にarXivなどで公開されると
正しく重要な論文は出版前にどんどん引用される

「その論文を応用した結果が次々出ておれば」，専門家による公開査読が
進んだと考えられる

**１３２人目の素数さん** · 2018/11/19(月) 18:13:24.77

IUTについて京大.RIMSは文科省へ
公式に報告書を提出した。>>35
↓
>当該論文は現在査読中であるが、、
>望月新一による「宇宙際タイヒミューラー
理論」の構築とその結果としての ABC
予想の解決は、特筆すべき出来事である。
↓
文科省は全く評価しなかった。