19/11/29 23:03:28.67 HxBJUCIV.net
挟まったら別の宇宙に逃げられるから大丈夫
555:１３２人目の素数さん
19/11/29 23:31:35.20 XIK6jK+4.net
正しいと思ってやってるのは間違いないよ。一種の賭けだよね
普通の圏論じゃ理論が成り立たない事は早い段階でGさんが認識してるから（Geometric morphismを超えた
レベルの話をしていると認めている。これは実質的に圏論では処しきれないと言うに等しい）
実際、圏論では宇宙の話は出てくるけど宇宙を取り換えるなんて話は当然出てこないしね
556:１３２人目の素数さん
19/11/29 23:34:02.66 BKw3N7gS.net
不定域イデアルみたいにカルタンみたいなホワイトナイトが助けてくれると思ってたんじゃ……
557:１３２人目の素数さん
19/11/29 23:37:45.11 SJwiXU4F.net
>>526
まあそういうことですね
アナベリオイドの幾何学でも、IUT初期構想でも初めからラベルの話が出てきます
ラベルの使用を前提にすれば圏、トポス、グロタンディーク宇宙を使って充満多重同型なるものができると考えたのでしょうね
両者は切っても切れないわけです
で、SSのように充満多重同型を切って捨てれば当然ラベルも切って捨てることになる
また同じ話の繰り返しですねｗ
要するに、圏、トポス、グロタンディーク宇宙で充満多重同型＋ラベルを使えばsimulate a∈a、loops of mutationsが可能となり、
ディオファントス幾何の難問に取り組むことができると考えたのでしょう
以前、「充満多重同型を認めて初めてラベルの問題になる」と書いたことがありますが、
おそらく着想から言えば逆で、「ラベルを前提にして充満多重同型を必要・有意味なものにする」と言う方が正しいのでしょうね
558:１３２人目の素数さん
19/11/29 23:48:32.85 SJwiXU4F.net
>>533
グロタンディークのmysterious functorに対するフォンテーヌとかねｗ
559:１３２人目の素数さん
19/11/30 04:58:13.74 h6RYYwUO.net
>>534
私はもう少しで望月さんの所の学生になる可能性があった者です
かって話をした際にこのラベルの話をされてついていけなくて他の先生を選びました
あなたの言う通りラベルの着想をもとに解くべき問題や予想の選定をされてたふしがあります
560:１３２人目の素数さん
19/11/30 08:53:15.88
561: ID:h6RYYwUO.net
562:１３２人目の素数さん
19/11/30 09:58:45.02 IZy3l+pC.net
本人たちは大真面目にしたいひと、PRIMSを投稿先にしたことをまったく説明できてないので、
やっぱり数学もどきの話をしてるのはむりやり話題を変えようとしてるだけにしかみえないな。
仮にこれが大真面目なものならやっぱり全く大した数学者ではないんだろう。
563:１３２人目の素数さん
19/11/30 12:01:22.04 D7FF0RgH.net
アスペ型人間が人と交わることを避け晩年狂っていくのはよくある現象
グロたんだっていい例だろ
564:１３２人目の素数さん
19/11/30 12:28:10.28 MsxjtTeK.net
14年前って、ついに望月が学生(星さん)をとった！って騒がれてたあの頃の話？
その時から星さんはiutの構想を聞いてたんだな
565:１３２人目の素数さん
19/11/30 13:32:39 WirizWv7.net
>>537-538 正解
566:１３２人目の素数さん
19/11/30 13:35:42 9cbEwvKr.net
>>538
>本人たちは大真面目にしたいひと、PRIMSを投稿先にしたことをまったく説明できてない
数学的内容は別として、過去にもクレレ誌などの似た現象はある。
数学的内容と研究の倫理は別の話。
567:１３２人目の素数さん
19/11/30 13:43:26 RgrNk/Sv.net
オレは望月先生にそこまでの悪意はなくて単に自分の力作をPRIMSに投稿してPRIMSを盛り上げたかっただけだと思うけど。
実際論文に問題がなければ大いにPRIMSの株は上がってたんじゃないかな？
結果として逆の事態を招いてしまったというところではないかと。
568:１３２人目の素数さん
19/11/30 13:47:44 IZy3l+pC.net
>>542
それはまったく否定してなくて、俺が言ってるのは、
研究内容と研究倫理は別ものなんだから研究内容の話で研究倫理はごまかせない
ってことだよ。
さらにクレレ誌との比較は成立してないよ。
クレレ誌のときはこんなことになっていない。
569:１３２人目の素数さん
19/11/30 14:00:11.69 9cbEwvKr.net
>>544
>クレレ誌のときはこんなことになっていない。
クロネッカーがさんざん非難したカントールの論文の件。
570:１３２人目の素数さん
19/11/30 15:21:57 80qUAbW7.net
>>468
S＆SはMochizukiの「ラベル」の理論に
何の論理的裏付けもないことを見抜いたんでしょう
571:１３２人目の素数さん
19/11/30 16:00:23.98 D7FF0RgH.net
>>543 取り巻き以外のrims関係者は大迷惑だろう。
とんだありがた迷惑もあったもんだw
572:１３２人目の素数さん
19/11/30 16:42:26.60 9cbEwvKr.net
>>543
現時点で IUT に間違いがあることは指摘された訳で、
例え間違いを修正出来たとしても、行き詰まった理論になって発展性や応用は余りないでしょうな。
何でABC予想にこだわるのかが分からない。
大掛かりな数論幾何の理論だから、本来ならBSD予想への応用なども出来るのが自然。
573:１３２人目の素数さん
19/11/30 16:57:48.39 eEI4KyIe.net
IUTに若手が参入しても難しいことばかりお勉強したところで先がない
仮に正しさが証明できても伝え聞く話はIUTの中で何かを改良したという話ばかりで
数論の様々な問題への応用が生まれてこない
IUTの正しさに自分では何も貢献しようとせず啓蒙書だけ書いた人は
名を売ってチャート式で金儲け
他人の生き方に文句はつけないがなんだかね～とため息くらいは出るさ
574:ID:1lEWVa2s
19/11/30 17:33:20.04 85QrMfNx.net
>>549
IUT勉強しながら他の事勉強する余裕無いの。
まぁ、荷揚げ屋の頃一日中書く練習してた右腕にはかなわんわな。
腕の筋力と体力と精神力が違う。
575:１３２人目の素数さん
19/11/30 18:17:45 TWHGk8o2.net
ABCとBSDなんて何も関係ないだろう。
576:１３２人目の素数さん
19/11/30 18:32:18 eEI4KyIe.net
>>550
数学に限らず研究者はwriting businessなので書く力は大事ですw
数百ページの論文を書き切ることも大事だし
毎年コンスタントに論文を書いていくことも大切
10年に一度大論文を書けば～っていう人は実は何もやってないw
577:１３２人目の素数さん
19/11/30 19:00:02.14 80qUAbW7.net
>>549
＞啓蒙書
KBの本なら蒙昧書でしょｗ
数学者として恥ずかしくないのかな
578:１３２人目の素数さん
19/11/30 19:20:24.52 Cz6mmiqO.net
>>537
科研費
古典的数論幾何学の枠組みを超えて
-ゼータ・数論的トポロジー・圏論的数論幾何
研究代表者 松本眞
研究概要 2004-2006
・2006年
>望月は、遠アーベル幾何の発想を推し進め圏論的数論幾何学を構成しつつあり、
ABC予想の解決に期待が持てる。
・2006年
>分担者望月は、圏論的数論幾何学における
基本的対象として、anabelioidの理論や
局所化の圏からのスキームの再構成理論を
進展させ、いくっかの論文にまとめた。
一部は受理され出版予定となっている。
・2005年
>望月は、数論幾何的対象を「その局所化
のなす圏」から再構成する研究をすすめ、
受理されたものを含め数編の大部のプレ
プリントを執筆した。
特に「ガロア圏にフロベニウス構造をつけたもの」としてフロベニオイドという概念を
導入、局所化圏の構成を公理化することに
成功し、圏論的数論幾何によるABC予想の
解決へ近づいた。
・2004年
>望月は、エタール基本群から元の対象を
再構成するという遠アーベル幾何の発想を
推し進め,Yves Andreのtempered被覆の
カテゴリーからの再構成など、カテゴリー
からもとの代数的対象を再構成する方法を
確立しつつある。
これを用いて、スキーム論を含む幾何学の
再構築を進めている。この圏論的数論幾何
の手法と、数学基礎論的枠組みを複数入れ子にするInter Universal Geometryを用いて、従来不可能とされていた整数環のスキームの変形理論やABC予想の解決に向けて多くの
プレプリントを執筆している。
うち一つはPublication of RIMSに掲載された。
これらは、共同セミナーによる研究交流の
成果である。
URLﾘﾝｸ(kaken.nii.ac.jp)
579:１３２人目の素数さん
19/11/30 20:52:59.26 iWx2Ecna.net
>>536-537
大体2005年頃ですか。今では望月のHPを見ればわかりますけど、2002年ごろにアナベリオイドの幾何学の構想があり、
ラベルや基点を動かすという話が出てきますね。さらに、2003年末には北大の講演でラベルを使用した入れ子宇宙の話が出てきます
あなたが望月に接触したのはまさにIUTのフレームワークが完成した時期で、技術的に具体的にどう理論を構築しようかと悪戦苦闘していた時期ですね
それで頭がいっぱいだったと思いますよ
>>554
望月・松本・玉川・藤原でセミナーをやっていた時期ですね
580:１３２人目の素数さん
19/11/30 20:54:51.12 kAoWhf9k.net
松本さんは今元気ですか？
581:１３２人目の素数さん
19/11/30 21:25:46.82 oDqliHxu.net
>>555
科研では 望月氏が 2004年から2006年に
かけ、松本眞氏の元で abc予想の解決に
向けてIUTTを構築していったとも読めます。
582:１３２人目の素数さん
19/11/30 21:48:25.90 8idCYoMm.net
>>552
いや普通、数百ページの論文なんてなかなか書けないんじゃないかなw
part Ⅰ出してから書かないとかザラにあるしね
何か海外の一流大だと博論が凄く長かったりするじゃない。日本で博論300ページ書くとかなかなかないよ
そういう意味ではW望月は凄いよね
583:１３２人目の素数さん
19/11/30 23:37:25.35 D7FF0RgH.net
F藁先生が肯定的な声明を挙げれば状況は大きく変わるでしょうね。
584:１３２人目の素数さん
19/12/01 00:24:16.44 oSdhEmzj.net
>>528
査読なんていまや誰もしてないだろ。
つか、査読者は星、go、ぶんげんであり、かれらはいったん「IUT理論は正しい」と声明を発し、
海外から異論が出てひるんじゃったのだから、そもそも査読できるほどわかっていないってこと。
IUT理論は論文が公開されているから「世界の納得」こそが真の査読であり、
それは今の状態では全く無理。
585:１３２人目の素数さん
19/12/01 02:04:10.41 uRT1nMI7.net
文元本途中で投げてたのやっと読み終わったけど後半得るものはやはり少ないね
群論考えるのが少し面白かったから、素人でも分かりやすくて助かった
それで素人の俺は思ったんだけど、τしてからσするっていう鏡像後に90°時計回りに回転って言うのを
そのまま行列構造に当てはめてやると面白いって素人の俺は思った
これはつまり例えば
A[[1,2,3,4],[5,6,7,8],[9,10,11,12],[13,14,15,16]]
という4x4行列の要素毎の1行1列毎の枠組みにこのようにラベルを貼った構造だと見做すと
鏡像τをすると、
B[[4,3,2,1],[8,7,6,5],[12,11,10,9],[16,16,14,13]]
行列構造のラベルはこのようになり
時計回りに90°回転σすると、
C[[16,12,8,4],[15,11,7,3],[14,10,6,2],[13,9,5,1]]
というに行列構造のラベルになる
これは最初のA行列から見てCは、右上から斜め方向の対角線要素に対して、転置を行った構造になってるんだよね
俺はこれを数学的にどう言うのか知らないからそう表現するしかない
普通の転置は正方行列の場合、左上から斜め方向の対角線要素に対して裏返すけど、これは右上斜め方向から裏返しているのに一致する
これはあくまでもラベルの話であって、各要素に1-16が格納されるように書いてるけど
ラベル付けされた行列構造の各要素の中身には関係がないのであしからず
この右上斜め方向の対角要素に対しての転置？
って数学的にはどう言うことになるのか知ってる人いたら教えてほしいな
それと仮にこの各行列の要素に複素数が格納されていた場合
鏡像を取ったときにには、各要素内の複素数は複素共役を取らなきゃいけなかったりする直感があるんだけど
それって合ってるかも教えて欲しい
586:１３２人目の素数さん
19/12/01 06:27:24 /OVKoi+h.net
3歳です。望月教授の論文を更に新しくするのが目標です。今はロシア語勉強してます。
587:ID:1lEWVa2s
19/12/01 06:28:57 +NEhRwtK.net
>>562
俺もロシア語勉強する。
588:１３２人目の素数さん
19/12/01 07:06:15.92 QShG0Ztm.net
あれ 査読なんかできるわけないじゃん
ず～と IUT論文は工事中！！
589:１３２人目の素数さん
19/12/01 08:41:02.92 go6lPTYO.net
IUTこと「望月のラベル理論」から矛盾が導かれることはないのかな？
590:537
19/12/01 09:50:31 ahw4ozut.net
>>554
この一連の研究を使って望月さん以外の学者が何かを証明したという話は聞いたことがありません
当時から懐疑的な先生はいました。
私の指導教官も期待半分程度でした。
結局共同セミナーを経て他の数学者が研究に加わったり、ABC予想の精査をしてくれてない時点でその程度なんだと思います。
研究やIUTそのものに他の研究者がのめり込まない時点で詰みだったんだと思います
591:１３２人目の素数さん
19/12/01 10:02:17.95 ahw4ozut.net
>>556
結局広大に戻ってしまいましたね
彼は謙遜というか自己否定が過ぎて東大でも浮いていました
あれだけ東大批判をした手前、もう東大に居られなくなってしまいましたね
結局は一連の望月先生の騒ぎにもノーコメントですしね。
>>557
そもそも松本眞さんが周りの信頼を得れるような数学者ではありませんから
ホラ吹きとまでは言いませんが多少話を盛る、知ったかぶりをするという癖があります
しかも数論幾何の専門家かと言われると疑問です
だから松本眞さんと関わった時点で望月さんが色眼鏡で見られていました
592:１３２人目の素数さん
19/12/01 10:41:39 dmtdI2PD.net
>>562
IUTやるならフィンランド語の方がいいいぞ
俺もアイスランド語を勉強するぞ
593:１３２人目の素数さん
19/12/01 10:43:50 fOURSTTZ.net
>>560
トンデモなんだよなぁ
東大の人達は一貫して懐疑派
そもそも共同セミナーだのやったけど望月さん以外にIUTの使い手が現れない時点でお察し
研究代表者の松本さんすら理解して使いこなせないんだろ？
そんなの数学じゃないわなw
さらに松本さんの東大での顰蹙行為から東大の先生達はこの研究自体松本さんの虚言の結果だと思ってる
京都の人達は望月さんの天才性に望みをかけてるのかもしれんが、それは数学じゃなくて信仰だからw
望月さんも松本さんの数学的政治活動に担がれた点では可哀想だが周り、特に森先生とか有力者が止めなかったのが一番ダメな所
京都の人達ってそこら辺がルーズなんだよ
594:１３２人目の素数さん
19/12/01 11:58:24.91 go6lPTYO.net
>>568
じゃ、ボクはアイヌ語で
595:１３２人目の素数さん
19/12/01 12:46:04.37 Q+3goaQz.net
ああ京都がルーズなのはそうだなあ
だからたまに凄いのも出てくるが・・・
幾何のF氏や数論のK氏がルーズな京都に移ったのは理解できるが二人とも結局アメリカ
東大の数論はもっと多様性が欲しかったから広島の人が呼ばれたんだろうが
代数幾何のM氏はしっかりしてるが根っこが古き良き京都なんだろう（だがそれが良い
ところで京都の代数幾何ってM氏多いな M井とかM脇とか
596:１３２人目の素数さん
19/12/01 12:55:26.79 3a+MWgWu.net
にしても東大の数論って火が消えてるな
597:１３２人目の素数さん
19/12/01 13:23:26.94 bsm1ZDoC.net
にしても京大の数論って非が消えないな
598:１３２人目の素数さん
19/12/01 15:27:29.25 FuLMbmAj.net
普通に考えて松本さんがコーディネーターとして調整しなければいけないのに逃げたからね
いや東大での政治活動に熱心になって標的が変わったと言うべきか
こういうことやってるから数学の信頼が無くなるんだよ
森先生は予算が回ってこない理由を真摯に考えて欲しい
いつも国が悪いみたいな言い方してるけど、お膝元の研究活動がこれだけダメなのに予算が増える訳が無いw
599:１３２人目の素数さん
19/12/01 15:55:11.15 rOuwKYnK.net
ケドラヤやキムの現在のスタンスは？
600:１３２人目の素数さん
19/12/01 16:10:58.45 H1X+5TOF.net
>>250
高機能のボットだから。スレが42まで続くまで
書き続けられるだけ話題ない。機械応答でここまで来たんだろう
601:１３２人目の素数さん
19/12/01 16:12:19.58 H1X+5TOF.net
間違えたすまん
602:１３２人目の素数さん
19/12/01 17:36:02.78 tU+oHSOr.net
ID変わったけど、誰か>>561に数学的に答えてくれる人いない？
例を単純にするとわかりやすいと思うんだわ
現実世界と鏡像世界(虚数世界でもいい)の2つの舞台を考える
対角要素がすべて1+iで他の成分が0の4x4正方行列を考えると
A
[[(1+i),0,0,0],
[0,(1+i),0,0],
[0,0,(1+i),0],
[0,0,0,(1+i)]]
鏡像をして複素共役を取るとすると、鏡像世界においてその行列は
対角要素が1-iで他の成分が0の4x4正方行列になる
B
[[(1-i),0,0,0],
[0,(1-i),0,0],
[0,0,(1-i),0],
[0,0,0,(1-i)]]
対角要素以外が0の正方行列だからこの転置を取っても、それは自身になる
最初のA行列の世界を現実世界であるとすると、
τしてからσする鏡像後に90°時計回りに回転した行列が、鏡像世界におけるエルミート共役を取った行列に見える
そして現実世界と鏡像世界の2つの舞台で積を取ると考えると
A*Bは(1+i)(1-i)のみが残るので、すべての要素が2である行列となる
しかし、これは2つの舞台(世界)で考えた状態における積であるので、一方の舞台から見た時
には2で割るか平方根を取る必要性があると思うので、
すべての要素は1か√2である行列であるということになる
まぁたぶん2で割る方が結果が根源的であると思うので、そっちの考え方が正しいんだろうってことで考えると
現実世界から胸像世界における行列の積を見た時
B*B†＝すべての要素が1行列＝A*B (B†=Aであるので)
という風に見えるし逆の
B†＊B＝すべての要素が1行列＝B*A
も成立する
っていう面白い状態が成立する
これは胸像世界から現実世界をみたときも同様
これってとってもIUTっぽいし量子力学っぽいよねっていうのが気になったわけ
603:１３２人目の素数さん
19/12/01 17:39:27.55 tU+oHSOr.net
>>578
ごめん間違えたこうね
現実世界から胸像世界における行列の積を見た時
B*B†＝すべての要素が1行列＝B*A (B†=Aであるので)
という風に見えるし逆の
B†＊B＝すべての要素が1行列＝A*B
も成立する
604:１３２人目の素数さん
19/12/01 17:39:28.07 tU+oHSOr.net
>>578
ごめん間違えたこうね
現実世界から胸像世界における行列の積を見た時
B*B†＝すべての要素が1行列＝B*A (B†=Aであるので)
という風に見えるし逆の
B†＊B＝すべての要素が1行列＝A*B
も成立する
605:１３２人目の素数さん
19/12/01 17:43:41.64 90ziSAOZ.net
死ね
606:１３２人目の素数さん
19/12/01 17:44:11.10 tU+oHSOr.net
とてもIUTっぽいし、量子力学的ってのが何故かってことを上手く言語化して言及できないんだけど
何もしない状態が1に相当するって考えることができるからなわけ
そう考えると、何もしない状態だけはすべての群構造の組み合わせで共通して内包している要素なわけで
何もしない状態である1だけが全てのテータリンクの枠組みにおいて共通して対称性通信を行える状態であるって言えるんだよ
この日本語で文元本読んでれば伝わるよね？
607:１３２人目の素数さん
19/12/01 17:46:17.25 tU+oHSOr.net
途中で送信してしまった、で、この1をすべての要素に含んだ状態が
一方の舞台から見たときの積に生じているように見える
っていうのがとてもとても興味深く面白いってわけ
608:１３２人目の素数さん
19/12/01 18:06:50 ctXGBXIK.net
うるせえしめんどくせえぞ
ほかでやれ
こういうの呼び込むからだめなんだよ
609:１３２人目の素数さん
19/12/01 18:30:01.65 Q+3goaQz.net
ああIUTが失敗となっても10年後20年後にB本だけ読んだど素人から
>>578-583 みたいなことを書き連ねたメールが数論関係の教員に次々よ送られるよ
「僕はB本読んでIUTが正しいと確信しました。
日本の数学会は間違っています。このメールを読んでください。
そして望月新一先生に謝罪してください」
610:１３２人目の素数さん
19/12/01 20:07:25.10 v85FrcMZ.net
今の惨状を松本さんのせいにしている人がいるけど、�
611:ｻれは言い過ぎだろ。 望月氏本人がきちんとわかる形に説明できないのがまずいんでしょ。 それと、Bのやり口は卑劣だと思う。師匠のUに似たのか。 私は東大関係者でないからよく知らんけど、松本さんの言動を不愉快に思った人が私怨を晴らしているように見えて、みっともない。 東大周辺にも嫉妬深い人らが多いんだろうね。
612:１３２人目の素数さん
19/12/01 20:11:02.09 BZN5bGN9.net
>>585
その送り先の教員というのがBだったら自業自得なんだけども
613:１３２人目の素数さん
19/12/01 20:26:54.54 tOqTP5eD.net
まっちゃんは酔うと。。。
614:１３２人目の素数さん
19/12/01 20:27:26.41 z563XPwb.net
>>558
望月新一IUT関連文書は部品を多数
寄せ集めた代物だからアイデアがなくても
頁数だけは 異様に多い特徴がある。
論文の頁数が少なくても
シンプルで豊かなアイデアがある例
群と代数方程式 共立出版
・アーベル 24頁
「4次より高い次数の代数方程式を一般に
解くことが不可能であることの証明」
・E.ガロア 1831年1月16日 17頁
「累乗根で方程式が溶けることの条件に
ついて」
わずか17頁でも、第Ⅷ節の定理では
「素数次の規約方程式が累乗根で解ける
⇔この方程式の全ての根がそれらの中の
任意の2つの有利式である」の証明
まである。
615:１３２人目の素数さん
19/12/01 20:32:29.20 z563XPwb.net
>>589
文字化け
溶ける→解ける 第？節→第8節
616:１３２人目の素数さん
19/12/01 20:58:21.39 WlkIb1wz.net
佐藤幹夫と望月新一どっちが凄いの？
617:１３２人目の素数さん
19/12/01 21:01:40.56 go6lPTYO.net
今のところ佐藤幹夫
618:１３２人目の素数さん
19/12/01 21:13:43.66 48XRHrFm.net
望月先生にも逆転の目はあるけどIUTがなんとかなるよりは、ここらで見切りをつけて別口の大理論を打ち出す可能性にかける方がいいと思うんだけどな。
このままIUTにこだわり続けてもいい事ない気がする。
619:１３２人目の素数さん
19/12/01 21:37:17.91 zI7f1YPD.net
数学では誰も注目しないマイナー分野の研究なんてよくあるだろ
当然そういう研究は理論や証明の正しさすら誰も確かめない
望月の場合も「abc予想を証明した」とか大風呂敷広げたこと以外は同じ
620:１３２人目の素数さん
19/12/01 21:46:09.07 Q+3goaQz.net
佐藤幹夫がもらってなくて望月新一がもらっているのは
日本数学会秋季賞（1997年）
日本学術振興会日本学術振興会賞（2005年）
日本学士院日本学士院学術奨励賞（2005年）
だがいずれも佐藤のときはなかった（彌永賞・春季賞も範囲外）
他方で佐藤は
朝日賞（1969年）
日本学士院賞（1976年）
文化功労者 (1984年)
藤原賞 (1987年)
ショック賞数学部門（1997年）
ウルフ賞数学部門（2003年）
経歴的には
望月[1969生] 1992 RIMS助手（23歳） 1996 助教授（27歳） 2002 教授（32歳）
佐藤[1928生] 1958 東大助手（29歳）途中不明 1963 阪大教授（34歳）
望月はさすがに別格だが高校教師をしてた佐藤の教授も案外と早い
621:１３２人目の素数さん
19/12/01 21:47:02.83 zI7f1YPD.net
何十年か先に本当にabc予想を証明する論文が出たらIntroductionのとこに「Mochizuki (2012) はabc予想を証明したと主張したが、その証明には欠陥があり認められなかった。」みたいなことが書かれるのか
622:１３２人目の素数さん
19/12/01 21:48:01 Q+3goaQz.net
>>594
小保方もノーベル賞級の捏造でなければ
今頃ちんまりとどっかで若手准教授・女性奨励賞もらって
安定した研究者生�
623:�送っていたとも言われるw
624:１３２人目の素数さん
19/12/01 21:50:00 Q+3goaQz.net
>>596
IUTの構想に著者が何か触発されての証明ならそうだろうが
フェルマーだってポアンカレだって失敗いっぱいあったが
最終的な論文には失敗の話なんてなくて闇に消えるのみ
625:１３２人目の素数さん
19/12/01 22:45:55.86 cZjZ8dSt.net
宇宙大輪際佐藤幹夫
626:１３２人目の素数さん
19/12/01 22:46:18.99 BZN5bGN9.net
>>596
まず査読される段階ではそんな事書けないんじゃないか？少なくともリジェクトが宣言されなければ
修正後や二次論文ならそういう話は出てくるかもしれないが
627:１３２人目の素数さん
19/12/01 22:56:20.58 W6WTNRgv.net
>>597
ぶっちゃけ親のコネでアカポスゲットできただけなのに痴漢で首になって八つ当たりにこの掲示板で暴れまわってた痛々しい人居ましたよねえ・・・。
628:１３２人目の素数さん
19/12/01 23:25:15.13 fOURSTTZ.net
>>586
松本さんはあれだけ期待させておいて実は何もチェックしてなかったんだから罪深いでしょ
あと東大で散々周りと軋轢を生んだ松本さんは一社会人として情けないよ
もう東大関係者とは顔も合わせれないんじゃないのかな
>>593
その通り
IUTもSFとしてなら無茶苦茶面白いんだけど、
その数学的才能をもっと地道な研究に生かして欲しい
今ならまだ間に合う
629:１３２人目の素数さん
19/12/01 23:42:05.65 v85FrcMZ.net
>>602
松本さんが何もチェックしていなかったのいうのは言い過ぎでしょ。
勝手に期待した自分自身を反省すべきでしょ。他人のせいにするんじゃなく。
望月さんが論文を書くのに松本さんの許可が必要なわけでないし。
それと、一社会人として恥ずかしい、とかいう発想こそ、群れることで力を得て異端として仲間外れを追い出すといった、学問には害悪を及ぼす考えだよ。
630:１３２人目の素数さん
19/12/02 03:08:16.90 hgB0hacE.net
あってる
631:１３２人目の素数さん
19/12/02 08:00:13.90 5Uct/Hal.net
致命的欠陥が見つかってる訳でもないからなぁ
正しいと思うならそのまま突っ走れば良いと思うんだよね
早くアクセプトしちゃえばよいのに
強力なフォロワーが出てくるのを待ってるのかね
632:１３２人目の素数さん
19/12/02 08:20:31.99 MYjQrJ6U.net
>>597
おまえらいったいどんな世界に生きてるんだ
業界の8割は灰色みたいに聞こえるぞ
633:１３２人目の素数さん
19/12/02 08:56:20.05 IwWEQvZ6.net
IUTが間違いであっても面白いって方向に持っていきたいひとが前からいるけど、
どこが？としか思わないけどな
目新しいアイデアもあるようにみえないし、ほかに応用ができるようにもみえないのに
なにを言ってるのか理解に苦しむ
634:１３２人目の素数さん
19/12/02 09:58:30.17 KguKWj/b.net
>>606
あの業界がいろいろ惨い
>>605
正しいと本人らが思ってるだけならアクセプトされないまま
じゃんじゃんArXivに論文あげていけばいいよ
635:１３２人目の素数さん
19/12/02 10:08:16.61 pCiY/Vy2.net
>>607
そうだなぁ。
今アクセプトしても議論百出して盛り上がって‥なんて図は描けないからなぁ。
無視されて信用失って終わりなだけな気はする。
ともかくその道の専門家に近い人なら頑張れば読めると言う普通に求められる条件を満たすように書き換えないとどもならん。
636:１３２人目の素数さん
19/12/02 10:56:59.12 KQR2Y/X1.net
>>605 取り巻きと山師以外誰も読めないこと自体致命的欠陥なんだわ。
637:１３２人目の素数さん
19/12/02 14:09:25.79 eNLr7x1t.net
>>605
「正しい」とはどの立場からか？
まず公式な文元本の具体的 明確な説明が
必要だ
638: 例えば 「IUT語。IUT理論は、一般的な数学の パラダイムの 枠内では語れない、まったく 新しい フレームワークと言語・概念体系を 基盤に して構築されている」P51 なお「パラダイム。(5)ここで使われている 「パラダイム」とは トマス クーン 「科学革命の構造」(中山茂訳 みすず書房 1971年)における用語で、 一つの時代や 科学の各分野における 支配的な研究上の 規範、視点、枠組みなど の意味」P27 注
639:１３２人目の素数さん
19/12/02 14:21:43.19 eNLr7x1t.net
IUTTについて二つの立場
1 数学を一般的な数学及びその発展で
勉強 研究している人。
IUT語 IUT「理論」は意味不明でabc予想は
まだ証明されていない。
IUT「理論」はアクセプトされても
京都(と取り巻き)限定定理である。
IUT「理論」の信仰は狂信でIUTTは危ない
と危惧する人もいる。
2 一般の数学の枠外にあり全く新しい
パラダイムの「数学 」IUTTを信仰する人。
abc予想はIUT「理論」の構築より
「正しく」解決したと連呼している。
IUT「理論」へ疑問を述べた人をIUT語
で書かれたIUT関連文書を読む修行が
足りないと罵倒するが事実を削除したり
論点を外す癖がある。
640:１３２人目の素数さん
19/12/02 15:30:25.28 ZuDoI9Mf.net
>>601
猫のことなら30代半ばくらいまでは良い研究をしており
筑波准教授でおかしくないくらいの実績はあった
痴漢の前10年くらいは何もやってないお荷物教員だった
30代半ばで研究者として終わったのならうじゃうじゃいるしなw
今はネットでも見ないし60歳にはなったはずだが生活保護でも生きてんのか
猫が世話になった柏原退職時には生存確認できた
641:１３２人目の素数さん
19/12/02 15:34:02 ZuDoI9Mf.net
>>610
その取り巻きがここ2、3年くらいに毎年2つでも3つでも関連する論文を
発表してたら周りの見る目も変わったろうにね
皆それなりには秀才なんだろうに頼りない限り
642:１３２人目の素数さん
19/12/02 17:22:12.09 KQR2Y/X1.net
結局何か言えばボロが出るから取り巻き連は身動きできない状況なんだろな。
文ゲソみたいに大衆向けに空虚なレトリックを弄るくらいが関の山
643:１３２人目の素数さん
19/12/02 19:43:03 97FUqz2w.net
>>613
アイデアが単純で鋭ければ簡単に燃焼してしまうことはない
あの人の場合は構想フレームワークは望月さんばりに良かったとは思う。作用素代数と量子群
未だに全く尽きない類いの問題だ。この壮大な枠組みに数学的体力が付いていかなかったんじゃないか
644:１３２人目の素数さん
19/12/02 19:47:42 97FUqz2w.net
>>609
アクセプトしても進展は絶対にある
というのは、色々な疑念が公に出てくる。SSとは似ていてもまた違う表現で出てくる
そういう意味でもどっちに転んでもまだ展開があり、来年度までは一応要注意だろう
645:１３２人目の素数さん
19/12/02 20:10:01.54 ynMigKLP.net
B ツィート
「そもそもIUT理論という大きな枠組みは、理論を構築している途上で、たとえABC
予想の証明が出来なくても（結果的には
出来たわけですが）IUT理論自体は大きな
理論として残るべきものとして作られて
いたわけなので「ABC予想証明の失敗は
IUT理論の失敗でもある」というのは
事実に反します。」
()付きだが IUT理論でABC予想は証明
できたのか？w
望月新一HP と矛盾しているぞ？w
↓
「Hodge-Arakelov 理論では、数論的な
Kodaira-Spencer 射が構成されるなど、
ABC 予想との関連性を仄めかすような
魅力的な側面があるが、そのまま「ABC
予 想の証明」に応用するには、根本的な
障害があり不十分である。
このような障害を克 服するためには、
「通常の数論幾何のスキーム論的な枠組を
超越した枠組」
が必要であろうとの直感の下、2000 年夏から
2006 年夏に掛けて、そのような枠組を
構築するためには何が必要か模索し始め、
またその枠組の土台となる様々な数学的
イ ンフラの整備に着手した。」
646:１３２人目の素数さん
19/12/02 20:52:00 97FUqz2w.net
しかしセコいツイートだよね
小物感丸出しというか…
もしIUTが本当にそれだけ強力なら、準備論文からだけでも何か書けるはず
例えばIUTの話はリジッドと結構関連付けやすい。ならば既にアクセプトされた論文をダシに使って話してもいい
Oliver Lorscheidなんて当時中身はわかってないけどIUT論文に言及してるからね
まあ、来年度はお祭りだからもしかしたら準備してるかもわからないけど
647:１３２人目の素数さん
19/12/02 21:00:30.13 BU/KZq8G.net
>>617
それは査読者なり理解者なりが3.12問題について詳細なレポートを書いた場合に限られると思いますよ
南出らの発表などもノッティンガム公式が大々的に宣伝してもほとんど無視されていることからもうかがえます
だから、IUT側はSSをバカにするのではなく、望月以外の人間が詳細な検証レポートを書く必要があるんです
1年以上たってもそれが出てこないということは、IUTについて絶対的な自信を持っているのは望月一人しかいないということでしょう
648:１３２人目の素数さん
19/12/02 21:19:11.46 BU/KZq8G.net
これは私個人の考えだけど、IUTはやはりIUT語でしか書けないシロモノだと思う
前に何度か書いたけど、なんで忘却関手とはほとんど書かず、“forgetting the hisitories of operations”という表現にこだわるのか
というのが一例ね
先日書いたけども、充満多重同型とはΘリンク総体として充満忠実という考えで、局所ではなく大域的にみるべきという考え
operationもhistoryも複数形になっているのはそういうこと
つまり圏論というよりも、アナベリオイドの幾何学を前提としたガロア圏における望月流の圏論＝IU幾何、IU圏論ということになる
Teichmuller dilationもあるから正確にはIUT幾何、IUT圏論となるね
ロバーツが“private fan dance”と書いていたけど望月流だからしょうがないし、
望月だけでなく「理解者」たちもIUT語抜きには説明できないのではないかな
649:１３２人目の素数さん
19/12/02 21:26:14.11 BU/KZq8G.net
まあそういう意味では望月が言うように彼の先行論文を理解していなければ分からないというのは本当だよ
そこまでやる時間も重要性も感じられないからファルティングスやデ・ヨングも早々に見切りをつけたのだろうけどね
それに先行研究をうまくまとめつつ書くこともできるはずだし。
ファルティングスも言っていたけど、複数のアイデアを持っていても理解されるように書かなければ相手にされないね
650:１３２人目の素数さん
19/12/02 21:43:04.75 BU/KZq8G.net
望月・星-SS討論について、IUTに懐疑的or否定的見解の人たちの中には、オックスフォード2015から2年以上も経っているのに
SSのような優秀な研究者にも納得できるような説明ができず、タイムオーバー、ゲームオーバーと考えている人も多いのではないかな
実際、SSが実演して見せたものはIUTではないしね
なぜそうなってしまうのかをIUT側は真剣に検討しようとせず、罵倒だけして引きこもり、素人を喜ばせ�
651:驛Gンターテインメントしか 出てこないところに、この学派の批判・検討能力の弱さが表れているように思う
652:１３２人目の素数さん
19/12/02 21:49:36 n6i11DAe.net
>>619
＞Oliver Lorscheidなんて当時中身はわかってないけどIUT論文に言及してるからね
kwsk
653:１３２人目の素数さん
19/12/02 21:55:16 KQR2Y/X1.net
具体性や根拠が何もなく、レトリックによるごまかしと一方的な罵倒のみだからね。
大衆相手に中身のない演説して小遣い稼ぎする暇があるなら
一人でも理解者を増やす努力をしろよ、と。
Tソマさんとか興味があるって公言してた大御所もいるんだからさぁ。
これ以上のものが全く見えてこないんだから、
RI*s教員で信じている人、支持してる人なんてもうほとんどいないんじゃないか？
引導を渡す役目なんて誰も負いたくないから某誌は宙ぶらりんなだけで。
654:１３２人目の素数さん
19/12/02 23:17:14.66 BU/KZq8G.net
>>625
コンラッドのオックスフォード・レポは今読んでも笑えるよね
最大の理解者たる誰かさんがIUTの同型について説明をしたとき、「具体例は？」と訊かれ、「これから説明します」
→「で、具体例は？」、「先ほど説明しました」→「え？いつ？どこで？」→聴衆のフラストレーション
あれから2年たち、4年たっても状況は全く変わっていないんだけどｗ
655:１３２人目の素数さん
19/12/02 23:23:56.32 RXy3nNVa.net
抽象論を説明しているときに「具体例は？」っていうのは
典型的な戦法だよな
反吐が出る
まあでも俺の先生はまず具体例を構成してからセミナーに臨みなさいと
教えてくださった
656:１３２人目の素数さん
19/12/02 23:56:36.29 BU/KZq8G.net
>>627
まあ、その辺がフェセンコを激怒させ、アジビラの一つでコンラッドらアメリカの数学者たちを罵倒した理由だろうね
事前に勉強せず、講演を中断させたり妨害したと。この文章は後から段落ごと削除されたけどｗ
しかし、どこから突っ込まれても納得できる説明ができないと相手にはされない
657:１３２人目の素数さん
19/12/03 00:24:47 XKGbMrny.net
準備不足と甘い理解で聴衆を舐めた講演をして、
説明の不備を追及されて逆切れした惨めな連中ってのが客観的な見方よな。
今後この連中の評判が覆ることもないだろう。(来年度に奇跡の逆転でも起きない限り)
どう頑張って好意的に見ようとも、来年度が最後のチャンスでしょうね。
658:１３２人目の素数さん
19/12/03 01:04:58.59 S8P9Nbyc.net
SSレポートの参考を見ると
① ディオファントス幾何
Bombieri, E., Gubler, W
② IUT 先行論文
☆Non-critical Belyi maps, Okayama 2004
☆ Arithmetic elliptic curves in general
position Okayama 2010 ☆The Geometry of Frobenioids I:
The General Theory. 2008
☆The Geometry of Frobenioids II:
Poly-Frobenioids 2008
☆Topics in Absolute Anabelian Geometry
ⅢGlobal Reconstruction Algorithms.
2008
③ 4篇のIUT論文
②の先行論文では 望月流のabc予想
証明装置の部品で何か欠けていますかね？
659:１３２人目の素数さん
19/12/03 01:10:46.29 S8P9Nbyc.net
文字化けにため再記
SSレポートの参考を見ると
1 ディオファントス幾何
Bombieri, E., Gubler, W
２ IUT 先行論文
☆Non-critical Belyi maps, Okayama 2004
☆ Arithmetic elliptic curves in general
position Okayama 2010
☆The Geometry of Frobenioids I:
The General Theory. 2008
☆The Geometry of Frobenioids II:
Poly-Frobenioids 2008
☆Topics in Absolute Anabelian Geometry
ⅢGlobal Reconstruction Algorithms.
2008
3 4篇のIUT論文
2の先行論文では 望月流のabc予想
証明装置の部品で何か欠けていますかね？
660:１３２人目の素数さん
19/12/03 01:35:36 /bJ4UYyL.net
>>631
アナベリオイド関係の論文ですね
でも、スティックスは当然読んでいるでしょうし、実際の討論の中でその重要性は望月・星から説明されてはいると思います
ただ、SSがなぜアナベリオイド関連論文を参考に挙げなかったのか私も気にはなっているんですよ
ひょっとしたら“general nonsense techniques”だから無視したのかもしれません（完全に憶測です）
あとは圏論的表現の論文ですかね
661:１３２人目の素数さん
19/12/03 01:41:34 /bJ4UYyL.net
SSレポに関してはAps?を参考文献に挙げたうえで単遠アーベルを無視しているので（不必要・無意味）、
「IUTのABC予想証明に関して」は、納得できる説明が全く得られなかったということでしょう
662:１３２人目の素数さん
19/12/03 01:54:53 S8P9Nbyc.net
>>633
>単遠アーベルを無視しているので
（不必要・無意味）、
stixの立ち位置が確認できました。
ありがとうございます。
663:１３２人目の素数さん
19/12/03 06:36:11.17 2OK0+uPO.net
ポール・ノフラー
URLﾘﾝｸ(ja.wikipedia.org)
STAP細胞へのコメント
１．STAP（とされている）細胞の自己蛍光現象についての誤った解釈
２．人目をひく要素がそろい過ぎ：論文テーマ、大物の共著者、投稿誌、すべてにおいて「派手さ」が際立つ
３．名前だけ連ねて何もしない共著者
４．Nature誌では画像・文書の「盗用防止スクリーニング」が行われていないという欠陥があった。欧州分子生物学機構の雑誌The EMBO Journalならば、このような論文は採択されなかった。
・・・似ている
664:１３２人目の素数さん
19/12/03 06:52:51.10 2OK0+uPO.net
>>626-628
具体例が１つも存在しない抽象論にどんな意味があるんだ？
「論文が書ける」とかいう●●丸出しの主張は却下ねｗ
665:１３２人目の素数さん
19/12/03 11:45:16 0tKVnw7j.net
芸術は托鉢だ！
666:１３２人目の素数さん
19/12/03 12:03:58 dsRE2O2R.net
複雑に間違ってるから他人にパクられる心配がない論文ネタとして意図的に使っている、
というのが実際ありえないわけではないからな。
667:１３２人目の素数さん
19/12/03 19:22:14.15 2OK0+uPO.net
ｽﾚﾘﾝｸ(math板:275番)
>IUTに一番近いと思われる圏を選んで
なんか圏論だけでIUTが語りきれると思い込んでる馬鹿素人がいるな（嘲）
668:１３２人目の素数さん
19/12/03 19:39:59.11 gZJDx4X/.net
>>624
いや大した言及ではないよ
「よくわからないけどアラケロフ理論の一般化としてモノイドを経由してるから自分らの関心と関係あるよね」
と言ってるだけ
従って全くミスや責任はない
669:１３２人目の素数さん
19/12/03 19:47:15.75 biGKyKqM.net
このスレ一般人もいるのかw
670:１３２人目の素数さん
19/12/03 23:27:04 eT6JAmTl.net
圏論だけで語るというか、如何に普通の圏論ではないかってのは結構簡単に言える
まあケドラヤが公にIUTのプリント出さなかったらもう難しいと思っていいだろうな
現実にはDAGとリジッドで最近忙しいらしいが、こっそりIUT関連論文を準備している可能性もあるw
671:１３２人目の素数さん
19/12/04 06:56:02.33 2LqSA9Bj.net
ｽﾚﾘﾝｸ(math板:130番)
>おまえには、IUTは無理だよ
>「このスレ一般人もいるのかw」なんて言われているな、
>おまえのことよ！
一般人にもなれない正真正銘の馬鹿◆e.a0E5TtKE
�
672:�度恒例の発狂 ↓馬鹿の数学理解レベル https://rio2016.5ch.net/test/read.cgi/math/1570237031/574 >ノイマン 構成から、一番右の要素のみを残して、他の元を抜くと、Zermelo 構成になる >ω := {0, 1, 2, 3,・・,n・・・} = {{}, {{}}, {{}, {{}}},・・・,{{}, {{}},・・・, {{}}・・・}} > ↓(0, 1, 2, 3,・・, n,・・を抜く) >ω := {・・・{{}}・・・} (0 := {}の外がω重）(Zermelo 構成) ｗｗｗｗｗｗｗ https://rio2016.5ch.net/test/read.cgi/math/1506152332/133 >おれは、あそこは基本ROMですよ あたり前田のクラッカーｗ 「ωには一番右の要素がある」とほざくトンデモが書いたら 速攻三秒で焼き殺されるｗｗｗ
673:１３２人目の素数さん
19/12/04 06:57:42.81 2LqSA9Bj.net
ｽﾚﾘﾝｸ(math板:133番)
＞来年のワークショップの成功を祈るだけさ
＞多分成功するよ
「ωには一番右の要素がある」とほざくトンデモ馬鹿に
訳も分からず成功を祈られても迷惑だとさｗｗｗｗｗｗｗ
674:１３２人目の素数さん
19/12/04 07:07:03.83 2LqSA9Bj.net
ｽﾚﾘﾝｸ(math板:277番)
>おれはIUTを応援しているんだ
ωの要素に最大元があると思ってる
トンデモ馬鹿に応援されるようじゃ
Mも終わってるな
>IUTは、ものになっていると思っている
>それは、数学的な根拠では全くないけれど
ωの要素に最大元があると思ってる
トンデモ馬鹿はIUTどころか
集合論も理解できないｗ
>まあ、望月一人ではなく、その弟子とかだけでなく、
>日本の数学者何人か（加藤、田口など）
>それに、海外ではフェセンコさんを筆頭に何人も支持者がいる
しかしその支持者の誰一人として
S&SのCol.3.12に対する指摘に答えられない
実にナサケナイ
>これらの賛同者たちが、まさか集団催眠か集団狂気でも無い限り
>全員が間違うのは変（というか、その確率的には極めて低いだろう）
理解もせずに願望だけで賛同してるようじゃ
全然信頼できないけどな
>反対している人たちは、理論の文献があまりにも膨大すぎて
>未消化あるいは消化不良のためじゃないかと思っているんだ
賛同している人達ですら、全然消化できてないのが問題なんだが
馬鹿は全然分かってないな
675:１３２人目の素数さん
19/12/04 07:16:53.50 2LqSA9Bj.net
ｽﾚﾘﾝｸ(math板:130番)
>ラベル付けが普通の圏論と識別の仕方が異なる
>Peter Scholze and Jakob Stixが指摘したのは、
>IUTを単純化した圏論モデルで、IUTのラベル識別が矛盾する
>ということ
だろ？
だから望月のラベルの議論は圏論の外
圏論では正当化できない
1秒で気付けよ 馬鹿ｗ
ScholzeとStixはわかっていて単純化してみせた
望月はこの「挑発」に対して、自分の理屈を
十二分に説明し切って反駁する必要がある
しかし結局できていない
要するにラベルの取り扱いが
望月一人の「秘儀」「密教」
になってるということ
676:１３２人目の素数さん
19/12/04 07:19:09.39 2LqSA9Bj.net
ｽﾚﾘﾝｸ(math板:134番)
数学のスの字もわからんトンデモ馬鹿が
なにをトチ狂ったのか
「謝れ！望月大先生に謝れ！」
と泣き叫んでおりますｗｗｗｗｗｗｗ
677:１３２人目の素数さん
19/12/04 07:26:05.13 2LqSA9Bj.net
…ということであとは専門家の皆様にお任せしますｗ
678:１３２人目の素数さん
19/12/04 07:46:53.83 8JcmSiER.net
「現代数学の系譜 工学物理雑談 古典ガロア理論も読む」スレも
IUT公式認定スレになる日が近い
679:１３２人目の素数さん
19/12/04 16:34:58.75 AD+q2/UN.net
ユニバースの人とマルチバースの人の論争だから議論が噛み合わないと誰かが言ってたな
そもそも立場が違うって事か
680:１３２人目の素数さん
19/12/04 16:36:59.79 hnVHgUVi.net
ヒント
行き詰まったけど abc予想が解きたい！
681:１３２人目の素数さん
19/12/04 1
682:7:36:23.60 ID:swnOwC2D.net
683:１３２人目の素数さん
19/12/04 18:14:27.64 DU1toHGJ.net
ついにIUT局地戦が始まってるのか
684:１３２人目の素数さん
19/12/04 19:34:04.08 2LqSA9Bj.net
>>652
誤 新しい理論好きの天才
正 新しい理論好きの馬鹿
685:１３２人目の素数さん
19/12/04 19:37:37.46 2LqSA9Bj.net
ｽﾚﾘﾝｸ(math板:280番)
充満多重同型とラベルの使用こそIUTの核心
これが枝葉末節だと思う奴は文章が読めない馬鹿ｗｗｗ
686:１３２人目の素数さん
19/12/04 20:00:06.72 vzjCm2YG.net
>>650
ああ、それは今日もこのスレにいる人が言っていたことだと思う（間違っていたらゴメン）
私は圏論的な問題として「universal property v.s inter-universal」で、レベルが高いのか低いのか分からん論争と書いたことがあるｗ
立場が違うというのはちょっと違うかな。IUT側はSSの「嗜好・美学」＋勉強不足にして、立場の違いにしたいようだけど、
SSに限らず外野（IUTコミュ以外の人）にとっては理解可能で納得できる説明ができるのどうかが問題
IUTはマルチバースとは厳密にはちょっと違う。「母宇宙→子宇宙→孫宇宙→・・・」ではなく、オカルトというか笑い話で例えると、
母親の輪廻転生の物語になる。
「母→前世の記憶を失ったコピー母１→母１の記憶を失ったコピー母２→……→ｎ代目コピー母……→魔改造された最初の母」
みたいな感じかなｗ
687:１３２人目の素数さん
19/12/04 20:20:58.81 vzjCm2YG.net
SSの単純化には2種類あって、radicalなものとdrasticなものがある
前者はアナロジーに頼らない普通の数学用語で書くということ
後者は充満多重同型とラベルの使用を「不必要・無意味」(望月レポによる)として採用しないということ
とくに後者はIUTの核心部分を損なうとSS自身が書いているが、面白いことに実はそれすら本質的な問題ではないと書いている
要するにSSにとって本質的な問題はpilot objectの抽象v.s.具象で、彼らが納得できなかったのが充満多重同型とラベルということ
つまり、原因を探ればこのような問題を生じさせているのは同型とラベルの問題で、それをクリアにするためには
drasticな単純化が必要であった、ということになる
ちょっと分かりにくいけどね。まあ、IUT側からすれば絶対に受け入れられないし、IUTではないということになる
その通りなんだが、SSがなぜそこまでしたのかということをIUTコミュは検討すべきだと思うけどね
Kimの検証云々の話も合ったけど、詳細に真剣にやればかなり大変な作業になると思うよ。
特にIUTは正しいを結論付ける場合はね
688:１３２人目の素数さん
19/12/04 21:09:29.91 vzjCm2YG.net
ユニバースv.s.マルチバースという対立について当てはまるとすれば、
スキーム論的な環論的枠組みv.s.遠アーベル的な群論的枠組み、ということはできるかな
まあ、実際SSはIUTを前者にして書き換えているわけだし。もはやIUTと呼べるシロモノではないけどね
望月がSSレポ5月版を読んだとき青天の霹靂だったんじゃないかな
望月が初夏に書いたらしい反論レポを読んだ上でのSSレポ8月版では、脚注などで強烈な皮肉を書いているしね
689:１３２人目の素数さん
19/12/04 21:23:41.25 zdLS94y/.net
どっちが嘘ついてるのかな？
690:１３２人目の素数さん
19/12/04 21:44:56.78 GNN5Ejza.net
マルチバースとか言ってる時点でダメだろw
691:１３２人目の素数さん
19/12/04 22:00:02.84 M6+85ns2.net
望月新一HPから個人的に整理した
[10] 数論的log schemeの圏論的表示
692:から 見た楕円曲線の数論 （北海道大学 2003年11月) ⑴ 圏のIU幾何 ① abc予想を解決したい ・abc予想を解きたい ↓ ・技術レベル。 (スキーム理論のHA理論では不十分 局所環付き空間のスキーム理論だけでは 不十分。) F.1上の幾何が必要。 数体上の大域的 ホッジ理論が必要。 ↓ ・本質的な技術的な問題。 ( 通常の集合論ではありえないが) 「属性方程式」a∈aを解きたい ↓ ・通常の集合論を拡大する必要がある。 ② IU幾何によるabc予想の解法 ・宇宙の拡大を使ってラベルを貼る a1∈〔a1 b1｝=a2∈〔a2 b2｝=a3∈〔 a3 b3 そしてaiたち→a biたち→b と、 同一視する quotientを作る cf 図 a∈a →点からループしてまた点へ →線上の点列があり 円弧の矢印 ＋1が作用
693:１３２人目の素数さん
19/12/04 22:18:31.89 swnOwC2D.net
>>661
これが本当に必然的な「数体のホッジ理論」なのかっていう根本的な問題でもある
実際、これを読んで「確かになるほど」と思う人は世の中にいるんだろうか？w
しかし、この問題について何か発言すると趣向・嗜好が丸出しになる可能性があるので、
あまりこういう所では推奨できない
694:１３２人目の素数さん
19/12/04 22:24:39.63 M6+85ns2.net
>>662
基本的に 望月新一氏が書いたことを
丸写ししただけだよw
字が汚くて読めないから。
quotientで良いのだろうか？
695:１３２人目の素数さん
19/12/04 22:38:03.43 swnOwC2D.net
>>657
別に異議ではないんですが、IUTは単にマルチバースというかイデアのイデア、つまりメタユニバースみたいな
観点で考えているとも読めますね
これは第四論文で似たような話が出てくる。種の言語というのは実は色んな所にあると見なせて
それを徹底して突き詰めたものがIUTである。そういう話に加藤さんも貢献しているw
しかし何度も同じような事ばかり言ってあれだけども、ScholzeとKedlayaが納得してサーベイを書けないってのは
相当な事なので、来年度のプロジェクトイヤーにでもプレプリントすら出てこないようなら完全に終わりです
696:１３２人目の素数さん
19/12/04 23:55:13 vzjCm2YG.net
>>663
quotientですね。これだけでは何のこっちゃということになるので、mutationを持ち出しています
そういうことがガロア圏ではアナベリオイドや絶対遠アーベルを使えば可能であろうということでしょうね
>>664
以前何度も書いたんですが、IUT・?最終節を始めに持ってきて、全体の眺望を示したうえで本論に入ればいいと思うんですけどね
如何せん、この辺だけは（？）本人が謙虚で「専門家ではない」と断っているのでどうしようもありませんｗ
佐藤賢太郎氏にアドバイスを受けたと謝辞にありますが、佐藤氏も見解を発表していないしよく分かりません
いわゆる代替集合論の話になれば厄介なので、無理やりZFCに収まる話だと強弁しているようにも見えますね
697:１３２人目の素数さん
19/12/05 00:06:00 8d+zD8Pp.net
否定派の心境は本当は正しかろうと正しくなかろうとどうでも良い。
どっににしろあんな長々しい論文読む気にならないからスルーでいいってとこ
698:１３２人目の素数さん
19/12/05 00:22:36 P2b/vGxr.net
あと、IUT・?最終節に名前が出てくる2人ですが、一人は拝聴していただけではないでしょうかｗ
その人は以前Twitterで西田哲学の絶対矛盾的自己同一について書いていたと思うので、
そういう貢献はあったかもしれません。どのみちIUTは数学版京都学派、近代の超克論だと思っています
もう一人は
699:Kimなんですが、本人がMOでのロバーツとのやり取りで「IUT・?最終節についてはよく分からない」と言っていますｗ 彼はホッジ・アラケロフからの動機付けをよく理解していたので、MOなどでIUT公開当時は水先案内人でしたね オックスフォード2015の直後にはレポートを書いていましたが、その後は勢いが落ちてきているように思えます
700:１３２人目の素数さん
19/12/05 00:38:18.80 /R2gDlsS.net
>>666
IUT語でなく日本語でお願いします
701:１３２人目の素数さん
19/12/05 00:58:11.16 Pu1w4ZuF.net
IUTわからん馬鹿は黙ってろ
702:１３２人目の素数さん
19/12/05 02:40:26.40 64GHrLYH.net
IUTをわかっているのは密教の御本尊しかいない
703:１３２人目の素数さん
19/12/05 03:25:24.81 64GHrLYH.net
>>669
2003年望月新一北大講演会 講義録には
参考 >>661
「属性方程式 」a∈aを解きたい、
の隣に('基礎の公理'により、通常の集合論では
有り得ない。)と注ある。
この'基礎の公理'とは具体的に何ですか？
704:１３２人目の素数さん
19/12/05 04:52:36.39 Sq0GxO3O.net
正則性の公理じゃないの？
ラッセルのパラドックを回避するためにフォン・ノイマンが導入した公理。
ZF公理系の一つ。
705:１３２人目の素数さん
19/12/05 07:00:30 vEgJBXXW.net
>>672
ラッセルのパラドクスを避けるだけなら
内包公理を分出公理に弱めれば十分
（ZFではより強力な置換公理を使ってるが内包公理よりは弱いから
ラッセルのパラドクスは導けない）
706:１３２人目の素数さん
19/12/05 07:06:19 vEgJBXXW.net
>>661
そもそも「属性方程式」a∈aがどうして出てくるのか不明なんだが
>>665
a∈aが本質的なら、ZFC-AFAでもなんでも使うべきだと思うが
そもそもそこが不明なので、なんともいいようがない
707:１３２人目の素数さん
19/12/05 07:21:35 vEgJBXXW.net
IUT IVとはこれか？
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
最終節って§3ね？
708:１３２人目の素数さん
19/12/05 09:26:40 MG4NQJwS.net
属性方程式が出てきた構造的理由は個人的には推測できる
単純に元々のお題目と上手く結びつければよい（HA理論の一般化）
しかし、だからといってそれで世界の数学者が必然性に納得するかといえば別
遠アーベル幾何によるディオファントス幾何という関連したもうひとつのお題目に引き寄せられて
そういう特殊なアイデアに向かったのだろう
一体ディオファントス理論に遠アーベル幾何が不可欠なんて思ってる数学者が世界にどれだけいるのか
709:１３２人目の素数さん
19/12/05 14:47:07 kfhC5z7y.net
>>656
オカルトマニアだけど、人間に当てはめるならばまず人間を量子情報として表す必要性がある
その母のコピーの例えとか認知症がどうのって例え毎度見て違うって思うんだよね
母単体でコピーが復元されることはないってところが単遠アーベル幾何学の肝でしょ？
俺の考えを書いてくけど、まず人間が存在する宇宙そのものを量子情報として考える必要性がある
そのとき、前に俺とオカルトマニア氏は嫌いじゃないって言ってた人と俺の議論と同じく
膜宇宙論のような無限のループ構造を持つループ重力理論によって、IUT的に幾何学的不変量である素粒子から宇宙が復元されなければならないだろう
加えて言えば、単遠アーベル幾何学的な要素を人間の量子情報に適用すると
それは恐らくは男女になるだろうと推測できる
男女というそれぞれでは遠アーベルな構造を持つ量子情報が
男女という2つの舞台で考えて組み合わせられた時、可換となって二人の男女から要素を受け継いだコピーが作られ
そしてコピーである子は可能な限り二人の情報を対称性通信で受け継ぎつつも、子供単体としては新たな舞台であるから遠アーベルな構造を持つ量子情報でなければならない
男女それぞれがエ
710:タール的部分であり、フロベニウス的部分なんだよ これもたぶん子供の性別によって、親のどちらの量子情報がエタール的かフロベニウス的に扱われるかも入れ替わる しかし、現実問題として人間は子に自らの記憶(意識)そのものは基本的には受け継がないとされる つまり、全てが量子情報として考えられるということを起点とした場合 無限の入れ子構造的に、人間の意識が肉体とは別立ての量子情報として成立している事を示唆し それは生殖では受け継がれない事が予測される ガワである肉体はほぼ完璧に対称性通信を通じて復元される しかし中身である意識はどのようにして両親から受け継がれるか？っていうのが重要なわけ だから俺はこれが万物の理論の超有力候補であると思ってて、集合的無意識たる量子情報が存在するって思ってるの
711:１３２人目の素数さん
19/12/05 14:47:35 kfhC5z7y.net
星さんの入門にも書いてある、
＞ある一例と等価なデータ — 簡単のため, 以下, もうこれをフロベニオイドと言い切っ
てしまいますが) が与えられたとき,
あくまでも等価なデータが与えられなければならない、つまり最低でも2つセットでなければならない
単体でほぼ完全な復元ができるわけではなく、絶えずペア以上の等価なデータにおける舞台で復元がなされる
712:１３２人目の素数さん
19/12/05 14:53:53 kfhC5z7y.net
こう考えると実に自然な話にしか見えないだろ
その単一データで全てが成立してるように見える、訳わからない例えを使うのはやめたほうがいいよ
端からそんなことをIUTは言ってないんだから
713:１３２人目の素数さん
19/12/05 15:54:21.06 P2b/vGxr.net
オカルトマニア氏へ まず最初に言っておく
「母のコピーの例えとか認知症がどうのって例え」と「前に俺とオカルトマニア氏は嫌いじゃないって言ってた人」と、
「俺の議論と同じく膜宇宙論のような」ということを書いたのは私、つまり同一人物ですｗ
「オカルトマニア氏は嫌いじゃない」というのはあなたがひどい罵倒をしなかったというだけの理由
膜宇宙みたいなことを言っているね、というのは完全に嫌味・皮肉
あなたが書いていることは双遠アーベルであって単遠アーベルではない
ちなみに以前書いた認知症徘徊老人のたとえは若干双遠アーベル的だったので反省しているくらいですｗ
あなたの解釈を読むと、星入門の「不正確な記述」が最悪の形で解釈されたもののように思われる
・単遠アーベル的復元/構成を（おそらく）視覚的にわかりやすくするために双遠アーベル的とも取れるようになっている
・上記と同様の理由と思われるが、対数テータ格子をあたかも可換図式のように説明している
星が続入門を英訳して投稿しても、入門１を英訳して投稿しない理由がよくわかったよｗ
再度オカルトマニア氏へ
あなたにふさわしいスレは他にある（そこのスレ主がIUTに関心を持っているらしい）
また、望月ブログのコメント欄もあなたにふさわしい
では、さようなら。先日のあなたレスもNGを入れたが、今度もNG入れます
714:１３２人目の素数さん
19/12/05 16:56:25.34 kfhC5z7y.net
いや同一人物であろうことなんて文章見ればだいたい察しが付くけど
でももしかしたら別人かもしれないし、決めきった書き方なんてしないよ
膜宇宙論みたいって話は嫌味でも皮肉でもないでしょ
貴方がどういう意図で言ったのかは別にして実際そうだと俺も思うもの
それと最悪の形で解釈もクソもない
＞・単遠アーベル的復元/構成を（おそらく）視覚的にわかりやすくするために双遠アーベル的とも取れるようになっている
これは視覚的に分かりやすくするためじゃなくて、そういうものなんだって言ってるんだわ
あと双遠アーベルじゃないって読めば分かるよね、2つあると可換でどちらか一方だけだと遠アーベルなの
2つだと可換になるのは、2つのどちらか一方の舞台から見た時
2つで遠くなるのは、2つを1つとして見た時に単遠アーベルになる
これは全く別の話
それは貴方が言ってる先日のレスで挙げた例で、鏡像世界と現実世界を例にして俺の考えを述べてるよね
というか先日の俺のレスをNGした理由が分からない�
715:ｩら教えて欲しい そうでなければ、どうやら合ってそうな単純例で反論できなかったから 反論が面倒＝できなさそうだからNGに入れたって受け取ってしまうよ
716:１３２人目の素数さん
19/12/05 17:57:00.75 P2b/vGxr.net
最初から「複数」の舞台（ホッジ劇場）があると思っている時点で何も分かっていない
これはB本の弊害ね
クンマー理論＋単遠アーベル的復元/構成による充満多重同型とラベルの使用と管理が、宇宙際幾何学たる所以
これをBが全く解説していないため（望月・星-SS討論で互いに相容れなかったから避けたのだろうか？）、
おちょっこちょいで妄想過多なトンデモ気質の人が遥か斜め下の妄想を膨らませるのもありうるｗ
B本というのは肝心かなめの部分を全く書いていない。それに魅せられトンデモを相手にするのは馬鹿らしいということ
昨日から話題になっている“simulate a∈a”、“loops of mutations”について概要を分かっている人たちは、
こんなマヌケな解釈などしないだろう
717:１３２人目の素数さん
19/12/05 18:24:28 P2b/vGxr.net
例えば>>661氏が引用している北大講演の3頁にこうある
・「通常は、relativeな理論を考える」
・「ここでは、absoluteに考えたい」
上はノイキルヒ・内田のような双遠アーベル的復元
下は絶対遠アーベルの単遠アーベル的復元/構成
>>665の前段で書いたのはそういうこと
718:１３２人目の素数さん
19/12/05 19:09:36.68 P2b/vGxr.net
IUTについての私個人の考えというか関心事だが、キーワードとしては
副有限群、ガロアの逆問題、アナベリオイドのslimアナベリオイドとslimカテゴリー、そしてスタック
望月の図では二次元的に●と→（水平射）、↑（垂直射）で図を書いているが、
これらはコピーされて作られたもので（生み出されたもの）、それらを貼り合わせて単解的に所望の不等式を導くというもの
図だけしか見ていないと、最初から●（ホッジ劇場）が複数あってそれらの関係性だけにしか見えないが、
それらは「非常に似ている対象の異質な環構造」のコピーたちであり、これらは貼り合わされていく
これが初期構想で書かれている“simulate a∈a”、“loops of mutations”のガロア圏版ということだろう
望月がエイリアン論文で不満を述べているのは、上記のslimアナベリオイド、slimカテゴリー、スタックが
いかがわしいものと見做されているのではないかということね。“general nonsense techniques”だから、と。
スタック自体はいかがわしいものとは思わないけどね
デ・ヨングがIUTを研究しないのは端に面倒くさいという理由だけではないと私は思う（憶測、邪推）
719:１３２人目の素数さん
19/12/05 19:16:36.16 vEgJBXXW.net
>>675
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
>there exist infinite ascending chains of universes
>V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
こう書かれると、望月氏は集合論を正しく理解してるのかどうか疑わしくなる
１．V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する
２．任意の自然数nについて
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ V という有限列も存在する
３．しかし
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... ∈ V
という"無限列"と書かれると、
「∈ V の左に書かれるものは何ですか？」
と尋ねざるを得ない
720:１３２人目の素数さん
19/12/05 20:28:33 jIftrD/D.net
>>666
世の中キチガイじみた数学者がたくさんいるからそれはないよ
世界スケールで見ると溜め息がでるくらいマッドな（ある意味誉め言葉）猛者がいるからな
今の日本がJリーグなら世界は四大リーグみたいなもんだ
721:１３２人目の素数さん
19/12/05 20:32:06 DIhYMp+r.net
>>666
それはない。
もう日本人の中にも、SSなみに「望月論文は間違っている」と確信している人間はいると思う。
発言する必要はないから黙っているだけ。
もしでなければ日本の数学界は情けない。
722:１３２人目の素数さん
19/12/05 22:03:17.85 hjOFF9s5.net
思い込んだまま突き進んで本来研究者として一番脂が乗っている時期を無駄にして大ゴケ。
それだけならまだしもおかしな取り巻きに神輿担がれて研究者生命致命傷あら残念。
山のようなナンセンス・ジャーゴンの中からピンポイントで破綻(の一部)を特定したSSはさすがだな。
ほとんどの数学者の理解はこんなもんだろ。
723:１３２人目の素数さん
19/12/05 22:51:51.77 Pu1w4ZuF.net
おかしな取り巻きは若手なら取り敢えずの職を得たが
研究者人生の重要な時期に無駄な労力を割いて将来が厳しい
本人の苦労をちょっと横に見て解説本書くのが一番の成功者
焼肉おいしい
724:１３２人目の素数さん
19/12/06 01:17:34.15 0llWvy0x.net
量子情報量子情報言ってる人がいるけど、確かに最近代数位相幾何のアプローチで
これは量子論であると言って憚らない怪しい圏論が増えているw
名前は挙げないが、ちゃんとした研究者も量子情報を代数幾何から論じたりしている
眉唾物に見えてもいつの間にか存在感があったりする理論とか、数学の世界はわからない
ただ一つ確かなのは、一度注目を集めたにも関わらず上手く流布しない理論というのは基本的に駄目
いくら難しいと言っても、例外はほとんどないんじゃないか
725:１３２人目の素数さん
19/12/06 06:35:32 a5FaM1Ty.net
>>685
>１．V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ ... という無限列は存在する
>２．任意の自然数nについて
V0 ∈ V1 ∈ V2 ∈ V3 ∈ ... ∈ Vn ∈ V という有限列も存在する
IUTに必要な性質が上記２点ならa∈aは必要ないがそれでよいのか？
726:１３２人目の素数さん
19/12/06 22:03:16.45 TP+xMnxe.net
>>691
いや横槍で間違いだったら申し訳ないけど、多分両方考えるのがIUTなんです。整合性を作る
だからこういう不可思議な事を考える時点で普通なら足踏みするよな、とも以前に書いた記憶がある
スキームを一般化するには色んな考えがありうる。そういう中で望月さんはこの一般化にコミットした
727:１３２人目の素数さん
19/12/06 22:14:18.46 +Uu3psp/.net
中身空っぽ
728:１３２人目の素数さん
19/12/06 22:19:10 ZF7NpaSm.net
IUTに40歳前後の時期をかけたMも敗北者
その査読に時間をかけて潰したSSも敗北者
真の勝者は争いを横目で見つつ解説本で話題をさらい賞をもらって
売れた名前で低レベルのチャート式で大儲けして焼肉うめ～～
729:１３２人目の素数さん
19/12/06 23:26:10 G6RAVw+M.net
これね、望月の着想の系譜学みたいになるんだけど、「同義反復的解決をしたい」というものがあったわけ
その表現として、最初の北大講演では 「属性方程式a∈aを解きたい」となり、
後の講演では、“simulate a∈a”、“loops of mutations”となり、
IUT・?最終節では、“simulate ∈-loops”となる
つまり、彼は厳密な意味で a∈a なんてやってないｗ
単に「同義反復的解決をしたい」という着想から、言っちゃ悪いけどテキトーなことを言っているｗ
730:１３２人目の素数さん
19/12/06 23:53:09 TP+xMnxe.net
>>695
そうですね。中身が空と言われようがなんだろうがいちいち流れは書かないけども、
それもHA理論の一般化というに尽きます。やりたい事は一応論理的にははっきりしているし、
正否を一体忘れれば凄いアイデアかも、とは思うかもしれない
問題は正しい一般化かどうか
731:１３２人目の素数さん
19/12/06 23:54:19 G6RAVw+M.net
まあ、もっと辛辣な言い方をすれば、数体の遺伝的アルゴリズムみたいなものをやりたかったわけで、
計算機科学的な説明をするよりも高尚な（？）基礎論的な話がしたかったんじゃないかな
でも実際、計算機科学者でIUTに関心を持っている（持っていた）人たちもいたし、
彼らの中には代替集合論に関心を持っている人もいたね
望月の場合は
732:、新奇性という名のものとに傍目にはいかがわしく見えることをやっているので、 安易に代替集合論を持ち出さず、正則性公理には反してませんよ、ZFCに反してませんよと強調したかったのだと思う 完全に私の邪推だけどね
733:１３２人目の素数さん
19/12/07 00:10:17 aRHRZGxC.net
普通この理論をまず目にして一番最初に思うだろう疑問は、HA理論なんて何処にあるんだっていうのと、
何で「宇宙」なんだっていうこと。理由を一旦納得してしまうと、確かに本人にとっては論理的な理論なのかな
という気はしてくる。一応数論幾何学的な問題意識から始まっているからね
でも加藤さんはその点慎重なのか理解していないのか、数学者がなるほどと思う書き方はしていない
734:１３２人目の素数さん
19/12/07 09:36:56.95 uZFmzNJe.net
>>692
＞両方考えるのがIUT
両方とは？
>>691の１．と２．は両立しますよ
例えば
１．{}∈{{}}∈{{{}}}∈… という無限列は存在する
２．Ω＝{{},{{}},{{{}}},…}とすれば
任意の有限重{{{…}}}について
{}∈{{}}∈{{{}}}∈…∈{{{…}}}∈Ωという有限列が存在する
それでいいなら
a∈aとなるようなa（=無限重{{{…}}}）
を考える必要はない、ということです
735:１３２人目の素数さん
19/12/07 09:51:58.46 uZFmzNJe.net
>>695
＞「同義反復的解決をしたい」
＞「属性方程式a∈aを解きたい」
＞“simulate a∈a”
＞“loops of mutations”
＞“simulate ∈-loops”
これは問題の解決に立ちはだかる本質的な困難なんでしょうか？
特に”loop”である必要はどこから出てくるんでしょうか？
736:１３２人目の素数さん
19/12/07 09:59:15.64 uZFmzNJe.net
>>697
＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった
しかし∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）
∈-loopsが必要なら「代替集合論」ZFC-AFAは不可欠でしょう
上半平面の幾何学がユークリッド幾何とすることはできず
双曲幾何にならざるを得ないというようなもの
737:１３２人目の素数さん
19/12/07 12:31:45.08 T6VqtyTc.net
新一ブログ、来年初めにまた更新あるかな？
紅白歌合戦の話。
738:１３２人目の素数さん
19/12/07 15:38:30.45 uZFmzNJe.net
前日の「坂道テレビ」も忘れずに
URLﾘﾝｸ(www4.nhk.or.jp)
739:１３２人目の素数さん
19/12/07 18:20:03.95 WBQvpVpJ.net
>>700-701
まず最初に、あなたは最終節をすべて読んだのでしょうか？それとも最初の3頁ぐらいでしょうか？
もし後者なら最後まで読んだ上で質問なり、あなたの理解・意見・感想なりを述べてください
では、私なりの理解・感想・意見などを簡単に述べてみます
まず、望月の同義反復的解決の「～的」とは、同義反復「による」解決ではなく、「～みたいな」、「～一見そのように見える」ぐらいの意味です
ですから厳密な意味で∈-loopsもしていません。そのように見えるということにすぎず、数学で数学のアナロジーを語っているにすぎません
speciesやmutations、挙句の果てにはobservablesなんて語も出てきます。トンデモのおいしい食材のオンパレードです
で、この最終節は何のためのものかというと、単遠アーベル的復元/構成の論理学みたいなものです
それを集合論的に書こうとしたもので、実際は望月流の圏論＝IU幾何、IU形式主義です
speciesがデータや圏、mutationsが関手に相当します
私も最初はあなたと同じくなぜAFAなどを考えないのかと思いました。しかも謝辞に佐藤憲太郎氏の名が出ているので当然そう思います
しかし、書かれていることは初期構想からあった望月の着想や「願望」と、IUTで記述されている論理のそれっぽい説明にすぎません
まともに取り合っていいのかよく分からないシロモノです。
この最終節をBなどは「基礎論を刷新するもの」と捉えているようです
彼はだいぶ前にTwitterで西田哲学の絶対矛盾的自己同一を書いていましたが、その前後でこの最終節に触れていたと思います
740:１３２人目の素数さん
19/12/07 19:01:02.07 uZFmzNJe.net
>>704
最終節は読んでません そもそも数論幾何を知らないので
数論幾何において、ａ∈ａが現れるのかどうか知りたいわけです
AFAは別にトンデモではないので、
AFAを使った数学が受け入れられない
ということはありませんよ
ただ、実際にはａ∈ａではなく、
正則性公理の成立する範囲内で
おさまるというのであれば
別にかまいません
宇宙の拡大とやらも、今の集合論の巨大基数の範囲よりも
全然小さいレベルのようですから、集合論研究者も
大して関心持たないでしょうね
741:１３２人目の素数さん
19/12/07 19:16:24.75 uZFmzNJe.net
>>704
＞「基礎論を刷新するもの」
それはないですね
742:１３２人目の素数さん
19/12/07 19:25:07.06 WBQvpVpJ.net
>>705
私もAFAそれ自体はトンデモとは思っていません。ただ、集合論の専門家と話したことがあるのですが、
新しいアイデアを展開するために安易に代替集合論に頼るのは如何なものか？と彼は言っていました
代替集合論それ自体の研究は当然重要だけれども、これらを使って何でもできると思うのはトンデモへの道だ、と
上で書いたように私の理解では、実際は厳密な意味でａ∈ａも∈-loopsもやっていないので、望月はくどい位繰り返し
「正則性公理には矛盾しない」と書いているわけです
数理論理学者の中には「IUTのABC予想証明が成功していると証明されたら、IU形式主義を考えてみるけどね」という人もいて、
そっけない返事でしたね。まあ、専門家の認識は大体こんな感じではないでしょうか
743:１３２人目の素数さん
19/12/07 19:27:34.43 uZFmzNJe.net
＞西田哲学の絶対矛盾的自己同一
学生の頃、A=Aでない数学をやりたい、と云った友人がいたが
その後、予備校教師になったようだ・・・
744:１３２人目の素数さん
19/12/07 20:23:30.67 uZFmzNJe.net
>>707
個人的にはAFAよりsubstructural logicのほうが興味がありますけどね
745:１３２人目の素数さん
19/12/07 20:48:42.47 uZFmzNJe.net
ｽﾚﾘﾝｸ(math板:138番)-140
勉強もせずにこんなことばっかり臆面もなく書くとか
つくづく恥ずかしい人ですね
746:１３２人目の素数さん
19/12/07 21:18:13 WBQvpVpJ.net
>>710
あなたの疑問は至極真っ当なもので、ａ∈ａや∈-loopsと書かれたら当然出てくる疑問です
ただ、IUTではこう述べられているよ、と私なりの理解を大雑把に書いただけです
あとお願いなんですが、よそのスレ、特にあなたがリンクしているようなスレはトンデモさんが現れた時に
誘導するだけにしてくれませんか？
そこのスレ主はここではほとんど書いていないようですし、書いても内容次第で即NG入れればいいだけなんで
747:１３２人目の素数さん
19/12/07 21:25:14.03 WBQvpVpJ.net
>>698
多くの人はコンラッドのオックスフォード・レポと同じ感想を持ちますよね
望月本人にとっては間違いなく「自然な論理」、先行研究からの自然な流れ、着想ですよ
遠アーベルでのアナベリオイド、「そもそも復元とは何か」という問題意識（後に絶対遠アーベルとなる）、
p進タイヒミュラーから数体のタイヒミュラー理論の構想、HA理論からのディオファントス幾何への展望など。
後はまあ、ひたすら大域、大域ということですね
「多輻的アルゴリズム表現は局所の総計ではなく、大域的なものだ」（反論レポ）とあるように、
Θリンクも対数テータ格子も大域的なもので、充満多重同型などもホッジ劇場総体として捉えなければ、
やろうとしていることすら分かりません
748:１３２人目の素数さん
19/12/07 21:31:41 uZFmzNJe.net
>>711
要するにIUTでは正則性公理に反する「集合」は出てこないということですか
IUT支持者の中にはおかしな人が少なくないようです
専門家はそういう人を抹殺したいでしょうね
どうぞ抹殺してください
とある方も著書でこう云ってます
「人を殺していけない根拠などありません」
749:１３２人目の素数さん
19/12/07 21:55:23.90 WBQvpVpJ.net
>>713
そうですね。そもそもクンマー理論＋単遠アーベル的復元/構成によってできる「非常に似ているが異質な環構造のコピーたち」
の貼り合わせの話で、ガロア圏における望月流の圏論＝宇宙際幾何学、“private fan dance”（ロバーツの評）の話なんでｗ
それを集合論風にやっているだけです
あと、おかしな人たちは何を言っても効かないしゾンビのように立ち上がってきます
こちらの対応としては無視する、NGを入れる、おかしなことでもそれをダシにして何か言えるなら少し相手してみる、
といったことぐらいしかできません
750:１３２人目の素数さん
19/12/07 22:03:27.56 uZFmzNJe.net
>>714
世の中には「おかしな人たち」を観察する趣味を持ってる人もいます
そういう人たちにとっては無視とかＮＧとかいうのはあり得ないでしょうね
彼らの「おかしな発言」を記録して後世に残すことが楽しみなんですから
751:１３２人目の素数さん
19/12/07 22:24:42 R1rmXOB4.net
>>712
志甫さんの名前をわざわざ出した理由は、加藤さんや玉川さんよりはやはり専門が近いからですね
敢えてわかりにくく一言で言えば、例えばvirtualなarithmetic compactificationみたいなものをIUTは考えている
HA理論やホモロジー代数の非Quillenホモトピー代数的一般化になっているのかどうかを専門家として
一番素直に語れるであろう近しい人物が志甫さん。Kedlayaは明らかに距離を置いています
つまり、ScholzeらのようなラングランズプログラムとDAGを最重要視したままです。Kimもこれは同じですね
752:１３２人目の素数さん
19/12/07 22:34:00 R1rmXOB4.net
>>699
つまり、a∈aというのは出発点として、ということです
別の方がおっしゃってるように、後にはループした入れ子構造の話に向かいました
a∈aをどうするか考えるというのはお題目通り、関数体のHA理論のspecZ版を考えることなんですが、
そういうArithmetic deformationを構成するために考案されたのがIUTだったわけです
両方というのは動機付けとして同根だという意味です
753:１３２人目の素数さん
19/12/07 22:40:43 R1rmXOB4.net
ここで、本当にa∈aを解かなければならないのかという話が問題になってくる
答えは個人的にはNO。だから変な話になってくるわけだ。「奇抜でad-hocに」arithmetic deformationを
やろうとしてこうなったんだと理解している
自然な幾何学ではないからバーチャルな宇宙の話をしなければならなくなった
754:１３２人目の素数さん
19/12/07 23:57:36 WBQvpVpJ.net
>>716
ああ、それはホッジ・アラケロフやフロベニオイドに限って言えばの話ですね。それなら志甫氏は近いでしょう
しかし、その辺はあまり問題視されておらず、かといってHAやフロベニオイドが盛んに研究されているとは言えない状況ですね
私はやはり玉川氏らが裏方に徹して星氏や山下氏にアドバイスはしているみたいですが、
自分からは何も表明しないというのが気になります
あとショルツは望月からすれば相性は最悪ですよ。そもそも二人の数学者としての考え方も違います
ショルツは「数学者とは何か？」と訊かれて、「私はそんなことは考えたこともない。ひたすら数学をやるだけだ」と断言する人ですから。
そういう意味では気質的にもファルティングスの後継者ですね
望月は間違いなく「数学とは何か？数学者とは何者か？」を深く考えるタイプでしょう
私はショルツのようなタイプが無難だと思います
望月のようなタイプは自分と同格かそれ以上かつ異質な他者を絶えず置いて、外部から検証してもらわないとマズイと思います
拝聴するだけの人ばかりではダメになります。むしろ同僚や弟子らが離反して初めて正しく先に進めるのではないでしょうか
失敗するなら上手く失敗せよ、そのためには友達選び弟子選びも重要だということですね
755:１３２人目の素数さん
19/12/08 10:22:28.02 9rv1hojT.net
ｽﾚﾘﾝｸ(math板:142番)
＞日本の刑法で、殺人は禁止されています。
これは典型的な誤読ですね
「（殺人）刑法第199条
人を殺した者は、死刑又は無期若しくは5年以上の懲役に処する。」
あくまで殺人後の処置について規定されているだけ
殺人そのものは禁止していない、そもそも禁止できていない
（実際に殺人事件は多数起きている）
＞まさに、サイコパス発言ですな
＞この発言は、サイコパスの心の闇を表わしていますね
国家による戦争は、軍隊による殺人を伴う
政府も軍隊もサイコパスだというならまったくその通り
756:１３２人目の素数さん
19/12/08 17:06:03.79 9rv1hojT.net
「自らが集団の一部になり、相手を集団とみなせば人間は人を殺すことができる」
URLﾘﾝｸ(headlines.yahoo.co.jp)
（カンボジアでポル・ポト派による虐殺を伝える施設を訪れ）
「見ながら思った。日本の保守的な政治家なら、
日本の恥として知らせようとはしないのではないか」
「アジア太平洋戦争後、日本人には精神に変調を来した兵士が
米兵に比べて少なかったことも紹介。
”おそらく彼ら（日本兵）は主語を戦争に行く時になくしていた。
陸軍、皇軍、日本という大きなものの一つだったのではないか”
と、虐殺の背景には「集団化」があると分析した。」
757:１３２人目の素数さん
19/12/09 13:33:55.99 tY240Yf9.net
ｽﾚﾘﾝｸ(math板:145番)
>何をしたいのかね
君は？
ｽﾚﾘﾝｸ(math板:346番)
>来年は、日本数学会でも議論してほしいね
>普通、学会は、春と秋の２回
>来年は、しっかりIUTを取り上げて議論してほしいね
>RIMSの外でもね
全く理解できないIUTを熱狂的に信奉
●違い？
758:１３２人目の素数さん
19/12/09 13:40:02.41 tY240Yf9.net
ｽﾚﾘﾝｸ(math板:145番)
誤 殺人願望の正当化
正 殺虫願望の正当化
ゴキブリ退治は日常的に実施されています
URLﾘﾝｸ(www.youtube.com)
759:１３２人目の素数さん
19/12/09 14:20:31.60 niqYp9hC.net
革マル野郎が危ないことは事実。
760:１３２人目の素数さん
19/12/09 14:26:03.33 niqYp9hC.net
内ゲバの時代
URLﾘﾝｸ(agora-web.jp)
そのうち梅田はサークルに出てこなくなり、生協の前でアジ演説をやり始めた。
「こんな所にいたら危ないぞ」といったら、「大丈夫だよ。みんなの見ている前が一番安全なんだ」
と笑っていたが、1975年10月、衆人環視の中で数人に取り囲まれて鉄パイプでなぐられた。
頭蓋骨骨折で、即死だった。おびただしい血が食堂前まで広がって一帯が立入禁止になった。
革労協が犯行声明を出したが、犯人は不明だった。
761:１３２人目の素数さん
19/12/09 16:41:00.12 tY240Yf9.net
>>725
URLﾘﾝｸ(agora-web.jp)
「山本太郎のやっているちゃちな反原発運動なんてお遊びみたいなものだが、
彼を傀儡にして中核派が国政に議席を得ると大変だ。
かつて菅直人氏のやっていた「反原発勉強会」にも、
中核派の幹部が常駐していたことは公然の秘密だ。
そういう連中のやっている反原発運動が「命を守れ」とは悪い冗談である。」
耄碌爺ちゃんの妄想乙
762:１３２人目の素数さん
19/12/09 16:58:44 tY240Yf9.net
URLﾘﾝｸ(blog.goo.ne.jp)
池田
763:信夫は２００６にゲーデルについて トンチンカンな言辞を発し 専門家どもに凹られた経験あり ついでにいうと https://academy6.5ch.net/test/read.cgi/sociology/1094986423/786 IQ 分野 （学んでる分野と平均IQの関係） 130.0 物理学 129.0 数学 128.5 コンピュータ科学 128.0 経済学 ＜－－－－－－－－－ ・・・ 115.0 社会学 ＜－－－－－－－－－ 114.0 心理学 114.0 医学 112.0 対人コミュニケーション 109.0 教育学 106.0 行政学 なんて戯言が書いてあるが、もちろん嘘である 経済学者のIQはそんなに高くない
764:１３２人目の素数さん
19/12/09 17:05:48 tY240Yf9.net
ｽﾚﾘﾝｸ(math板:146番)
>IUTスレに投稿する意味がわからん
IUTを理解もできずに狂信する意味がわからん
765:１３２人目の素数さん
19/12/09 17:09:53 tY240Yf9.net
>>719
＞望月は間違いなく
＞「数学とは何か？数学者とは何者か？」
＞を深く考えるタイプでしょう
その問、数学とは無関係ですね
766:１３２人目の素数さん
19/12/09 17:14:24 /D4DfTh3.net
というかあの対応が数学について深淵に考えてるものだとは思えない。
767:１３２人目の素数さん
19/12/09 17:58:10.51 tY240Yf9.net
ｽﾚﾘﾝｸ(math板:148番)
>IUTスレに、IUTと殆ど無関係なカキコをする キチガイ
ガロア理論どころか正規部分群すら誤解していたのに
臆面もなくガロアと名の付くスレッドを立てた
●違い野郎もいましたねえ
どこで野垂れ死んだことやら・・・
768:１３２人目の素数さん
19/12/09 18:25:00.52 niqYp9hC.net
枝野議員、革マル派とのつながりを指摘される・・・まとめサイトより
これに対し首相は、政府が革マル派活動家が浸透しているとする
ＪＲ総連などから献金を受けていた枝野氏の過去に触れ、
「そのような団体が影響力を行使しているのは由々しき問題だから
当然答弁を求めた」と反論した。
769:１３２人目の素数さん
19/12/09 18:30:05.46 niqYp9hC.net
反天皇制運動連絡会
URLﾘﾝｸ(ja.wikipedia.org)
中核派や革労協などの新左翼党派も共産主義暴力革命の一貫として
反皇室闘争そのものは行うが[2]、反天連は反皇室闘争そのものを主要な活動とし
皇室や靖国神社に関する様々な活動を繰り広げた。
770:１３２人目の素数さん
19/12/09 19:25:01.30 tY240Yf9.net
安倍って暴力団とつながってるんだろ？
URLﾘﾝｸ(biz-journal.jp)
771:１３２人目の素数さん
19/12/09 19:27:45.88 tY240Yf9.net
安倍は統一教会ともつながってる
URLﾘﾝｸ(ja.wikipedia.org)
772:１３２人目の素数さん
19/12/09 19:30:51.16 tY240Yf9.net
ウォール街を占拠せよ
URLﾘﾝｸ(ja.wikipedia.org)
773:１３２人目の素数さん
19/12/09 19:32:21.23 tY240Yf9.net
URLﾘﾝｸ(en.wikipedia.org)
774:１３２人目の素数さん
19/12/10 07:02:22.77 qkMjup3g.net
ｽﾚﾘﾝｸ(math板:148番)
今日も隔離病棟から訳の分からぬ咆哮の声が聞こえる・・・
775:１３２人目の素数さん
19/12/10 08:41:10.59 UefODbHn.net
>>727
GREだと数学では何故か物理専攻のほうが微妙に上だった気がするな
で、言語系セクションは哲学専攻が一番高い。向こうは分析哲学だから
具体的な図形や計算問題などが多いIQテストやGREでは数学の才能は測りきれないだろうけど、
今は物理学者もトポロジーやることが多いし、結構やってることは似るよね
776:１３２人目の素数さん
19/12/10 09:42:29.44 xe5eVYDV.net
>>727
何かそういうデータあるんですか？
777:１３２人目の素数さん
19/12/10 19:34:34.99 qkMjup3g.net
ｽﾚﾘﾝｸ(math板:347番)
>なんで、日本国内でしっかり議論しないんだ
>しっかりと日本数学会で議論を
>日本の数学者はなにやっているんだろう
数学に日本は関係ないよな
望月って半分アメリカ人だし
卒業したのも学位とったのも
アメリカの大学だろ？
なんで日本なんて発展途上国の
しかも京都なんて今や首都でもなんでもない
忘れ去られた小都市の大学にいるんだ？
しかもせっかくの成果を自分とこの大学の雑誌に投稿するとか
なんか胡散臭いよな
ああ、そうそう
「しっかり」ってアホの安倍の常套文句
安倍なんて世襲馬鹿を有難がるヤツも
正真正銘の馬鹿
778:１３２人目の素数さん
19/12/10 20:19:25.66 BH42nSPz.net
IUTスレで安倍w
779:１３２人目の素数さん
19/12/10 21:42:02.68 z+z5UHTd.net
「枝野がいい」とか言ってるバカよりはマシ
780:１３２人目の素数さん
19/12/10 21:47:07 z+z5UHTd.net
IUTなんて全然理解できないくせに、Gスレ1が憎さのあまりこのスレまで来て
暴れてるお前がウザいんだよ。
言ってることはIUTの数学的な問題点じゃなくて、「自分のとこのジャーナルで」
みたいな話しかできないくせして偉そうにするんじゃない。
しかもカマかけてIUTの話を聞き出そうとかして姑息。
政治的には左翼話の押し付け。ホントうざい。
Ｄｒ．Ｇで暴れていたときより劣化している。
781:１３２人目の素数さん
19/12/10 21:58:04.52 0uFfMIYM.net
>>727
荒らしにマジレスするのもナンセンスだが
経済学者のＩＱはそれであってるぞ
そのデータは日本で採ったデータじゃないからな
日本で採ったら医学部のＩＱが一番上くるだろうよ
782:１３２人目の素数さん
19/12/11 01:40:56.09 ohrjKyqF.net
ポジションとＩＱなんて言ってもしょうがないわな
783:１３２人目の素数さん
19/12/11 05:32:18.82 9uhum29h.net
巣へお帰り
784:１３２人目の素数さん
19/12/11 06:15:35.57 9uhum29h.net
>>745
お前もな
785:１３２人目の素数さん
19/12/11 06:26:07.35 8HE/i5uB.net
>>743-744
安倍なんてただの世襲馬鹿だけどな
おまえこそ妄想全開でウザいよ
786:１３２人目の素数さん
19/12/11 06:43:13.18 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:153番)
>ガロアスレ
今や完全にIUT翼賛スレですが
787:１３２人目の素数さん
19/12/11 06:59:43.51 jehBvT8c.net
>>749
お前は気づいてないかもしれないが、「世間のひと」は意外に賢いんだよ。
お前の正体なんてとっくにバレてるんだよ。驚いただろ？
お前なんて受験勉強が得意だっただけのアスペじゃん。
それで全般的に世間一般のひとの知性を上回ってると思い込んでるのが錯覚。
お前がバカと罵倒するGスレ1に勝てないと感じる点があるのもそれが原因。
788:１３２人目の素数さん
19/12/11 07:05:34.72 jehBvT8c.net
こいつはIUTは全然理解できない。「3ページくらい読んだか」
みたいに言ってたひとがいたが、おそらく1ページも読んでない。
それでこのスレで暴れるのが血迷ってる。
得意分野は基礎論。それで、何とか基礎論の話に翻訳してもらえば
何とかなるかもと思って、カマかけて話を訊き出そうとしてたこともバレてるんだよ。
789:１３２人目の素数さん
19/12/11 07:06:13.72 8HE/i5uB.net
>>751
妄想全開乙
◆e.a0E5TtKEは数学の初歩すら分かってないのに
「ガロア理論がー」とか粋がってるのが滑稽
この厚顔無恥ぶりには誰もかないませんよｗ
790:１３２人目の素数さん
19/12/11 07:08:26.69 8HE/i5uB.net
>>752
妄想全開乙
ScholzeとStixも理解できなかった
791:IUTが 私ごとき浅学菲才の者にわかるわけないでしょ あなたも理解してないんでしょ ワカランチン同士仲良くしようぜｗ
792:１３２人目の素数さん
19/12/11 13:57:28.44 PgiGWF+u.net
どうやら動物園に迷い込んでしまったようだ
ブラウザそっとじ
793:１３２人目の素数さん
19/12/11 17:41:40.83 xXShOM+7.net
IUTも落ちぶれたな
794:１３２人目の素数さん
19/12/11 19:36:08.55 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:348番)
>>せっかくの成果を自分とこの大学の雑誌に投稿するとか
>>なんか胡散臭いよな
>まあ、確かに、胡散臭いと思われても仕方ない
だろ？
>なので、査読を透明化した方が良いだろうね
>査読者がきちんと実名を出して・・・
そこまでは必要ない
査読者が「身内」でなければ問題ない
795:１３２人目の素数さん
19/12/11 19:39:07.42 uE0iFf7p.net
今日はSholzeの誕生日。32歳。
796:１３２人目の素数さん
19/12/11 19:39:20.56 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:354番)
>はっきりしてやれよ、日本数学会としてさ
おまえ、日本数学会好きだな（呆）
>（これから勉強ないし研究する方としては、はっきりしないの困るよね）
全然困らない
他人の後追いするヤツなんて自分のアイデアがないカス
797:１３２人目の素数さん
19/12/11 19:39:48.60 uE0iFf7p.net
間違えた。 Scholze。
798:１３２人目の素数さん
19/12/11 21:09:10 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:159番)
妄想全開乙
◆e.a0E5TtKEは実数の定義も分かってないが
線形独立も分かってないんだろうな
799:１３２人目の素数さん
19/12/11 21:21:27.76 8HE/i5uB.net
ｽﾚﾘﾝｸ(math板:359番)-360
なんか見当違いなこといってるな
ペレルマンの論文はarXivで公開されたのであって
どこかの雑誌に投稿されたわけではない
しかも誰も理解できないような摩訶不思議な呪文を唱えたわけではない
トポロジストにはなじみがなくても微分幾何の研究者なら読める