20/04/19 10:06:11.28 UbuHltnc.net
>>558
＞なぜ、異例な記者会見をしたのか？
「ABC予想成功」に基づく科研費を正当化するためか？
＞異例な記者会見をやる以上、RIMS側は絶対の自信があるはず
「日米開戦する以上、日本軍には対米戦に絶対の自信があるはず」
というのと同類の発言かと
実際には、日本はアメリカに惨敗したわけだが
あなた以外の人はこう思う
「異例な記者会見をしたのは、引くに引けなくなったからで
自信があるわけではない」
実際審査過程について聞かれて
玉川が「墓場まで持っていく」と云ったのは
自信の無さの表れ
579:１３２人目の素数さん
20/04/19 10:14:21 XcnDEAz5.net
>>561
証明は正しいと「確信する」んじゃ意味がない、
「確認」するじゃないと。
580:１３２人目の素数さん
20/04/19 10:14:38 UbuHltnc.net
ところで・・・
そもそもABC予想ってどうして思いついたもんなんだ？
あと
ｃ＞rad（abc)＾(1+ε) （ε>0）
となるa,b,cに何か意味があるのか？
581:１３２人目の素数さん
20/04/19 10:18:59 XcnDEAz5.net
>>524
まあ、そんなところ。
だから中央大学出身者でも特許裁判をさばくことができる。
将来、望月たちが、懐疑派の主張を名誉棄損で訴えた時、
IUTは懐疑されてもしかたがないものであるかどうかが中央大学卒によって判断される。
582:１３２人目の素数さん
20/04/19 10:19:30 IYOneXY0.net
>>565
なるほど
おぼさんは胸もでかいしきゃぴきゃぴかわいきから仕方ないか
もし当時のイケイケのおぼさんが近くに来たら、さすがのもっちーも骨抜きにされて怪しげな論文でもOKしちゃうのかな
583:１３２人目の素数さん
20/04/19 10:26:27.59 yMpHhz7D.net
>>571
ABC予想自体は多項式だと似たような結果（多項式ABC定理というのがある）があって、整数でも成り立つんじゃねとなって出てきた
a,b,cの意味は「掛け算」として綺麗な数a,bを「足し算」したc「掛け算」として綺麗な数にはなりにくいということを言ってる
具体的に書くとx^n+y^mはz^lになりにくいてこと
これはなんでかというとc<rad(abc)^εという不等式が成立するにはrad(abc) がそれなりに大きい必要があるけど、a,b,cが全部x^nみたいに表現できてしまうとrad(x^n)=rad(x)なのでとても小さくなってしまう
そんなことは起きないというのがabcの主張、
「掛け算」として綺麗な数a,bを「足し算」したc「掛け算」として綺麗な数にはなりにくい
584:１３２人目の素数さん
20/04/19 10:30:33.44 UbuHltnc.net
>>574
ほほう・・・面白いね
これはやっぱりフェルマー予想を解くための補題として思いついたんだろうか？
585:粋蕎 ◆C2UdlLHDRI
20/04/19 10:31:28 8BOyW/Ba.net
何じゃ生き成り唐突に中央大学がどうした
586:１３２人目の素数さん
20/04/19 10:32:57 UVABXCJs.net
>>570
このレベルの“確認作業”になると、その２つの言葉は、ほぼ同じ認識を表す同義語でしかないと思う
587:１３２人目の素数さん
20/04/19 10:34:10 yMpHhz7D.net
>>575
歴史的にはそうだったらしいね
フェルマーの方が先に解かれてしまったがw
588:１３２人目の素数さん
20/04/19 10:34:40 UbuHltnc.net
「多項式ABC定理」とその証明は、ここにあるヤツだろうか？
URLﾘﾝｸ(paiotunoowari.hatenadiary.jp)
この位なら、数学科の大学３年生なら分かるレベルだろうな
589:１３２人目の素数さん
20/04/19 10:36:46 JKVCGYoP.net
>>577
いやいや
「確信」は「正しいと信じる」
「確認」は「正しいと認める」
数学は下
上はただの宗教
590:１３２人目の素数さん
20/04/19 10:41:34 UVABXCJs.net
会見では「確認」でプライベートで「確信してる」だったと思うけど。
591:１３２人目の素数さん
20/04/19 10:43:14 UVABXCJs.net
>>580
人の認識が不充分な事を自重してだろ。
確信はプライベートでの発言らしいし。
会見では確認じゃなかった？
592:１３２人目の素数さん
20/04/19 10:45:49 PtPTU1R/.net
習熟者ってどういう定義なのかな
593:１３２人目の素数さん
20/04/19 10:47:53 UVABXCJs.net
>>242
草
594:１３２人目の素数さん
20/04/19 11:08:58 Od/h1nST.net
>>584
スルーされたからって自演するなよ
595:１３２人目の素数さん
20/04/19 11:13:53 UbuHltnc.net
あっちのスレッドでは一人で騒いでるけど
情報化時代と関係なく、証明はギャップがあったら無効
PRIMSが捕食雑誌(Predatory journal)並といわれなきゃいいがな
URLﾘﾝｸ(ja.wikipedia.org)
596:１３２人目の素数さん
20/04/19 11:15:18 C4CGwtZu.net
>>562 アホか 論文もコピペ 実験データも捏造 おまけに博士論文もコピペ
の中身からっぽだったんだぞ
597:１３２人目の素数さん
20/04/19 11:17:29 UbuHltnc.net
>>586
過剰に魅力的な電子メールで研究者からの論文投稿を呼び込む出版社を
「オープンアクセス出版の黒い羊」というらしい
黒い羊・・・どっかで聞いたことあるな
URLﾘﾝｸ(www.youtube.com)
598:１３２人目の素数さん
20/04/19 11:20:23 +f0Qyxl5.net
>>583 ホーリーネームみたいなもんだろ。
599:１３２人目の素数さん
20/04/19 11:24:58 PUYN+cm0.net
>>585
ヨ－ゴハジエンチュー！
ノイローゼかよｗ
600:１３２人目の素数さん
20/04/19 11:27:31 PUYN+cm0.net
>>586
細部のギャップは問題にならないから
601:１３２人目の素数さん
20/04/19 11:28:10 Od/h1nST.net
>>590
この単発はどうして>>242が擁護派だと思ったんだろう
ショルツ否定派ではあってもIUT擁護派であることまでは分からないはずだが……
602:１３２人目の素数さん
20/04/19 11:32:19 UbuHltnc.net
数解研における望月は、欅坂における平手みたいなもんなんだろうか？
だとすると、行きつく先は・・・脱退？
ちなみに私は長濱ねる推しですが、何か？
URLﾘﾝｸ(tv.kakao.com)
603:１３２人目の素数さん
20/04/19 11:34:29 PUYN+cm0.net
>>592
ｗｗｗの嘲笑ぶりに見てとれるよ
604:１３２人目の素数さん
20/04/19 11:36:25 PUYN+cm0.net
ｗ４つだったｗ
605:１３２人目の素数さん
20/04/19 11:38:18 PUYN+cm0.net
>>593
そう...(無関心)
606:１３２人目の素数さん
20/04/19 11:40:14 JKVCGYoP.net
この人IUT論文の被害者じゃん
かわいそう
>naf says:
>April 18, 2020 at 2:44 pm
>…
>I myself devoted most of three months way back in 2013 to going through the papers
>and it was a shock, on reaching Corollary 3.12, to realise that nothing is really proved.
>(One might say that this shows my lack of understanding,
>but the point is that Mochizuki himself says that this is the key part of his proof
>and if you see how the proof is written it is clear that there is something seriously wrong here.)
>…
URLﾘﾝｸ(www.math.columbia.edu)
607:１３２人目の素数さん
20/04/19 11:46:29 UbuHltnc.net
>>597
（自動翻訳）
私自身、2013年の3か月前のほとんどの時間を論文の調査に費やしましたが、
何も証明されていないことに気づいたのは、コロラリー3.12に到達したときのショックでした。
（これは私の理解の欠如を示していると言われるかもしれませんが、
要点は望月自身がこれが彼の証明の重要な部分であると言っていることです、
そして証明がどのように書かれているかを見ると、ここに深刻な問題があることは明らかです。）
608:１３２人目の素数さん
20/04/19 11:47:18.07 Od/h1nST.net
証明した風になってるけど出来てないから理解できない
と
自分の能力の欠如で理解できない
の区別が付かないのが根の深い問題だよな
609:１３２人目の素数さん
20/04/19 11:51:49.61 UbuHltnc.net
>>599
＞区別が付かない
そうかな？
単に証明ができてないという指摘に対して
望月が「読者が理解できてない」といって
何の対処もしようとしないだけにもとれるが
610:１３２人目の素数さん
20/04/19 11:52:41.42 JKVCGYoP.net
この人は査読を依頼されたけど断ったらしいな
断るときにリジェクトしたらどうかって提案したらしいけど、PRIMSは無視したのか
>OP says:
>April 18, 2020 at 4:41 pm
>…
>This practical (albeit psychological) concern came to mind almost immediately
>after I was asked early on to be on the referee team for the IUT papers.
>I have great respect for Mochizuki’s mathematical talent,
>and no doubt in the sincerity of his belief that he has a proof of the main result.
>But I could see that the referees would not only have to check the details of an extremely long work
>written in a very obscure style (which didn’t provide insightful reasons for confidence in the approach being used).
>They would also have to engage in a herculean effort to get the writing substantially changed.
>It was too much, so I declined and communicated my concerns to the editorial board.
>(I recommended immediate rejection with a demand that the work be completely rewritten
>before it could be reconsidered.)
>…
URLﾘﾝｸ(www.math.columbia.edu)
611:現代数学の系譜 雑談
20/04/19 11:55:40.54 ijGx7lvx.net
>>569
ID:UbuHltnc＝おサルさ
おまえが書くと、スレのレベルが下がる
おまえ、どっかの数学科修士といっていたけど、もぐりか？
STAPと同じことが、数学の論文で意図してできるとか
査読者及び雑誌の責任者が、意図して、通らない論文を通すとか
「クスリしっかり飲んでくれ」としか言い様のないレベルの発言
数学科修士卒が、そういう発言するかね？
信じれんわ、アホすぎて
（参考）
Inter-universal geometry と ABC 予想 43
ｽﾚﾘﾝｸ(math板:226番)
226 名前：１３２人目の素数さん[sage] 投稿日：2020/04/19(日) 11:04:03.84 ID:UbuHltnc
(抜粋)
＞お前、大学で何しとったんじゃ？
高卒には決して分からないことじゃね？
612:１３２人目の素数さん
20/04/19 11:57:01.98 UbuHltnc.net
>>601
望月が平手だとしたら、星、山下、玉川は、
欅坂のなんとかファイブみたいなもんかな
613:１３２人目の素数さん
20/04/19 11:57:52.75 CUrzraD5.net
>>593
全然違う。平手というのは器でも無いのにソニーの知恵者と秋元に目を付けられて担がれただけだ
歌もダンスも基礎の基盤を持っていないところにいきなり高い水準を要求されてオーバーフローを起こした
適応障害を起こして潰れたのだ
それが数多くのさぼりやドタキャン、故障となって現れた
結局、あのポジションに見合う器では無かった贋物ということだ
614:１３２人目の素数さん
20/04/19 11:59:47.06 UbuHltnc.net
>>602
ん？おサルって誰？
＞「クスリしっかり飲んでくれ」
おなかの調子を整えるためにビオフェルミンは飲んでますが、何か？
615:１３２人目の素数さん
20/04/19 12:03:27.04 jRO6JivO.net
>>604
詳し過ぎる...
616:１３２人目の素数さん
20/04/19 12:04:27.34 jRO6JivO.net
>>604
そんなオタク様はどなた推しですか？
617:１３２人目の素数さん
20/04/19 12:06:18.53 jRO6JivO.net
秘密ですか...
618:１３２人目の素数さん
20/04/19 12:14:12.91 cHHusDtq.net
>>601
あまりにも分かりにくい(obscure)スタイルなので、いったん取り下げてもっと分かりやすくリライトしたらどうですかと進言したと書いてあるな
内容がダメという訳では必ずしもないようだ
619:１３２人目の素数さん
20/04/19 12:15:05.71 jRO6JivO.net
因みに平手さんが仕事を忌避しだしたのは
「ストーカーファンの襲撃を目撃して以来、ファンの中に潜んでいるかも知れないストーカーの影に怯えて、ファンを恐れるよう気持ちを抱えて仕事が苦痛になっていた為」
ってされてますね...
当然でしょうね...
もともと、人見知りの娘には
無理な仕事だったんでしょうね...
容姿端麗で芸能界入りしたんでしょうけど...
ＰＴＳＤやパニック発作でも患ってるんでしょうか
接客業の職業病ですよね
ヤバイ客の襲撃で仕事が苦痛になる・・・
620:１３２人目の素数さん
20/04/19 12:20:41.67 l1llX2xh.net
URLﾘﾝｸ(stacks.math.columbia.edu)
証明ではないけどstacks projectのこの記事が近い例だと感じる
スキームとは何かと言えば、任意の点が、アフィンスキームとなるような開近傍を持つような局所環付き空間であり、
局所環付き空間と言えば任意の構造層の茎が局所環であるような環付き空間であり、
環付き空間と言えば……
といくらでも説明できる
望月の証明はこれが出来ず、分からないのは相手が遠アーベル幾何を知らないからだ、みたいな理由付けをする
621:１３２人目の素数さん
20/04/19 12:22:54.51 JKVCGYoP.net
>>609
内容の成否はともかく、査読を依頼されるレベルの専門家が、この論文を読み解くのは時間の無駄だと思ったってことだよね
どうすんのこれ
622:BLACKX
20/04/19 12:25:24.03 qnt75GLx.net
査読しても次に繋がらないから全て忘れられ一旦リセットされてABC問題に取り組まれる人が出てくるだけやろ
623:粋蕎
20/04/19 12:30:34.84 8BOyW/Ba.net
>>602
こいつに酷似。知らばっくれ常習犯。知らばっくれ癖もβ(>>514-519)と酷似｡
低能サラリーマンking様の弟子と雑談できちゃうスレ [転載禁止]･2ch.net
ｽﾚﾘﾝｸ(math板)
1: king様の弟子♯3571c7h2 2015/09/08(�
624:ﾎ) 20:23:39.08 ID:FUR/ZWNF 修士課程のときに勉強に熱中するあまり、ろくに就活しなかった｡ 今、定年退職まで終わりない地獄にいる気持ちです｡ 数学のことは片時も忘れたことはありません｡ 博士後期課程いってればよかったのかなぁ｡ 今は営業職です｡ 数学に携われる仕事がしたいです｡ 3: ◆UQNvrOejBY 2015/09/08(火) 20:29:11.92 ID:hhzVG5Qb トリップが漏れてるよ 11: １３２人目の素数さん [sage] 2015/09/08(火) 23:22:05.08 ID:C5/qhYMy #と＃と♯の違いな 14: １３２人目の素数さん 2015/09/09(水) 15:38:09.41 ID:48nkhrt2 なんで博士いかなかったの？ 自信なかったとか？ 16: kingの弟子 ◆lP1flIwtOI 2015/09/09(水) 19:22:30.84 ID:MyU9VXM3 > 14 自信はあったよ｡ それなりに勉強してたし、教授からも 今までの中でもすごい優秀と言われたことある｡ だけど、これから3年も教授と一緒にやってけそうになかったし、彼女いたから働いてほしいって話になったから、仕方なく就職する方向にした｡ バカだった｡ 17: kingの弟子 ◆lP1flIwtOI 2015/09/09(水) 19:25:51.67 ID:MyU9VXM3 あわよくば働きながら論文書いて博士課程いこうとか考えてた｡ 新入社員でブラック企業入って、精神状態がずたぼろの状態で勉強なんてできるわけなかった｡
625:BLACKX
20/04/19 12:31:25.93 qnt75GLx.net
実際モッチーの理論を使ってわかる事ってかなり限定的なやり方だからABCならフィットしてるやり方だろうけど(それも限定的な数量しかわからない)例えば完全数とかのフィボナッチの逆数の和とかの未解決問題に応用できないわけで
626:１３２人目の素数さん
20/04/19 12:31:32.00 UbuHltnc.net
>>604
まあ、平手の歌唱力が大したことないのは明らかでしょう
正直 坂系で歌で生きてけるのはこの二人くらいじゃないかな
☆白魔術師
URLﾘﾝｸ(www.youtube.com)
★黒魔術師
URLﾘﾝｸ(www.youtube.com)
627:１３２人目の素数さん
20/04/19 12:37:46 IYOneXY0.net
彼女も目先の利益も捨ててやらないと数学者にはなれないんですね
結婚して家庭を維持し、業績出した数学者はどれほどすごいのでしょうか
628:１３２人目の素数さん
20/04/19 12:43:40 UbuHltnc.net
>>614
全然似てないかな
修士の頃もさほど勉強してなかったし
数学の事はほぼ忘れてるな
大体 一応数学科だけど、やってたのは
代数でも幾何でも解析でもないし
今の仕事はざっくりいえば事務
ま、定年までもう５年だからこのままいくよ
就職したのは正直大学に残るのは無理だと悟ったから
彼女はいたことない つきあうのは面倒臭い
ということであなたの云ってる人ではありません
残念でした
629:粋蕎 ◆C2UdlLHDRI
20/04/19 12:49:12 8BOyW/Ba.net
誰が見てもバレとる事をシレっと知らばっくれる癖じゃの、不定ハンドルじゃったりじゃの､
「e'=e、eは微分しても変わらない不思議な定数」じゃの
「∞＞３、∞は３より大きい」じゃの
既に定義されとるもん(>>514)を「と定義すれば」とか言い出したりじゃの
「偽の仮定は真」の意味が分からなくて15年悩んだ末に「偽の仮定は存在しない」発言じゃの
数学板住人なのに全角英数を多用したりじゃの
数学科なんて嘘っ八じゃコイツ。独学じゃ!!数学板に集まるネット情報かいつまんどるだけじゃ!!
まだ懲りとらんかったんか、king様のβaka弟子！バレとるじゃ!!
オドレが儂のコテハンの由来を Yahoo! Google Bing! どの検索サイトを見ても
頗る下位に来るのをドンピシャリ当てた時からバレとるんじゃ貴様は？数学板にまた何しに戻って来た？
また「数学板住人を煽り」に帰って来たんか？相変わらずじゃなぁ…
630:１３２人目の素数さん
20/04/19 12:55:58 UbuHltnc.net
>>619
妄想狂かな？
＞e'=e、eは微分しても変わらない不思議な定数
いくらなんでもそこまで馬鹿じゃないよ
d(a^x)/dx は l(a)a^x となるけど、l(e)=1ってことでしょ
（実はl(y)は、y=e^xの逆関数となるわけですが）
＞「偽の仮定は真」
それは粗雑な言い方だね
アンチトートロジーを前提とすれば、任意の命題が結論として導ける
というのが正しい言い方だね
対偶をとれば、トートロジーは、どんな命題を前提としても導ける
ま、当たり前だけどね それが何か？
631:粋蕎 ◆C2UdlLHDRI
20/04/19 12:59:03 8BOyW/Ba.net
>>602
安心されい。此奴は数学板歴が長く KingOfUniverse ◆667la1PjK2 に師事しとった関係で
幾らか知ったかが効くだけで、アンタ相手にマウント取るのが精一杯じゃ｡
632:１３２人目の素数さん
20/04/19 12:59:10 UbuHltnc.net
>>619
＞オドレ
正しくは「おのれ」ね ま、方言なんだろうけど
＞儂のコテハンの由来
そんなん知らんよ 「いっきょう」でも「すいきょう」でもどうでもいいよｗ
だいたい蕎麦より饂飩が好きだし やっぱ武蔵野うどんだよねえ
633:１３２人目の素数さん
20/04/19 13:03:39 UbuHltnc.net
>>621
一応数学科卒だからね 工学部卒よりは数学分かってるよ
そうじゃなきゃ大学卒業できないし
ついでにいうと高卒の君よりも全然分かってるよ
残念だったね
で、KingOfUniverse って誰？
Destroyer of the Universeのほうが好きだな
URLﾘﾝｸ(www.youtube.com)
634:粋蕎 ◆C2UdlLHDRI
20/04/19 13:03:49 8BOyW/Ba.net
相っ変わらずキャラ変すれば済むと思っとる様じゃな。ますます king様のβaka弟子 じゃな｡
『ID:lQKSp/GA』の『犯罪者呼ばわり』の根拠の『妄想出鱈目出任せ大法螺吹きな大嘘』、成立済み
635:１３２人目の素数さん
20/04/19 13:06:00 UbuHltnc.net
>>624
なんか妄想が酷いようだね・・・クスリ飲んだら？
636:粋蕎 ◆C2UdlLHDRI
20/04/19 13:08:26 8BOyW/Ba.net
バカじゃ
> だいたい蕎麦より饂飩が好きだし やっぱ武蔵野うどんだよねえ
言わんでええ事を言う癖は直っとらん様じゃな｡
637:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 13:08:39 ijGx7lvx.net
>>613
>査読しても次に繋がらないから全て忘れられ一旦リセットされてABC問題に取り組まれる人が出てくるだけやろ
多分、そうならない
「全て忘れられ一旦リセットされて」と出来ないから
海外の数学者は、いらいらで、ストレスたまっていると思う
つまり、IUTのシロクロを早くしろってこと
IUTがグレーで、「全て忘れられ一旦リセットされて」と考えて
例えば、海外DRコースの人が、ABC予想に全く別のアプローチを研究したとしても
それに成功したとき、初めてのABC証明と認められるか、二番煎じとなるか？
もし、その人のDR論文が成功しても、あとからグレーだったIUTがシロと判明すると
二番煎じとしかならない。これは、DR論文のテーマ選択にとって大きな問題です
それと、IUTが使えるか使えないか？
IUTが使えそうなテーマ（ＡＢＣ以外）があったとして
それを、DR論文のテーマ選択に選ぶかどうか？（一般の研究テーマ選定も同じ）
そういうことにも影響してくるとので、「ちゃんと説明してくれ」って話になると思うよ
注）
正確には、いまのIUTでは弱いABC予想しか解決できないという
強い版は、南出が用意中とアナウンスされている
638:１３２人目の素数さん
20/04/19 13:13:11 I4YEALgo.net
>>612
グロタンディークの何千ページが、それ以前の近しいと見なされた分野の適当な学者にどーんと届いたとする
「何だこれ もう少し整理できないのか 半年以上はかけて熟読精査して、俺様の今のありていの研究の役に立つという保証はあるのか」「というわけでもっと短くできないのかときつく言っておきました エヘン」
我輩の辞書に学問に王道なし、元は幾何学に王道なし、数論幾何学に王道なしという文字はなぜかない
当たり前の想像もできないバカまるだしのおまえどうすんの どうすんの
639:１３２人目の素数さん
20/04/19 13:15:12 UbuHltnc.net
Jan Bergstra オランダの計算機科学者だね
オランダは証明系に関してはAUTOMATH以来の長い伝統があるんだよ
de Bruijnはその筋ではいろいろ有名だよね
名前、正しく読めるかな
640:粋蕎 ◆C2UdlLHDRI
20/04/19 13:16:39 8BOyW/Ba.net
Inter-universal geometry と ABC 予想 46
ｽﾚﾘﾝｸ(math板)
254:１３２人目の素数さん 2020/04/05(日) 12:38:28.42 ID:NkAq1xzA
> 229
『まったくゼロからの論理学』岩波書店
の話だその新書の話ではない
内容を読めばわかるが通常の形式論理学で使われている用語
演繹，前提，仮定，含意，条件法
について革新的なことが書いてある
俺は野矢のいう条件法で数学を諦めていたのだが
偽の仮定という言葉がないことを知って再開することができた
だから薦めている
因みに新書の話だが
たとえば全称命題における
数学的帰納法ですべての自然数nに対して
n=1の場合を取り出すことは不能であると考えるので
可能無限派に属するとは思う
それだから
∃n,k∈N
n_1=1
n_k=k
n_k+1=k+1
という記法になってしまう
268:１３２人目の素数さん 2020/04/05(日) 13:08:22.39 ID:NkAq1xzA
> 267
何だよ本当の意味ってｗ
おしえてｗ
Inter-universal geometry と ABC予想 50
ｽﾚﾘﾝｸ(math板)
193:１３２人目の素数さん 2020/04/16(木) 18:44:19.59 ID:bZJm30cd
＞＞178
のおっしゃる爆発則っていうんですか？も仮に「数学」の仲間に入れたとしたら､
その数学は役に立たない数学のグループに属する数学と言えるということをいいたかった
んです｡
役に立つ数学は、トートロジーを含まない公理系だけなんでしょうか？
これも形而上学的で証明できないと思うんですよね｡
役立つ数学と役立たない数学の仕分けは､
それなら結局、自然法則かアルゴリズムの記述に役立ち得るかどうかという
経験則で語るしかなくて、具体的にはトートロジーを内部に含まない数学
と役に立つ数学は一致するということを公理にしちゃえばいいのでしょうか？
実際、トートロジーがない数学＝正しい数学＝役立つ数学
というのは誰も証明できないけどだれもが直感してることなんですよね｡
哲学的も数学も素人なのでよくわからないのですが｡
ちなみにいま「意中と宇宙をつなぐ数学」読んでる最中です｡
641:１３２人目の素数さん
20/04/19 13:21:30 uMwLCcbW.net
>>558
「異例な記者会見をやる以上、RIMS側は絶対の自信があるはず」
君は全然流れがわかってないな～
「IUTで言えば、ショルツ先生は法定外の人」
法定外のわかないでしょ
642:１３２人目の素数さん
20/04/19 13:23:42 jRO6JivO.net
>>618
＞彼女はいたことない
Ｍ氏。。。？
643:１３２人目の素数さん
20/04/19 13:30:14 jRO6JivO.net
>>619
全角文字使用は…
(恐らく日本の平均年齢の上昇に伴って…)
５ちゃん利用者の年齢層が上昇してると考えられるから、視力が低下してる人が増えてると想定して対応してる、ってのはありますね…
644:１３２人目の素数さん
20/04/19 13:39:18 jRO6JivO.net
>>628
これです
645:１３２人目の素数さん
20/04/19 13:39:42 l1llX2xh.net
視力というか老眼だね……
646:１３２人目の素数さん
20/04/19 13:40:53 6uTLkXH+.net
おデートもしたことないとしたらちょっとフビンかも
彼女や妻はこちらの言い分あちらの言い分あり面倒かもしれんがおデート自体はなかなか楽しいものだ
647:１３２人目の素数さん
20/04/19 13:43:20 jRO6JivO.net
>>635
白内障、緑内障、網膜剥離、飛蚊症、黄斑変性症、、、
目の老化現象ですね
648:１３２人目の素数さん
20/04/19 13:47:30 jRO6JivO.net
>>636
ちょっと処じゃ無いと思います。。。
。。。もう帰って来ない。。。
～たった一時期だけの青春～
彼女もデートも知らずに
数学だけで人生終わっちゃうのか。。。？
もっちー。。。可哀想過ぎ。。。(;;)
649:１３２人目の素数さん
20/04/19 13:59:02 91JQQkoh.net
>>579
整数と多項式の類似って整数論・数論幾何の大テーマだよね。
なので、証明が正しければ、本来どんどん応用され広がっていくはずのもの
にもかかわらずそうならないのはすでにおかしい。
650:粋蕎 ◆C2UdlLHDRI
20/04/19 14:02:29 8BOyW/Ba.net
どんなに上手に隠れても
腐った性根が見えてるよ
だんだん誰が見っかった
Inter-universal geometry と ABC 予想 43
ｽﾚﾘﾝｸ(math板)
226:１３２人目の素数さん 2020/04/19(日) 11:04:03.84 ID:UbuHltnc
> 225
lim[n→∞](1+x/n)^{(n/x)*x}
=lim[n/x→∞](1+x/n)^{(n/x)*x}
=lim[h→∞](1+1/h)^(h*x) (∵ h=n/x)
=e^x
xが実数の場合はいいが、複素数の場合は駄目だね
＞お前、大学で何しとったんじゃ？
高卒には決して分からないことじゃね？
651:１３２人目の素数さん
20/04/19 14:05:55 JKVCGYoP.net
>>628
何が言いたいのかわからないが、OPはこう続けている
>I am very sorry to see all these years later that neither the referees who were eventually obtained
>nor the editorial board obtained any real improvement on the clarity of the way the material is presented,
>not even at least an Introduction presenting key new insights in some conventional manner
>(to compensate for the way the technical material is presented).
少なくとも編集委員会は彼にIUTの"key new insights"を説明することができなかったんだよ
652:１３２人目の素数さん
20/04/19 14:11:09 uMwLCcbW.net
科学の論文は、
? 反証可能性が残されるように、開かれていなければならない
その上で
?反証が存在しないことが示される
こうして初めて正しいものと認められる
数学でいうと、?論理展開が追える（勉強不足や長いから追えないというのは除いて）
?矛盾がない、反例がない
しかし、IUTは、?を満たしていないから、誰も?まで進めない
ショルツ氏は、?を満たしていないとクレームし、同時に、?を示そうとしてしまった
望月氏側は、ショルツ氏が?を示したことに対し、?で書かれているんだから、よく読め
という
結局、まず、もう一度?からやり直すべきではないか
653:１３２人目の素数さん
20/04/19 14:22:30 jRO6JivO.net
>>642
＞反証が存在しない事を示す
無理では？
反証が存在する事を示すしか無いのでは？
654:１３２人目の素数さん
20/04/19 14:23:21 jRO6JivO.net
＞反証が存在しない事を示す
不可能ちっくｗ
655:１３２人目の素数さん
20/04/19 14:23:27 F4sLKV96.net
数学は科学ではないけどな
656:１３２人目の素数さん
20/04/19 14:24:06 jRO6JivO.net
ウケたｗ
657:１３２人目の素数さん
20/04/19 14:26:16.21 jRO6JivO.net
もしかして私は今、人類に新たなる叡智を授ける神の降臨を見たのでしょうか...
w
658:１３２人目の素数さん
20/04/19 14:28:28.77 l1llX2xh.net
>>645
「数学は科学ではないと考える人が存在する」であれば真だね
すべての人に対して……、であれば偽だ
659:１３２人目の素数さん
20/04/19 14:33:22.58 F4sLKV96.net
分類上数学は科学ではないということ
「直角三角形を三角形でないと考える人が存在する」という主張は正しいだろうが
分類上直角三角形は三角形
660:粋蕎
20/04/19 14:43:00.57 8BOyW/Ba.net
社会科学
数理科学
Ph.Dの意味由来
661:１３２人目の素数さん
20/04/19 14:45:50 uMwLCcbW.net
>>643
数学の場合だと、証明の論理に矛盾が
なければ、反証はないでしょう
（というか、そんな簡単なことも理解できない？）
662:１３２人目の素数さん
20/04/19 14:47:51 l1llX2xh.net
>>649
三角形や直角三角形の定義に関して同意が取れてれば、その中のすべての人を取っても真だろうね
科学の分類とやらは同意が取れているのかい？
663:１３２人目の素数さん
20/04/19 14:47:59 jRO6JivO.net
>>651
それアンチに言ってｗ
ブーメランｗｗｗ
664:１３２人目の素数さん
20/04/19 14:48:54 jRO6JivO.net
アンチウケるｗｗｗ
665:１３２人目の素数さん
20/04/19 14:53:40.75 jRO6JivO.net
理解出来ないのに・・・
「ギャップを確信」ってネットに書き込んじゃう“脅威の異能の持ち主達”が跋扈するｗわりには・・・
査読者のプライベートでの研究者仲間への「確信している」発言に過剰反応しちゃったりｗ
666:１３２人目の素数さん
20/04/19 14:56:02.86 UbuHltnc.net
某スレッドにて
＞説明の何百ページの文書はいらないんだ
＞ただ、「国際会議でちゃんと説明するから」くらいでいいんだ
説明は十分かどうか決めるのは、説明する側でなく説明される側
こういう基本的なことが分からない会社員は…無能だよね
667:１３２人目の素数さん
20/04/19 14:56:39.34 jRO6JivO.net
アンチの方達の中に少なからず目撃する融通無碍な脅異の能力には・・・
日々驚きを持って感嘆致しておりますｗ
668:１３２人目の素数さん
20/04/19 14:59:00.14 uMwLCcbW.net
まあ要するに、まずIUT論文は、すくなくとも数論幾何学の分野の人に
わかるように書き直さないと、論文になっていないのではないか、ということです
669:１３２人目の素数さん
20/04/19 15:01:49.15 UbuHltnc.net
>>642
＞①反証可能性が残されるように、開かれていなければならない
＞②反証が存在しないことが示される
数学の場合
①主張したい命題が論理式として記載可能
②主張したい命題の否定から矛盾が導かれることを示す（これが証明）
①は実際に書く必要はないが、論理式で書けると読者が認識できる必要がある
②は背理法の形で書いたが、証明は別に背理法でなくてよい
（どんな証明も背理法の形に直せるから）
670:粋蕎
20/04/19 15:06:49.32 8BOyW/Ba.net
>>655
アンタは何を主張したい？何となくは分かるが
アンタの『意思』も知りたいんで『明言』して頂きたい｡
『IUTは正しく、ショルツ初めアンチは無能』、其う言いたいんか？
671:１３２人目の素数さん
20/04/19 15:10:22.30 uMwLCcbW.net
そうですね
つまり作法として、「”できるだけ”多くの人に反証をあげてもらいやすいように、
論理を丁寧に書いて」
それでも、なおかつ反証がない、論理的に矛盾がない
ことを第三者たちが確認することによって、はじめて正しい証明とみとめられる、
そういうものではないか、ということです
672:１３２人目の素数さん
20/04/19 15:18:17.06 JKVCGYoP.net
京都の人や関係者には理解できるけど部外者には理解できないってことは、論文に書いていないコツがあるんだろ
それを教えて欲しい
673:粋蕎
20/04/19 15:18:59.65 8BOyW/Ba.net
>>661
言いたい事は分かったが
> 『IUTは正しく、ショルツ初めアンチは無能』
と言いたいのか否かに関しては？
674:１３２人目の素数さん
20/04/19 15:20:01.71 SEKUrtAT.net
>>660
自分はどう頑張っても今更ＩＵＴＴを理解出来るわけ無いです。
ショルツ教授の仰ってる意味も掴めないですね。
だだ(「詐欺」だの「犯罪」だの「有罪」だの攻撃的な強いワードをネットに出せるからには当然それなりの確証があるはずだし、それなら５ちゃんではなくＲＩＭＳ関係者に直接指摘するべき)
って考えてるだけです。
675:１３２人目の素数さん
20/04/19 15:20:57.22 uMwLCcbW.net
ここでいう第三者はもちろん査読者だけのことではなくて、この場合は数論幾何学（
特にp進体上なんでしょうか、詳しくは知りませんが）の分野の方々ということになります
ここで一人でも、こことここがわからない、といわれればそこを書き直し、説明しなおす
ことが必要ですし、逆に、この方々から一人も異議がでなければ、
まず、認められた、ということになるのだと思います
676:１３２人目の素数さん
20/04/19 15:22:12.36 SEKUrtAT.net
>>660
ＩＤ変わりましたが>>655です
677:１３２人目の素数さん
20/04/19 15:22:21.81 5yNz6DNQ.net
望月さんもまだ何も終わってなかったか
678:１３２人目の素数さん
20/04/19 15:26:17.32 uMwLCcbW.net
しかし、個人的な印象としては、発表から８年もたっており、その間、指摘があったにも
かかわらず、状況が変わっていないことから察すると、証明はうまくいっていない
のではないか、とは思います
679:BLACKX
20/04/19 15:26:20.04 qnt75GLx.net
>>667
始まってすらないじゃん
例えるなら料理のいろはを教える時に料理とは二足歩行の者が行う行為だみたいな事言って、反論は無いけどだから？みたいな料理について言及しろよって段階
680:１３２人目の素数さん
20/04/19 15:26:31.44 UbuHltnc.net
>>662
＞論文に書いていないコツがあるんだろ
ＳＴＡＰ細胞かｗ
681:粋蕎
20/04/19 15:30:31.25 8BOyW/Ba.net
ああ、猿な一石、king様の弟子ことβに対する皮肉か
682:現代数学の系譜 雑談
20/04/19 15:59:18.84 ijGx7lvx.net
>>641-642
(引用開始)
科学の論文は、
① 反証可能性が残されるように、開かれていなければならない
その上で
②反証が存在しないことが示される
こうして初めて正しいものと認められる
(引用終り)
同意
(引用開始)
しかし、IUTは、①を満たしていないから、誰も②まで進めない
ショルツ氏は、①を満たしていないとクレームし、同時に、②を示そうとしてしまった
望月氏側は、ショルツ氏が②を示したことに対し、①で書かれているんだから、よく読め
という
結局、まず、もう一度①からやり直すべきではないか
(引用終り)
同意同意
但し、②が成立っているとして
あと、だれか登山のK2に例えていたけれども
富士山でいえば、5合目からをスタートにするのか、7合目からスタートにするのか
望月氏側は、7合目（遠アーベル幾何）からスタートからしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
あと、ショルツ氏の力点は、”②を示そう”の方。ショルツ氏は、自分なりにCor 3.12までは読んだつもりで、自分なりの理解では、「π1(ｘ)が無意味になるからIUT全体がダメだ」と主張している
そこは、OP氏の主張とちょっとズレがある
で、実は”②を示そう”自分なりの理解では、「π1(ｘ)が無意味になるからIUT全体がダメ」が決定的に大きい
”②反証が存在しない”が真ならば、5合目から7合目の話を補って、あと、分り易い解説をつければ良い
（過去に、数学ではそういう例は沢山ある）
683:現代数学の系譜 雑談
20/04/19 16:01:00.16 ijGx7lvx.net
>>672 タイポ訂正
望月氏側は、7合目（遠アーベル幾何）からスタートからしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
↓
望月氏側は、7合目（遠アーベル幾何）からスタートしているんだ。あなたの指摘の間違いは、5合目から7合目の話だ（学部からマスターレベルだと）いう
684:１３２人目の素数さん
20/04/19 16:03:07.84 NeHBk0JD.net
数学的には正しい可能性は有っても物理学的にはまあ間違ってる
なのに物理学的な正しさを全面に押し出してる
宇宙際なんて概念は数学の中でしかあり得んて
別の宇宙なんて無いし、有ったと仮定しても相互関係も無い、全く関係無い
おっさんSFの見過ぎ
685:１３２人目の素数さん
20/04/19 16:08:55.86 NeHBk0JD.net
いや、宇宙際をどう定義するかによる
別の宇宙ではなく別の次元との相互関係
次元際なら上手く行くかもね
686:現代数学の系譜 雑談
20/04/19 16:11:24.40 ijGx7lvx.net
>>672 補足
>あと、だれか登山のK2に例えていたけれども
>富士山でいえば、5合目からをスタートにするのか、7合目からスタートにするのか
現代数学があまりにも巨大化専門家しすぎて
登山のK2みたく、ふつうには殆ど上れない
だけど、それなりに装備をして、酸素ボンベも用意してとやれば
ヒマラヤなみ（日本の三浦雄一郎 80歳ギネス）に、かなりの人は到達できるでしょ
論文は、教科書じゃない
論文が万人が読めなくてもしかたない（5合目スタートにしたら、あと何百ページか書かないといけないかも。それは、お互い、つまり真のプロにも迷惑（分かっていることを延々書いてあるみたいな））
IUTが真に価値ある論文なら
解説書でるでしょ
687:現代数学の系譜 雑談
20/04/19 16:16:51.71 ijGx7lvx.net
>>674-675
>宇宙際なんて概念は数学の中でしかあり得んて
物理にも、パラレルワールド説はあるけど
ネーミングが懲りすぎというのは同意
宇宙際とか、ホッジシアターだっけ？ なんだかなーｗ（＾＾；
”欅坂受け”ねらいかも（＾＾
>次元際なら上手く行くかもね
いまでも、なんで”宇宙”？と思うわｗ（＾＾
でも、RIMSももう一頑張りでしょう！（＾＾
688:１３２人目の素数さん
20/04/19 16:19:22.32 UbuHltnc.net
>>672
ショルツの指摘が成立しなくても、望月の論文は①を満たしてないから無意味だけどな
つまり望月はそもそも山に登ってない 山に登るところから始めよう
689:１３２人目の素数さん
20/04/19 16:22:09.00 UbuHltnc.net
>>676-677
あなたなんでそんなに必死なの？
690:１３２人目の素数さん
20/04/19 16:23:38.14 NeHBk0JD.net
次元際はヒッグス場そのものと言える
別次元への出口がエナジーの減衰で
この次元への入口はエナジーを保持する力
691:１３２人目の素数さん
20/04/19 16:24:46.86 UbuHltnc.net
日本人だからって望月を無条件に支援する理由にはならないよね
むしろ今回の京大数理解析研の措置は日本人として恥ずかしいよね
いかにも内輪の都合で無理矢理アクセプトしたみたいでさ
そういう恥ずかしい真似してほしくなかったよ
692:１３２人目の素数さん
20/04/19 16:28:56.54 UbuHltnc.net
>>677
＞いまでも、なんで”宇宙”？と思うわ
宇宙って数学用語、知らないんだね
URLﾘﾝｸ(ja.wikipedia.org)
693:現代数学の系譜 雑談
20/04/19 16:33:50.39 ijGx7lvx.net
>>677
>物理にも、パラレルワールド説はあるけど
スレチだが、行きがかりで、下記貼る
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
パラレルワールドは実在するか
パラレルワールドはSFでよく知られた概念であるだけでなく、実際に物理学の世界でも理論的な可能性が語られている。例えば、量子力学の多世界解釈や、宇宙論の「ベビーユニバース」仮説などである。
URLﾘﾝｸ(ja.wikipedia.org)
多元宇宙論（たげんうちゅうろん、英: multiverse）とは、複数の宇宙の存在を仮定した理論物理学による論説である。物理的に観測不可能な様々な事象を数学や物理学を元に理論構築し、既知の観測や観察とともに予想された物理理論の一つである。
1.3 多世界解釈
1.4 多次元によるもの
1.5 万物理論の自由性によるもの
多世界解釈
量子力学の解釈の一つで波動関数の収縮を想定せず、すべての解に対応した世界があるとするもの。
多次元によるもの
我々が住む宇宙は無限ないし多くの次元を持つバルク（空間）に浮かぶたったの三次元のブレイン（膜）であるとするもの。当然、バルク内に複数のブレインがあることが許容される。
万物理論の自由性によるもの
万物理論が（どんな形をとるのかは別として）存在し、そこに何らかの物理定数が含まれる場合、なぜ物理定数は他の値ではいけなかったのかという疑問が生ずる。一番簡単な説明は有りうる値すべての宇宙が実在し、たまたま我々の宇宙ではその値であり、そうでなければ我々は生まれなかった、という人間原理によるものである。
694:現代数学の系譜 雑談
20/04/19 16:36:39.59 ijGx7lvx.net
>>682
>宇宙って数学用語、知らないんだね
>URLﾘﾝｸ(ja.wikipedia.org)
IUT読んだ？
そのwikipediaの”宇宙”の定義が
いまのIUTに当てはまっているか？
おれは、厳密には違うと思うよ
単なる用語の濫用ならぬ、”乱用”の方と思うぜｗｗ（＾＾；
695:粋蕎
20/04/19 16:37:41.80 8BOyW/Ba.net
グロたん宇宙は良いが、こっちは貼らんのか？
宇宙 (数学) - Wikipedia
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
696:１３２人目の素数さん
20/04/19 16:46:21.19 JKVCGYoP.net
今さら名称の話？
full poly-isomorphismとかは確かに宇宙っぽい考え方なんじゃないの
知らんけど
697:１３２人目の素数さん
20/04/19 16:51:33 UbuHltnc.net
>>684
正規部分群の定義も誤読した人が何言ってるんだろう
＞単なる用語の濫用ならぬ、”乱用”の方と思うぜ
そんなこという人がなんで望月は正しい！と言い張るのか分からん
本当は望月の論文は無意味と思ってるんでしょ？
698:１３２人目の素数さん
20/04/19 17:00:47 UbuHltnc.net
◆e.a0E5TtKEの態度は
「どうも望月の論文はまったく証明の体をなしてないらしいが
いまさらそんなことを認めたら日本国の恥だから
徹底的に隠し通して誤魔化そう」
というふうにしか見えない
◆e.a0E5TtKEは「間違うことが恥」と思ってるらしいが
間違うことは全然恥じゃない。
むしろ間違いに気づきながらをれを認めず隠し通して
体面を保とうすることこそよほど恥ずかしい
699:１３２人目の素数さん
20/04/19 17:01:56 mrf31oDM.net
>>562
それはオボちゃん一派でしょｗ
700:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:10:48 ijGx7lvx.net
>>684 補足
IUTの「宇宙」”universes”:
"of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
- that we refer to as inter-universal. "
って、「宇宙」は、厳密には 大げさすぎる気がする（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
Introduction
P21
§I3. Basepoints and Inter-universality
In particular, the only data that can be considered in relating ´etale fundamental groups on either side of a filter is the ´etale-like structure constituted by the underlying abstract topological group associated to such an ´etale fundamental group,
i.e., devoid of any auxiliary data arising from the construction of the group “as an ´etale fundamental group associated to a basepoint determined by a geometric point of a scheme”.
It is this fundamental aspect of the theory of the present series of papers - i.e.,
of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
- that we refer to as inter-universal.
This inter-universal aspect of the theory manifestly leads to the issue of considering the extent to which one can understand various ring/scheme structures by considering only the underlying abstract topological group of some´etale fundamental group arising from such a ring/scheme structure
- i.e., in other words, of considering the absolute anabelian geometry
[cf. the Introductions to [AbsTopI], [AbsTopII], [AbsTopIII]] of the rings/schemes under consideration.
つづく
701:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:18:56 ijGx7lvx.net
>>690 追加
つづき
また下記
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
[なお、この用語はカテゴリー理論の標準用語とは異なるが、今回の一連の論文の理論の文脈では当然のことであろう]
まあ、こういうところ、「独善」と紙一重だろうね～（OP氏がいうのはこういうところかも） ｗ（＾＾；
なお、
”an “isomorphism C→D” is precisely an “isomorphism in the usual sense”of the [1-]category constituted by the coarsification of the 2-category of
702: all small 1-categories relative to a suitable universe with respect to which C and D are small.” で 「relative to a suitable universe」も、当初の”universe”定義による用語の使い方として、整合しているのかどうかだね～？（＾＾； （先のは、集合論の”universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter”だったのにね。まあ、重箱の隅とは思うが ） P33 Section 0: Notations and Conventions Monoids and Categories: We shall refer to an isomorphic copy of some object as an isomorph of the object. If C and D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D. [Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.] Thus, from the point of view of “coarsifications of 2-categories of 1-categories” [cf. [FrdI], Appendix, Definition A.1, (ii)], an “isomorphism C→D” is precisely an “isomorphism in the usual sense”of the [1-]category constituted by the coarsification of the 2-category of all small 1-categories relative to a suitable universe with respect to which C and D are small. (引用終り) 以上
703:１３２人目の素数さん
20/04/19 17:30:12 UbuHltnc.net
>>690
set-theoretic universesって書いてあるじゃん
集合論の宇宙、知らないんだね
URLﾘﾝｸ(ja.wikipedia.org)
704:１３２人目の素数さん
20/04/19 17:49:39 N24RGaNy.net
>>689
仮にも専門家集団のなかから「派」と言える勢力が出てきた時点で単純詐欺では無いと言ってるようなものだ
それなりの理由があるから支持者が現れたんだよ
ノーベル賞候補とも言われた笹井氏が推したのにも理由がある
おまえらは矮小化し過ぎなんだよ
705:１３２人目の素数さん
20/04/19 17:50:41 N24RGaNy.net
>>690
単なる無知から来ている決め付け
706:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:55:27 ijGx7lvx.net
>>692
wikipediaを引用するなら、>>685の粋蕎 さんの引用（下記）が適当だろう
下記では、1)ベン図のU、2)通常の数学の例えばSN、3)集合論のフォン・ノイマン宇宙 V、4)圏論のグロタンディーク宇宙
と、４つ解説されている
では、望月IUTの「宇宙」とは？ まさか、ベン図のUとか下記SNではない
集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？
”INTER-UNIVERSAL”だから、最低2つ宇宙がいるけど、どれとどれだい？？ｗ（＾＾；
（参考）
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
(抜粋)
集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
ある特定の文脈において
おそらく最も単純なバージョンは、研究対象が特定の集合で閉じている限り、任意の集合が宇宙であるというものである。
これは1870年代から1880年代にかけてゲオルク・カントールが実解析の応用として、初の現代的な集合論と濃度の開発に用いた宇宙である。
カントールが当時興味を持っていた集合は、R の部分集合だった。
この宇宙の概念はベン図の使用に反映されている。 ベン図において、作用は伝統的に宇宙 U を表す大きな四角形の内部に生じる。
一般的に集合が U の部分集合であれば、それは円によって表現される。
通常の数学
物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。これはしばしば通常の数学の宇宙であると考えられる。通常研究される数学のすべてはこの宇宙の要素を参照していると考えるということである。例えば、普通の実数の構成（デデキントの切断）はどれも SN に属している。超準解析も自然数の超準モデル上の上部構造において行うことができる。
宇宙が関心のある任意の集合 U であった前節からの哲学のわずかな転換に注意しよう。研究される集合は、前節では宇宙の部分集合であったが、本節では宇宙の要素である。
つづく
707:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 17:55:51 ijGx7lvx.net
>>695
つづき
集合論
SNは通常の数学の宇宙であるという主張に正確な意味を与えることは可能である。すなわち、それはツェルメロ集合論のモデルである。
置換公理は、ツェルメロ＝フレンケル集合論を形成するように1922年にツェルメロ集合論に付加された。この公理集合は今日最も広く受け入れられている。そのため、通常の数学がSNにおいてなされるのに対し、SNの議論は"通常の"数学を越えてメタ数学の領域となる。
任意の 順序数 i に対して Vi を定義する。 Vi のすべての和集合は次のようにフォン・ノイマン宇宙 V となる。
到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(引用終り)
以上
708:１３２人目の素数さん
20/04/19 17:58:49 UbuHltnc.net
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.
“宇宙替え” は大事ですが, 数学基礎論的・論理学的に
非自明な操作により証明をしているのではなく,
証明の本質的な数学的道具はやはり遠アーベル幾何的再構成アルゴリズムたちにあります
709:１３２人目の素数さん
20/04/19 18:01:36 vQlbFnVo.net
>>604
もっちー降臨？！
710:１３２人目の素数さん
20/04/19 18:03:25 UbuHltnc.net
>>697の続き
Q2. じゃあ, 宇宙を取り替えるってどういう意味？
A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです.
一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません.
一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています.
厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
また, その新しい幾何学ではそこから生じる不定性を統制する
・剛性 (rigidity) で抑える
・(1 の冪根の p 進 log をとると 0 になる等の) 適当な操作で消す
・(不定性のため像がはっきりしないがある入れ物には入っていることは分かるなどにより) 見積もること
などや, ある不定性と他の不定性が連動している (synchronize) ことを用いることなどが大事になってきます.
それにはそもそも不定性の存在に気付かないといけないわけですが, 不定性の存在を明確に意識するのにも役に立つ考え方です.
“その新しい幾何学” と書きましたが, 従来の幾何学では (多項式写像であれ連続写像であれ可微分写像であれ)
環構造と整合的な射 (環付きトポスの射) を考えるのが幾何学であるという視点に立つならば,
それは幾何学という枠組みすら超えているかもしれません.
711:１３２人目の素数さん
20/04/19 18:09:11 IvVUctq/.net
>>698
え…うそ…
712:１３２人目の素数さん
20/04/19 18:09:47 UbuHltnc.net
＞望月IUTの「宇宙」とは？
＞集合論のフォン・ノイマン宇宙？ 圏論のグロタンディーク宇宙？
グロタンディーク宇宙だろ 山下剛もそう書いてるけど
で、グロタンディーク宇宙は、フォンノイマン宇宙と無関係ではない
Vkでｋが強到達可能基数ならば、グロタンディーク宇宙
713:１３２人目の素数さん
20/04/19 18:13:37 UbuHltnc.net
>>698
>>604は平手信者以外の一般のアイドル好きの見解 大した話じゃないな
ついでにいうと
「SU-METAL？ありゃ声がデカいだけだろ？」
とかいうとメイト(BABYMETALのファン）に張り倒される
714:１３２人目の素数さん
20/04/19 18:18:52 UbuHltnc.net
どうもIUTの神髄は宇宙を取り換えるとかいう見かけの部分ではなくて
宇宙を取り換えることによって生ずる「不定性」の統制らしいが
これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
715:１３２人目の素数さん
20/04/19 18:28:47 UbuHltnc.net
>>703
誤 これは正直、圏論とは全然別の話から、それこそ丁寧な説明が必要だろう
正 これは正直、圏論とは全然別の話だから、それこそ丁寧な説明が必要だろう
716:１３２人目の素数さん
20/04/19 18:36:09 Aiu1KqVk.net
そもそも望月や文元などは集合論が分からないから宇宙の意味を議論してもしょうがない
717:１３２人目の素数さん
20/04/19 18:50:09.67 YBBEAUTj.net
>>705
素数論て集合論じゃないの？？
718:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 19:10:54 ijGx7lvx.net
>>697
>Q1. 宇宙を取り替える, って数学基礎論的・論理学的に非自明な操作をしているの？
>A1. 望月さんの宇宙際 Teichm¨uller 理論の論文において
>数学基礎論的・論理学的に非自明な操作をしているとは
>山下は (少なくとも現時点では) 思っていません.
"非自明な"とか、関係ない説明だよね。質問者の"非自明” or "自明”の定義を
回答者の山下氏自身が、まず定義説明しないと
「数学基礎論的・論理学的に非自明な操作をしているとは
山下は (少なくとも現時点では) 思っていません.」
って、どういう意味だ？ 意味分かって引用しているか？
分かっているというなら、その意味解説してみろｗ（＾＾；
>>699
>Q2. じゃあ, 宇宙を取り替えるってどういう意味？
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
それならば、「宇宙」ではなく
inter-ring で良いんじゃない？
>厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
>数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
説明になってない
「1 つの Grothendieck 宇宙の中で考えて」？ Grothendieck 宇宙が 2つ3つあるのか？
>その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
なら、inter-scheme logic が素直だろ？
>>701
>グロタンディーク宇宙だろ 山下剛もそう書いてるけど
上記の通り、 Grothendieck 宇宙が 2つ3つあるのか？
Grothendieck 宇宙は、1つだろ？ 同型を除いて一意かもしれないがね
719:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 19:14:49 ijGx7lvx.net
>>707 補足訂正
>A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
inter-ring で良いんじゃない？
↓
inter-ring structureで良いんじゃない？
かな？（＾＾；
720:１３２人目の素数さん
20/04/19 20:07:10.15 UbuHltnc.net
>>707
これは酷い・・・
＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
＞なら、inter-scheme logic が素直だろ？
論をlogicって訳す馬鹿 はじめてみた
theoryって言葉 知らんのか？
＞Grothendieck 宇宙は、1つだろ？
Grothendieckが見たら頭抱えるぞ・・・
＞同型を除いて一意かもしれないがね
訳も分からず呪文を唱えると自爆するよ
721:１３２人目の素数さん
20/04/19 20:26:03 yMpHhz7D.net
>>707
グロタンディーク宇宙が一つとか、大丈夫か君
722:１３２人目の素数さん
20/04/19 20:31:57 UbuHltnc.net
>>710
な、こんな馬鹿が、日本人だというだけで望月万歳とかいってるんだから
ＩＵＴの前途は闇だよ
723:１３２人目の素数さん
20/04/19 20:33:40.42 uMwLCcbW.net
707は、擁護派の内部分裂かな
724:１３２人目の素数さん
20/04/19 20:38:36.02 yAKdOBQz.net
>>706
全然違う分野
725:現代数学の系譜 雑談
20/04/19 20:40:59.04 ijGx7lvx.net
>>709
>＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
>＞なら、inter-scheme logic が素直だろ？
>論をlogicって訳す馬鹿 はじめてみた
>theoryって言葉 知らんのか？
はい
じゃ、問題
「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
を数学用語を使って訳せ！ （和文英訳）
但し、望月論文表題 ”INTER-UNIVERSAL TEICHMULLER THEORY I ”の表題に使えるようにせよ！
"theory"を使ったら、下記の”TEICHMULLER THEORY”と用語がダブるぜ？ どうすんだよｗ（＾＾
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
>>710
>グロタンディーク宇宙が一つとか、大丈夫か君
そっくりお返しするよ
山下氏 （>>699より）
Q2. じゃあ, 宇宙を取り替えるってどういう意味？
A2. 宇宙際 Teichm¨uller 理論では, 環構造そのものを変形します.
スキーム論とは環論だと思うと, by definition でスキーム論が通用しない局面がしばしば出てくるということです.
一方のスキーム論での操作や基点などを他方のスキーム論にもちこむことはできません.
一方での恣意的なラベル付けが他方では通用しない, それは “宇宙を取り替える” ということではないか, という意味で使っています.
厳密な意味での Grothendieck 宇宙を取り替えると考えてもいいですし,
数学基礎論的に厳密な観点からはあくまで 1 つの Grothendieck 宇宙の中で考えて
その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” という言葉で表現していると考えてもいいです.
(引用終り)
の説明だと、「INTER-UNIVERSAL」と説明が整合しないぜ
”UNIVERSAL”が、Grothendieck 宇宙とするならば
”INTER-”って、どうなるの？ｗ
”INTER-”だったら、”UNIVERSE”が2つ要る
で、取り替えるんだろ？
グロタンディーク宇宙が2つあって、取り替える？ｗ（＾＾；
726:１３２人目の素数さん
20/04/19 20:48:16.57 UbuHltnc.net
>>714
な、コイツ正真正銘の馬鹿だろ？
727:BLACKX ◆SvoRwjQrNc
20/04/19 20:48:35 qnt75GLx.net
>>712
707はガロアスレの主やぞ一番取り合ったらまずい奴
728:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 20:52:34 ijGx7lvx.net
>>712
＞ 707は、擁護派の内部分裂かな
お答えします（＾＾
１．私は、ＩＵＴ応援派であって、擁護派ではない
Ｄｕｐｕｙ先生みたいな、ＩＵＴ擁護なんて、とてもとてもとてもｗｗｗ（＾＾；
ただ、ＩＵＴへ エールだけは送ります、がんばれＲＩＭＳ＆ＩＵＴ！ （＾＾
２．そして、ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します～！！！（＾＾
但し、数学の筋の通らない アンチＩＵＴ発言は つつきますよ！ （普通は、あっちの隔離スレで こっそりねｗ）
見かねると、今回のように 乱入します（＾＾；
３．なお、ＩＵＴ懐疑派、 ＩＵＴ否定派、ＩＵＴ擁護の数学バトル期待しています、ヤジウマとしてね。各位がんばってください（＾＾
729:１３２人目の素数さん
20/04/19 20:53:32 UbuHltnc.net
>>712
毎度恒例の馬鹿の自爆ショーです
第１回 正規部分群はgHg^(-1)がHと同型な群
第２回 数セミ記事「箱入り無数目」はマチガッテル！
第３回 順序数のZermelo構成で、ωは{{{…(無限個)…}}}
第４回 Grothendieck宇宙は、同型を除いて一意に定まる ←今ココ
数学書はウマに食わせるほど買ってるらしいが
一度もまともに読めた試しはないと専らの噂
全部古書店に売って楽になればいいのに・・・
730:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 20:54:04 ijGx7lvx.net
>>716
> 707はガロアスレの主やぞ一番取り合ったらまずい奴
Ｙｅｓ！ よくお分かりですね！！ （＾＾；
731:１３２人目の素数さん
20/04/19 20:58:07 UbuHltnc.net
>>717
＞ＩＵＴ懐疑派、ないし ＩＵＴ否定派の数学の筋が通っていれば、それは賛成します～！！！
◆e.a0E5TtKE が「数学の筋が通っている」と思ってる主張
「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔）
こんなヤツが否定派に入ろうとしても門前払いを食らうのがオチｗ
732:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:01:33 ijGx7lvx.net
>>718
＞毎度恒例の馬鹿の自爆ショーです
もう降参ですか？ｗ（＾＾；
＜経緯＞
私の指摘は >>677
">次元際なら上手く行くかもね
いまでも、なんで”宇宙”？と思うわｗ（＾＾
でも、RIMSももう一頑張りでしょう！（＾＾ "
だった
で 対して、おサルが >>682
”＞いまでも、なんで”宇宙”？と思うわ
宇宙って数学用語、知らないんだね
URLﾘﾝｸ(ja.wikipedia.org) ”
に
私が >>684
”IUT読んだ？
そのwikipediaの”宇宙”の定義が
いまのIUTに当てはまっているか？
おれは、厳密には違うと思うよ
単なる用語の濫用ならぬ、”乱用”の方と思うぜｗ”
と切り返して
>>714
に至る
＜経緯終り＞
まだやりたいなら、どうぞ >>714の続きを書いてくださいｗｗ（＾＾；
733:１３２人目の素数さん
20/04/19 21:14:41 UbuHltnc.net
>>721
見当違いな自爆を嘲笑され逆上
見当違いな質問返しでさらに自爆し嘲笑される
いい加減学習しようよ
数学板は勉強嫌いの馬鹿が書くところじゃないって
734:１３２人目の素数さん
20/04/19 21:16:54 UbuHltnc.net
＞次元際なら上手く行くかもね
これも素人ならではの馬鹿発言
こんな馬鹿発言に喜んでレスする
◆e.a0E5TtKEは正真正銘の馬鹿
735:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:53:28 ijGx7lvx.net
>>720
>「Grothendieck宇宙は同型を除いて一意。したがってinter-universalはあり得ない」（ドヤ顔）
とどめを刺すか？（＾＾
１．グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）（下記）
２．グロタンディーク宇宙は、下記のグロタンディーク宇宙公理と、ＺＦＣ＋到達不能基数 を公理とする、2つの道がある
３．この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
URLﾘﾝｸ(ja.wikipedia.org)
グロタンディーク宇宙 （数式文字化けご容赦）
数学におけるグロタンディーク宇宙（英: Grothendieck universe、仏: Univers de Grothendieck）は次の性質をもった集合 U である[1]：
１．x ∈ U, y ∈ x ⇒ y ∈ U（ U は推移的集合）
２．x, y ∈ U ⇒ {x, y} ∈ U
３．x ∈ U ⇒ x のベキ集合 P(x) ∈ U
４．{\displaystyle \{x_{\alpha }\}_{\alpha \in I}}\{x_\alpha\}_{\alpha\in I}が U の元の集合で I ∈ U ⇒ {\displaystyle \bigcup _{\alpha \in I}x_{\alpha }}\bigcup_{\alpha\in I} x_\alpha ∈ U
特に、最後の公理は U が空集合でなければ、その有限部分集合のすべてと、それら各々の濃度を部分集合として含んでいなければならないことを意味する。このことは、任意の宇宙の類の共通集合が宇宙であるという定義から直ちに証明することが出来る。
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。
グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙の2つの簡単な例がある:
・空集合
・すべての遺伝的有限集合 の集合 {\displaystyle V_{\omega }}V_\omega 。
他の例は構成がより困難である。大まかに言うと、これはグロタンディーク宇宙が到達不能基数と同値なためである。より形式的に言えば、次の2つの公理が同値である:
つづく
736:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:53:55 ijGx7lvx.net
>>724
つづき
(U) すべての集合 x に対して、x {\displaystyle \in }\in U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
集合論
到達不能基数は ZF のモデルと加法性公理を生じ、さらにグロタンディーク宇宙の集合の存在と等価である。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。
(引用終り)
以上
737:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 21:55:55 ijGx7lvx.net
>>724 タイポ訂正
３．この2つは、出発点は同じだが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
↓
３．この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
それタイポか？ おいおい（＾＾
ケアレスミスでした（＾＾；
738:１３２人目の素数さん
20/04/19 21:56:15 yMpHhz7D.net
>>724
グロタンディーク宇宙が同型を除いて一意でどこに書いてんだ？
あと同型てのはどう言う意味での同型？
739:１３２人目の素数さん
20/04/19 22:05:15 yMpHhz7D.net
係数Rのn次元ベクトル空間は確かに同型だけど、じゃあR^nだけを考えるかというとそうじゃない
基底の取り換えとか、双対空間作ったりとか色々するでしょ
確かにそれは一つのR^nに固定してもできるかもしれないけど、そんなことは不自然で誰もしない（する必要もない）
グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか
740:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:05:18 ijGx7lvx.net
>>726 補足
>３．この2つは、出発点は異なるが、いわゆる同型を除いて一意と考えられる（∵ 実際には、集合論のためのモデルを与える から）
なお、この”同型”は、下記の望月ＩＵＴ Ｉ Ｐ39の ”isomorphism”およびＮｏｔｅの記述にならい、各人の解釈に任せるものとする（＾＾；
>>691より
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
P33
Section 0: Notations and Conventions
Monoids and Categories:
We shall refer to an isomorphic copy of some object as an isomorph of the object.
If C and D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D.
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
741:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:10:28 ijGx7lvx.net
>>727-728
ID:yMpHhz7Dさん
さすがの鋭いつっこみですね
（>>729 がちょっと遅かったな）
ザブトン １枚！（＾＾；
742:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:15:33 ijGx7lvx.net
>>728
>グロタンディーク宇宙もひとつだけにできるかも知らないけど、不自然な発想になるから、色々と取り替えるんじゃないのか
「グロタンディーク宇宙を複数作って、取り替える」は、ないな、多分
>>690 より、下記の記述ですな（＾＾；
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
Introduction
P21
§I3. Basepoints and Inter-universality
It is this fundamental aspect of the theory of the present series of papers - i.e.,
of relating the distinct set-theoretic universes associated to the distinct fiber functors/basepoints on either side of such a non-ring/scheme-theoretic filter
- that we refer to as inter-universal.
This inter-universal aspect of the theory manifestly leads to the issue of considering the extent to which one can understand various ring/scheme structures by considering only the underlying abstract topological group of some´etale fundamental group arising from such a ring/scheme structure
- i.e., in other words, of considering the absolute anabelian geometry
[cf. the Introductions to [AbsTopI], [AbsTopII], [AbsTopIII]] of the rings/schemes under consideration.
743:BLACKX ◆SvoRwjQrNc
20/04/19 22:18:43 qnt75GLx.net
なんでスレ分かれてるんだよ！帰れよ
744:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/19 22:46:50 ijGx7lvx.net
>>732
おまえが、スレ主か？ ここの？ 何の資格で人に指図するの？
おれが、おまえに従う理由がない！！ｗ（＾＾
証明終りｗ
745:BLACKX ◆SvoRwjQrNc
20/04/19 22:54:16 qnt75GLx.net
定義も何もしてないのに証明とは笑
746:１３２人目の素数さん
20/04/19 22:54:43 YBBEAUTj.net
ABC予想なんて訳したやつは誰だー
conjectureは推論じゃねーか
毎回詰まる
747:１３２人目の素数さん
20/04/19 23:11:48.08 yMpHhz7D.net
>>735
数学一般にconjectureは予想て訳すし、意味的に推論じゃなくて予想の方が正しいでしょ
748:BLACKX
20/04/19 23:11:50.71 qnt75GLx.net
OPコメント来たぞ
749:１３２人目の素数さん
20/04/19 23:22:39.58 Om6IlAxz.net
もっちーのブログ、そろそろ閉じられそうな気がする
せめてコメント欄閉じるだけで記事は残してね！
それにしてもコメントの改行、もしかしてガラケで返信してるんか？
まさかね…
750:粋蕎
20/04/19 23:23:59.93 8BOyW/Ba.net
儂以外に居るんかガラケー
751:１３２人目の素数さん
20/04/19 23:51:43.28 uMwLCcbW.net
「京都大は３日、３０年以上にわたって未解決だった数学の難問「ＡＢＣ予想」を
京都大数理解析研究所の望月新一教授（５１）が証明したと発表した。
望月氏の論文が、同研究所が編集する国際専門誌「ＰＲＩＭＳ（プリムス）」の審査を
通過し採択された。同研究所は「重要かつ困難な問題を解決した」と評価した。」
ところで京大はこの後、どうするつもりなのか
752:１３２人目の素数さん
20/04/20 00:09:58.37 55beezTS.net
京都大学のサイトみたけど、ニュースリリースにそんな記事なかったから、
なかったことにしたんだすね
753:BLACKX
20/04/20 00:16:47.62 5PJxxsfj.net
今のうちに魚拓とっとくべき
754:１３２人目の素数さん
20/04/20 00:43:10.27 nWvMZC6M.net
>>736
数学界の慣行とはいえ日本語で考えてるからpre-でつづり始めてしまってconjectureの単語が毎回出てこない…
ゲシュタルト崩壊みたいな
755:１３２人目の素数さん
20/04/20 00:59:28.02 lnvD9PiA.net
なかなか痛烈な批判
これ擁護できないだろ
>W says:
>April 19, 2020 at 9:53 am
>…
>(1) The first couple hundred pages of the IUT papers introduce a lot of difficult new terminology.
>Scholze and Stix demonstrated that none of this new terminology is necessary
>to prove any of the formal statements in these pages.
>Moreover, when the new terminology is ignored, the proofs all become simpler and easier to understand.
>They all follow quickly from Mochizuki’s previous work on the p-adic Grothendieck conjecture.
>…
>As an editor or referee, this should be completely unacceptable.
>Even if the proof is technically correct in the sense that
>Mochizuki or someone else can give a clear and precise argument
>which the proof of Corollary 3.12 could be said to summarize,
>allowing the paper to continue in its present form would be a failure at their duty
>to ensure papers in their journal properly explain their arguments.
>A paper such that everyone who studies it seriously,
>except a small inner circle, gets stuck at the same point simply isn’t a proper explanation.
>…
URLﾘﾝｸ(www.math.columbia.edu)
756:１３２人目の素数さん
20/04/20 01:04:37.06 lnvD9PiA.net
>>743
そんなこと言ったらリーマン予想とかRiemann hypothesisだし
固有名詞だと思うべき
757:１３２人目の素数さん
20/04/20 01:24:19.76 nWvMZC6M.net
>>745
はい先生わかりました
758:１３２人目の素数さん
20/04/20 03:24:44.56 210Latl8.net
>>744
これ、単純に、(1)から続く段落の部分については、もっちーや擁護派は間違いって
言っていることじゃねーの。こいつが無意味って言っている部分に深い意味がある
ってのがもっちーやブンゲンやフェセンコの言い分だろ。
759:BLACKX
20/04/20 04:02:55.18 YjnQQnaT.net
普通深い意味を要求する場合その話題にも触れ定義し命題とし証明する。そういうのがない時点で自明としても扱われることがないから餅が今時を経て指摘されてるのは重大な欠陥だろ
760:１３２人目の素数さん
20/04/20 04:56:57.52 ba5R664K.net
これほんとに査読終わったの？
ショルツ納得した？俺素人だからこのスレを眺めてるだけなんだけども
証明した！って主張してるのもしかして京大だけ？
761:１３２人目の素数さん
20/04/20 05:57:34.00 lDogB3OP.net
>>715
想像以上のイカレポンチだったわ
762:１３２人目の素数さん
20/04/20 07:18:24.29 BjIY/YLZ.net
>>749
査読は終わった
ショルツが納得するのは必要条件では無い
京大以外にもいる
763:現代数学の系譜 雑談
20/04/20 07:19:34.25 w4pNIZe5.net
>>750
ああ、その>>715は
ＳＳ vs 望月星 みたいなものよ
おれが、望月星側だな
で、>>744 W saysによれば
望月星側は、想像以上のイカレポンチだったわ
ということね
しかと、承ったｗ
しばし待て
今年中には、どっちがどうか決着しそうだ（＾＾；
764:１３２人目の素数さん
20/04/20 07:20:01.95 jmWfkEw+.net
>>724
>とどめを刺すか？
自分に？
＞グロタンディーク宇宙は、いわゆる同型を除いて一意と考えられる
＞（∵ 実際には、集合論のためのモデルを与える から）
もしかして、集合論のモデルは「同型を除いて一意」と誤解してる？
誤解じゃないというなら、根拠示してくれる？
・・・そんなもんないけど
765:現代数学の系譜 雑談
20/04/20 07:23:37.10 w4pNIZe5.net
>>751
同意
かつ、>>744 W saysは、ショルツの尻馬だ
彼自身は、ＩＵＴを直接批判する数学の能力なし！
”Scholze and Stix”と書いているけれど
いま（2020年）は、ショルツ氏のみ
Stix氏は沈黙（コメント拒否）だよ
766:１３２人目の素数さん
20/04/20 07:25:39.05 jmWfkEw+.net
>>727
＞グロタンディーク宇宙が同型を除いて一意でどこに書いてんだ？
そりゃみんな同じところツッコむよね
767: だって、まったくの誤りだからｗ >>729 ＞なお、この”同型”は、下記の望月ＩＵＴ Ｉ Ｐ39の ＞ ”isomorphism”およびＮｏｔｅの記述にならい、 ＞各人の解釈に任せるものとする やれやれ😥 数学だけじゃなく英語もダメなんだな チミは
768:１３２人目の素数さん
20/04/20 07:29:28.80 jmWfkEw+.net
「集合論のモデルが同型を除いて一意」という主張は
有名なコーエンの「選択公理及び一般連続体仮説の決定不能性」
を否定するものなんだが、分かってるか？
分かってないんだろうな、こんな様子じゃｗ
769:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 07:42:36 w4pNIZe5.net
>>753
まあ、まじレスすれば
それは、用語の濫用というやつだな（下記）
それ>>729に茶化して書いておいたが、文脈に応じて解釈せよってことよ（望月論文に同じ）
日常言語に同じだ
”UNIVERSAL”について言えば、「ユニバーサル・スタジオ・ジャパン｜USJ」がある
ユニバーサル＝宇宙と考える人はいないだろうよ
「宇宙」には、”space”という用語もある
ところが、「駐車乗のスペース」といったとき、”スペース”を「宇宙」と考える人はいない
もどると、>>724 「 実際には、集合論のためのモデルを与える」とあるだろ？
2つの別の方法で構築した”集合論のためのモデル”が、実質同じだということを、用語の濫觴と茶化しで
”いわゆる同型を除いて一意と考えられる”と書いただけのこと
そもそも、”同型”なる用語の意味が、数学用語としては、その文脈毎に異なることは、常識（当たり前）だろう
（余�
770:kだが 望月論文も、それを言っているとおもうが、確かに分かり難いと思った） （参考） https://ja.wikipedia.org/wiki/%E8%A8%98%E5%8F%B7%E3%81%AE%E6%BF%AB%E7%94%A8 記号の濫用 関連する概念に用語の濫用（英: abuse of language, abuse of terminology, 仏: abus de langage）がある。
771:１３２人目の素数さん
20/04/20 07:49:07 hY/oh56u.net
Woitのブログ、新ブログだけど、理論が数学で正しいかはでなくなってきて、
５ｃｈと同じレベルみたいだね。
772:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 07:50:35 w4pNIZe5.net
>>757 補足
>そもそも、”同型”なる用語の意味が、数学用語としては、その文脈毎に異なることは、常識（当たり前）だろう
>（余談だが 望月論文も、それを言っているとおもうが、確かに分かり難いと思った）
下記の望月ＩＵＴ Ｉ Ｐ39の ”isomorphism”およびＮｏｔｅの記述
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
なら、i-isomorphism とかのネーミングにすれば良かった気がする
（i-isomorphismって、i-phone みたいで 格好いいだろ？ｗ（＾＾； ）
>>691より
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
INTER-UNIVERSAL TEICHMULLER THEORY I: CONSTRUCTION OF HODGE THEATERS Shinichi Mochizuki April 2020
(抜粋)
P33
Section 0: Notations and Conventions
Monoids and Categories:
We shall refer to an isomorphic copy of some object as an isomorph of the object.
If C and D are categories, then we shall refer to as an isomorphism C→D any isomorphism class of equivalences of categories C→D.
[Note that this terminology differs from the standard terminology of category theory, but will be natural in the context of the theory of the present series of papers.]
773:１３２人目の素数さん
20/04/20 07:54:29 jmWfkEw+.net
>>757
ああ、やっぱり、自分の誤りが全然わかってないのね
>>756読んだ？え？読んだがわからん？
これはヒドイ
実数全体の集合をRとする
あるモデルでRはℵ1、別のモデルでRはℵ2
どこが同型なんだ ℵ1とℵ2は同じ濃度なのか？
それはℵの定義に反するなｗ
君みたいな馬鹿が支持することで望月の評価はどん底に下がるのだよ
もし、望月を支持したいなら、君がやれることは只ひとつ
・・・なにも書かないことだ
なにも書かなければ、ボロがでないからな
できるかな？ネットジャンキーの君に
774:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 07:56:05 w4pNIZe5.net
>>758
>Woitのブログ、新ブログだけど、理論が数学で正しいかはでなくなってきて、
> ５ｃｈと同じレベルみたいだね。
同意
５ｃｈと同じレベル は、可哀想と思うが
数学ではなく、手続き論でしょ
つまり、レフェリーがちゃんと指導しろとか、道義的にどうとか、云々
でも、ＲＩＭＳのレフェリーとか、柏原・玉川先生も理解できる
望月先生が、構想10年、営々と書いてきたＩＵＴ論文
「いまから書き直せ」って、さらに何年かかるって話にもなる
あと、遠アーベルになれていない人には、読みにくいかもしれんが、プロにはこの方が読みやすいってあるかも
それは、軽々に判断できない
でも、せめて分野外のＭ１、Ｍ２に読める解説書はいるよね（文元本以外にね）
775:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/04/20 08:00:10 w4pNIZe5.net
>>760
(引用開始)
実数全体の集合をRとする
あるモデルでRはℵ1、別のモデルでRはℵ2
どこが同型なんだ ℵ1とℵ2は同じ濃度なのか？
それはℵの定義に反するなｗ
(引用終り)
墓穴掘っているな
コンテキストが分かっていない
いまコンテキストは>>724の
グロタンディーク宇宙限定だよ
その例は、全くアサッテの例だ
分かっていないのは、おサルさん、あ な た ｗ（＾＾
776:１３２人目の素数さん
20/04/20 08:04:34 jmWfkEw+.net
>>761
玉川はともかく、柏原はIUT理解してないでしょ
あんた数学を舐めすぎ
＞遠アーベルになれていない人には、読みにくいかもしれんが、
＞プロにはこの方が読みやすいってあるかも
ない。望月論文の了解不能性は遠アーベルとは無関係
プロにも肝心なことが書いてないと突っ込まれてる
なんのための６００ページ？ 無意味だな
＞分野外のＭ１、Ｍ２に読める解説書はいるよね
そんなん、専門家に了解できる論文書いた後の話
教科書なんて望月本人が書かなくたって、
他の専門家がいくらでも書いてくれるだろうよ
・・・認められたら、の話だが
777:１３２人目の素数さん
20/04/20 08:08:01 jmWfkEw+.net
>>762
＞コンテキストが分かっていない
同型はコンテキストでは誤魔化せないｗ
＞グロタンディーク宇宙限定だよ
それでも誤魔化せないな
「集合論のモデル」と言い切ってしまったのは君
＞その例は、全くアサッテの例だ
アサッテなのは、君の口からデマカセ発言
全ての集合論のモデルが同型を除いて一意？
君、ほんと考え無しの馬鹿野郎なんだねえｗｗｗ
778:１３２人目の素数さん
20/04/20 08:13:02 RYoxWBTv.net
>>754
あれ、
望月星とショルツスティックスの
ミーティングでした。
はじめから星は沈黙ですよ、
緘口令が敷かれているのか。
779:現代数学の系譜 雑談
20/04/20 08:44:53.07 w4pNIZe5.net
>>765
望月星の関係は、代表望月、門下星で明確でしょ
ＳＳでは、二人は同角で独立
全く違うよ
780:現代数学の系譜 雑談
20/04/20 08:45:46.13 w4pNIZe5.net
>>766 誤変換訂正
ＳＳでは、二人は同角で独立
↓
ＳＳでは、二人は同格で独立
781:１３２人目の素数さん
20/04/20 08:48:03.25 wPwKBWOa.net
>>381
もう少しまともに引用するように
**********************
望月の方法が機能しないという*証明*はありません。
Scholze-Stixの原稿が証明しているのは以下の通りです。
定理 望月の理論でホッジシアターを特定し、同時にq-pilotとθ-pilotの「具体的な正規化」を課せると仮定すると、矛盾が生じる。
1) 「具体的正規化を同時に課す」という仮説は、固定素数の場合と等価である。 望月の理論はこの導出には使われていない。この同一化に対する抗議が望月の応答のC12でなされている。
にもかかわらず、ピーター・S.はこれが望月のいう意味であると主張している。
2) ホッジ劇場を特定できる、という仮説も、望月によって彼の述べた目的に反していると抗議された。
ガウス積分の調査のテーゼ、数学では元の物体について何かを証明するために、オブジェクトの「異質なコピー」を導入することがあるということを見ておくことは賢明です。これは、上記の定理でホッジ劇場を特定するという仮定に反している。
私は、望月の証明が正しい、あるいは正しいことが判明するという立場を取っているのではありませんが、現状のままでは、スティックス＝ショルツの論文を望月の証明を否定する理由として取り上げるべきではありません。
782:１３２人目の素数さん
20/04/20 08:48:09.68 Ign/v1Yp.net
若輩☆さんがモッチ様にたてつけるとは思えないな
何か一言いおうものなら100倍正論で帰ってくるだろうからな
783:１３２人目の素数さん
20/04/20 09:11:24.30 RYoxWBTv.net
>>766
森重文に依頼されたショルツが
スティックスと共にRIMSを訪問し
望月星.ショルツスティックス
ミーティングを行う
↓
S.Sレポートを提出
↓
望月レポート 星沈黙 ズーッと沈黙
↓
RIMS 2020 IUTカンファレンス
遠アーベル幾何学ワークショップで
スティックス講演予定
(IPMUカプラノフ参加予定)
↓
スティックス参加取りやめ
(カプラノフも参加取りやめ)
↓
望月新一ブログで
内部告発 アクセプト査読過程を批判
↓
玉川柏原が会見
柏原はPRIMSの編集者でない。
↓
RIMS封鎖
↓
woitのブログでショルツ
「In my manuscript with Stix,」
と明言
784:１３２人目の素数さん
20/04/20 10:04:50.36 3oXodUa0.net
>>292
Ｒ-Ｕ１０６
─ 優しく温かく住む人の心に馴染む家具・・・籐(ラタン) ─ 家具って素敵ですよね。。。
ドレッサー(椅子付き)なんてあるんですね♪
素敵なステマ乙ありで～す♪♪
785:１３２人目の素数さん
20/04/20 10:28:21.90 LhH52yzr.net
モデル理論で同型という概念をあまり見ない(ドメインからドメインへの全単射があって構造を保つものらしい)けど、
異なる強到達不能基数κ、κ'が存在するならば、グロタンディーク宇宙Vκ、Vκ'は(それをドメインとして)ZFCのモデルだが、その間には全単射が存在しないので同型でなく、同型の違いを除いても一意ではないのでは
786:粋蕎
20/04/20 10:33:40.21 oyGS3XIo.net
理研の前に東電も遣ら化して呉れとる。儂は信じもしない｡其の前は誰？捏造ゴッドハンド佐田か？
勿論、Oversimplification & 十把一絡げ拡大解釈のｼｮｽﾃｨコンビも信じない｡
あー、ペレルマンをペロリマンしようとした、ヤウの伝手の二人組も居ったな｡
787:１３２人目の素数さん
20/04/20 10:39:10.73 jmWfkEw+.net
>>772
＞異なる強到達不能基数κ、κ'が存在するならば
強到達不能基数は無数に存在します
＞グロタンディーク宇宙Vκ、Vκ'はZFCのモデルだが、
＞その間には全単射が存在しないので同型でなく、
＞同型の違いを除いても一意ではないのでは
そうですね 「準同型」写像を設定できるかどうかは知りませんが
788:１３２人目の素数さん
20/04/20 10:42:54.98 jmWfkEw+.net
>>773
高卒の君は安達と遊んでなさい
789:１３２人目の素数さん
20/04/20 11:09:16.30 LhH52yzr.net
>>774
構造としては<Vκ, ∈κ>、 <Vκ', ∈κ'>で累積的階層の定義からドメインは一方に埋め込めるから準同型はありそうだけど、詳しくないから俺には示せないな
＞強到達不能基数は無数に存在
そうなの？
790:１３２人目の素数さん
20/04/20 11:21:55.91 jmWfkEw+.net
>>777
ただし、巨大基数の存在を認めれば・・・だが
URLﾘﾝｸ(ja.wikipedia.org)
791:１３２人目の素数さん
20/04/20 11:24:59.24 ba5R664K.net
>>751
ありがと！