18/12/25 19:06:14.66 VsuUH61A.net
イレブンか ファイブか というところ。フット メンヘル サロン 開業中
ロビースト キーン の活動。
851:学術
18/12/25 19:17:37.92 VsuUH61A.net
数学的現実は孤独になって、地点�
852:ノ孤立がうかがえる。挽回は効くだろうけど。 座標の年代タテとか気にする方?
853:132人目の素数さん
18/12/25 20:25:25.43 CH3CkTP1.net
>>804
ガチで意味不明なのはあんたが論文や関連文書を読んでないからとしか言いようがない
何でもかんでも自分に寄せるのやめて欲しいな
もし自分は代数幾何学や圏論をやったというなら、他人にケチを付ける前に自分で読んで
論点を解説してるはずだし、わざわざ貶したがる意味がわからん
854:132人目の素数さん
18/12/25 20:29:05.30 XGijJnLh.net
>>815
横だが「深海魚」とか「硫化水素」という概念が出てくる数学があるなら教えて欲しいな。
あと>>807の指摘にも繋がるんだが、このスレには何人か(あるいはほんとに自作自演なのか?)、
数学はアイデア勝負ではないというのが分からない人がいるみたいなんだよね。
数学とは証明があるかないかであって素晴らしいアイデアの出し合いではないんだよ。
855:132人目の素数さん
18/12/25 20:34:07.75 CH3CkTP1.net
FrobenioidやAnabelioidを見る限りは、それが偽の圏論とは言いがたい
多分彼が偽装と言ってるのは、本論での一部使い方についてだろう
俺は「IUTのやりたいことはわかるが一部おかしいと思っている」ので、この二人も意見は違うよ
856:132人目の素数さん
18/12/25 20:34:43.45 JvRtX7K/.net
では新しい数学は無意味ってことで
857:132人目の素数さん
18/12/25 20:44:01.51 CH3CkTP1.net
>>789
失礼だけど、ニュアンスが読めてないのはこれもあんたの理解力のブーメランだろう
その人は、圏論的な枠組みから見たらむしろ奇妙と言ってるだけで「はみ出す」なんて言ってないよ
他方俺は、圏論的な枠組みをむしろ徹底しているが、集合の位置付けが従来の圏論の記述からは異色とは
言ってる。でもそれがアクロバティックに見えると言ってる。結果的には変で一致してるが、見方は違う
IUTの中の人がこうした見方に反論するならまだわかるけど、あんたらは自分の理解力に寄せて
ケチを付けたいだけにしか見えない。貶すのが自己目的化するのはここじゃありがちだけど
858:132人目の素数さん
18/12/25 20:50:57.56 XGijJnLh.net
>>819
なんかまたエスパーなんだが「奇妙」というのは何を指しているの?
奇妙と言ったり異色だと言ったり、とにかく数学的になにかを語っているようにみせかけて、
それは主語の部分だけなんだよね。述語部分はなにも数学的でない。
でそれは数学的な議論ではないんだよ。
それでも自分たちは数学的な表現をし続けているんだというのなら、
まず集合の位置付けが従来の圏論の記述からは「異色」と
「アクロバット」というのを数学的に記述してごらんよ。
そしてそれが単に証明がないということと何が違うのかも説明もね。
859:132人目の素数さん
18/12/25 20:55:46.05 CH3CkTP1.net
>>820
前も書いたけど、それが批判を装ったクレクレって奴なんだよw
あんたは形式的に厳密な記述以外は数学的じゃないと偏った見方に徹してるから尚更だろうけど
「よくわからんからちゃんと書けよ。書けなかったらお前ら知ったかな」って態度の本質を
我々は見抜いてるんで、あんま興味がない
860:132人目の素数さん
18/12/25 20:59:53.40 XGijJnLh.net
>>821
つまりきみたちがやってるのは数学ではないと認めるわけだね。
現代数学は形式的に厳密な記述以外は数学ではないんだから。
861:132人目の素数さん
18/12/25 21:21:40.39 Xaor3Tfl.net
きみたちの前にIUT
862:132人目の素数さん
18/12/25 21:25:18.71 Rfx34CLu.net
割り込みですまないんだが、前も書いたんだけど、
IUTならびにIUT解釈が形式的記述に服さないのなら、
少なくともIUTメンバーはPRIMSでその研究成果を発表してはいけないと思う。
PRIMSが現代数学でない数学誌ということはないと思うので。
863:132人目の素数さん
18/12/25 21:26:27.44 Rfx34CLu.net
IUTが数学の哲学か何かだと主張するのは自由だと思う�
864:オ、 それならそれで成立してないと強弁することもできないんだが、 形式的記述ができないにもかかわらず現代数学誌に投稿するのはダメだろう。
865:132人目の素数さん
18/12/25 21:39:31.64 CH3CkTP1.net
いや、割り込みとか言って君ID変えてない?w
形式的な記述は数学には不可欠だけど、数学についてのコミュニケーションは必ずしも形式的な厳密さは
要しないし、直観的なアイデアもそういう意味で大事なんだよ
君の話とは逆で、IUTの問題はむしろ、直観的なレベルですら他の専門家にアイデアが伝わりにくいことだよ
こうなるとその時点で何かがおかしいんじゃないかって話になる
ショルツも長い間「何かがおかしい」と言ってたよね
866:132人目の素数さん
18/12/25 21:43:42.87 Rfx34CLu.net
>>826
俺はアイデアの重要性は否定してないよ。自由だって書いてる。
問題はPRIMSに投稿するのはおかしいということね。
IUTメンバーが今後IUTをどうするのかについては関心がない。
867:132人目の素数さん
18/12/25 21:47:32.54 hug0fX0m.net
つーか望月とか取り巻きがIUTは単なるアイデアだなんて一回も言ってないだろ
ショルツもIUTがアイデアかどうかなんて問題にしてない
868:132人目の素数さん
18/12/25 21:48:18.74 jb2RruX5.net
やれてない部分を隠してるのは冷静にみてればわかる
869:132人目の素数さん
18/12/25 21:50:49.80 efLlDoUz.net
ID変えまくってるからNG入れるのがめんどくさいのだが、そこまで俺や他の人のレスに文句を付けるのなら
あなたがIUTTやS・Sレポートについて「中身のある」ことを詳しく書け。或いは以前に書いたならそのスレ番・レス番を示せ
IUTTもS・Sも「読んでないよ」とか、「読んだとも読んでないとも言ってない」というのはナシだぜ
俺達にそこまで言うくらいだからかなり読みこんでいるはずだ
明日の夜まで待ってやる。あなたの言う「形式的に厳密な記述」をもってIUTTやその批判の内容を示せ
(少なくともS・Sについてはできるだろう?)
できなければ、あなたは以前に出没した「数学の価値」君や彼の相手をして2人で6時間200レス消費したバカどもと同類だ
(ちなみにあの時、何度か止めたのは俺だよw)
870:132人目の素数さん
18/12/25 22:00:11.37 fAmTYYu5.net
なんでID:CH3CkTP1の擁護にID:efLlDoUzが出てくるんだ?
871:132人目の素数さん
18/12/25 22:04:15.78 efLlDoUz.net
は?
俺と親切な人が同一人物の自作自演と書いたり、「きみたち」と書いて俺に向けても批判しているからだよ
要らん詮索する前に早く数学的に「中身のある」ことを書いて示せ
872:132人目の素数さん
18/12/25 22:08:48.05 fAmTYYu5.net
>>832
同一人物だって言ったのはID:aeBmhGtwだけで他は否定してない?
873:132人目の素数さん
18/12/25 22:11:20.53 CH3CkTP1.net
>>828
アイデアがあるとは思えない、と過去に言ってるわけだが。ここにコピペも貼られた
あの批判論文には、アイデアが正しくて記述に不備があるなら何とかしてやりたいが、というニュアンスがある
題名にgapとなく、ただ予想のままである、と書いてあるのはそういうことだ
あと、予想という言葉があるように、アイデアは場合によっては論文になる
IUTの場合も、あれだけ書いてあってgapがあるなら、証明には足りないが一部修正しアクセプトしても良い
それすら難しいから頓挫している
874:132人目の素数さん
18/12/25 22:11:25.59 odUN6AZz.net
専用掲示板で疑義や不明点があがってるんだからスターやなんでは実名で答えればいいのに
それすらやらない、できないってのは取り調べだと黙秘権みたいなもの
裁判員はどう思うかね
875:132人目の素数さん
18/12/25 22:26:22.84 26jrDuYJ.net
バカなおさるたちのインターネッツは今日も盛り上がってまつね!
876:132人目の素数さん
18/12/25 22:37:03.23 7HMd8emo.net
マンコヒヒとオラウータン一味キターーー
877:132人目の素数さん
18/12/25 22:45:07.72 efLlDoUz.net
>>834
>あの批判論文には、アイデアが正しくて記述に不備があるなら何とかしてやりたいが、というニュアンスがある
このことは望月反論ペーパーの方で明記されているよ(p.5)
----------------------------
(T8) occasional misinterpretation by SS of statements by HM of the form (T8-1) as definitive declarations of (T8-2):
(T8-1) “you may consider such and such a modified version of IUTch if you wish,
but it is by no means clear that the essential content of IUTch is valid for such a modified version”,
(T8-2) “you may consider such and such a modified version of IUTch if you wish,
and, moreover, I affirm that the essential content of IUTch is completely valid for such a modified version”;
----------------------------
望月側としては修正の必要はない、S・Sとしては修正できればIUTTは有効であると考えていたようだね
でもS・Sレポートにはそういうニュアンスは俺は感じないなぁ。皮肉に満ちてるよ、あのレポートは(笑)
878:132人目の素数さん
18/12/25 22:58:44.39 CH3CkTP1.net
>>838
いやさっきのは書き方が悪かった
「してやりたいが、(多分無理)」という意味です。だから題名がきつい書き方になったと
とはいえ、アイデアについての発言や修正可能性についての批判論文最後での書き方から、一応救済可能性に
注意したのも伺える、という感じ
元々は理解したかったのだろうから、それは当然だろう。ただ思ったより酷かったと
879:132人目の素数さん
18/12/25 23:43:49.93 efLlDoUz.net
S・Sは当初「これこれしかじかの修正を施せばIUTTは成り立ち、ABC予想も証明できるだろう」と考えていたんだろうね
まあ、最後の段落は強烈だね。俺には救済可能性というより、「このオヤジ、この期に及んで何言ってんだ?」と読めたね
強いてあなたの意見に沿えば、手厳しい注意をもって救済可能性のニュアンスを持たせた、という感じかな
(う~ん、無理があるなw やっぱり望月に対して呆れかえっているようにしか思えない)
880:132人目の素数さん
18/12/26 00:39:03.98 Mog5DDmS.net
残念なことだが、2014年からScholzeは様々な文を公開して、IUTをダウングレードし始めた。私は彼に、IUTの「不具合」が何であるかを正確に伝えるように何度か尋ね、否定的なことを公に言う前に、IUTの作者とコミュニケーションをとったらどうかと提案した。
Scholzeは2015年のOxford IUTワークショップに参加することを拒否した。このワークショップでは、多くの関連事項を学ぶことができたのだが。
Scholzeは2015年の5月に、Mochizukiに非常に漠然とした広範な質問を1つだけ送った。 IUTの著者は長い電子メールで彼に答えた。また、電子メールで議論を行うよう親切に提案した。
Scholzeは、非常に忙しいと答え、電子メールのやり取りを停止した。
(これらの一部は、望月のページで公開されている。すべてのファイルが注目に値する。)
ScholzeはIUTの何かが間違っていると、公に話し続けた。
長い時の後、彼はStixと共に2018年3月に5日間だけ京都に来たが、不具合を示すための証拠の準備が明らかに出来ていなかった。
彼らの短い訪問の終わりまでに、Scholze-Stixは、IUTの過度の単純化に基づいて、IUTの独自の奇妙なバージョンを提供した。
この過度の単純化は、遠アーベル幾何学とIUTにとって完全に不適切であり、この過度の単純化に対する専門家の反応は、報告書の第18章で読むことができる。
この過度の単純化は、数論や圏論の専門家でない者にさえ誤りだとわかるものだ。
Scholze-Stixの立場では、IUTにおける遠アーベル幾何学の使用を奇妙にも否定している。
IUTの少なくとも80%は、高度な遠アーベル幾何学である。それをよく噛み砕かずにIUTの研究をうまく進める方法はない。
881: 複雑な理論を理解する際に間違いを犯すことは問題ではない。 しかし、IUTの「不具合」の有効な証拠を持たずに、このように長い間「不具合」について話すことは、非常に不適切であり、IUTの著者のコメントに答えるための目に見える努力と知識が欠如している。
882:132人目の素数さん
18/12/26 00:39:34.12 Mog5DDmS.net
当初、ScholzeとStixは会議についてのレポートを熱望していた。
しかし、望月の報告書を読んだ後、7月に彼らは完全に心を変え、自分たちのレポートを投稿する興味を失った。
彼らのレポートをIUTの著者のページに含めることに彼らは最終的に同意したが、2番目のバージョンのレポートは、
最初のレポートでのMochizukiからのコメントのほとんどを扱っていず、古典的な高さの理論の失敗などの新しい誤った記述も含まれている。
彼らが自分の間違いを認めないのは謎のままだ。
883:132人目の素数さん
18/12/26 01:04:51.96 EhksGUhQ.net
>>841
>この過度の単純化は、数論や圏論の専門家でない者にさえ誤りだとわかるものだ。
Scholze-Stixが提案した単純化の何処がどう誤りなの?
884:132人目の素数さん
18/12/26 01:05:54.97 EhksGUhQ.net
>>842
>古典的な高さの理論の失敗などの新しい誤った記述
kwsk
885:132人目の素数さん
18/12/26 01:08:36.32 cR66TREx.net
うん、世界中の数学者とメディアに訴えかければいいとおもうよ
886:132人目の素数さん
18/12/26 01:09:52.07 AoMgC+TE.net
元々 森重文京大RIMS 名誉教授の申し出より
RIMSへ行ったショルツに、悪口を言っても
IUTの酷さは変わらない。
望月レポートは今でも気ままに改変される始末
検証は入り口と出口から調べていく、。
ショルツは何故 ラベル付けの件に拘ったのかw
887:132人目の素数さん
18/12/26 01:56:12.58 1sPeCC7c.net
望月、フェセンコ、ショルツの各々の言いたいことは、それ自体はわからなくはないのが改めて面白いな
レポートのSWというものがあって、剛性+ラベル+リセット+不定性+SWという併せ技で成り立つ
と言いたいのだ。全単射には特別な複雑性があるのだ。仮に理論が正しいと何らかの理由でわかっても、
後でそう納得できる。他にはありえないからだ
特に、AnabelioidとFrobenioidの設定の上での単解+SWの部分がフェセンコの言いたい遠アーベル幾何学的な
深い部分なのだろう
だが、少なくとも抽象群論=幾何学という図式ではPS-JSもそれをちゃんと理解してるように見える
敢えて例に実ベクトル空間を出してるのも含めてね
ともあれ正しいなら正しいでわからなくはないけど、そういう曖昧な認識は数学的には不適切だから
questionableという意味で肯定できないな
888:132人目の素数さん
18/12/26 01:56:27.41 j/A0kl5n.net
おれ、凄い素人で恐縮なんですが、
疑問に思ったことを書きます(とんちんかんだったらすいません)
SSが提示した内容が、エッシャーの階段のような矛盾を示していることは、
望月サイドでも認めているわけだよね
でも、それはIUTとは全く別ものだという事を主張している
では、SSがそういった過度に分かりやすくしたものではなく、
望月サイドでもそれはIUTだよと認められるものを使って矛盾を
導けれるのか?というのが一つ
あと、望月の3:12の前までの長々とした部分はジャーゴンだと言っていた
のを前にちらっと見たんですが、それがジャーゴンだという証明は
されていないですよね?
889:132人目の素数さん
18/12/26 05:51:04.22 HbWQPbEb.net
内容に踏み込んだ有益な書き込みが続出する中、相変わらず馬鹿丸出しな書き込みしてる奴が約1名 >>846
890:132人目の素数さん
18/12/26 07:59:31.94 7BpsiiR8.net
>>848
個人的には一部復習しないと理解不十分でまずいんだけど、ショルツらが単純化してるのは事実ですね
で、その単純化してる部分を望月が納得するように寄せるというのは程度の問題で、望月
891:サイドの主張を全て認めたら当然IUTは正しくなりますよね 例えば格子の垂直射でp進対数を取るというのは戦略的な意味があるし、どういう仕組みで抽象位相群からできている「ホッジ劇場を区別」するのかにも 理論的な戦略があり、そこでいわゆる宇宙を区別する「ラベル」を使うことにも理論的な意味があって、そういうものをSSはかなり省略して整理している 望月視点で見て一番SSサイドが怪しいのは、環構造=宇宙の復元とその区別の「遠アーベル幾何学的」な意味をSSが理解しているのかという点ですね これは批判論文を読んでも十分にわからない 大雑把に言えば素数の性質を利用してスカラーを伴うテータ空間を作って幾何学的に計算したいんですけど SSが見落としているとすれば、「様々なテータ空間を遠アーベル幾何学的に構成する」のが何を意味するのか、という点です 群のプログラムとp進対数を取る「幾何学的」意味とか、それと共にラベルを利用することの意味についてはSSは踏み込んでないように見えますね
892:132人目の素数さん
18/12/26 08:09:56.49 7BpsiiR8.net
実際、SSは抽象pilot objectと具象pilot objectの違いがよくわからないと言っている
これは後者が「単解」的な意味で群スキームに等価な情報を 計算する際の適切な概念には見えない、
つまりSSはテータ空間の構成原理がよくわからないと言っているようにも見える。それはフェセンコの主張
結論から言うと、認識に隔たりがあり過ぎて折衷的なケースについて考えるのは不可能に近い
SSサイドは異なる群スキームの群論的な構成原理が不明瞭だと考えていると思う
この辺が具体的に示せない限り、IUTのほうが分が悪いという感じでしょう
893:132人目の素数さん
18/12/26 08:14:08.43 3H4rIim4.net
>>849
都合の悪い真実だなー
894:132人目の素数さん
18/12/26 08:25:09.18 kPBm1lq7.net
訂正
それはフェセンコの主張→それはフェセンコのSS批判に対応していそうな部分
895:132人目の素数さん
18/12/26 08:35:52.16 3H4rIim4.net
>>850
>「様々なテータ空間を遠アーベル幾何学的に
構成する」のが何を意味するのか、
という点です
JSは 遠アーベル幾何学が専門ですよ
896:132人目の素数さん
18/12/26 09:26:47.59 j/A0kl5n.net
>>850
レスサンクス
素人にここまで答えてくれるとは思わなかったです
当然ながら、めっちゃ難しい
SSは抽象pilot objectと具象pilot objectを使用する適切な構成原理までが、
自然に現れるのじゃないと、どこかから取って付けたという事で、認められないということか、
それが自然に現れるモデルみたいのを作ったら、調和しないってことかなぁ
897:132人目の素数さん
18/12/26 09:31:20.42 n8XDYpmW.net
RIMSがリジェクトすればそれで解決なんだけど、
このようすだと黙殺形式を選ぶのかね。
弟子にはそのほうが酷(師匠がいつまでも誤りを認めない)だと思うが。
898:132人目の素数さん
18/12/26 09:33:37.73 n8XDYpmW.net
こんなでたらめがいつまでも続くわけがないので、
今後の展開としてはRIMSがリジェクトを明言するのかどうか、
そして取り巻きのなかでだれが離脱するのか。
ポスト組は離脱しないかもしれないが(出世できないという問題は残るけど)、
ないメンバーは就職ができなくなるからこのへんから崩れるのか、
それともこの時点でIUTと付き合ってる時点で研究能力に問題があるので、
もう転身もできないのか。
899:132人目の素数さん
18/12/26 10:50:00.93 rL7y7qtu.net
Quanta maGazine
September 20, 2018
PSとJSの指摘
>The proof, as Scholze and Stix describe it,
involves viewing the volumes of
the two sets as living inside two different
copies of the real numbers, which are then
represented as part of a circle of six different
copies of the real numbers, together with
mappings that explain
how each copy relates to its neighbors along
the circle.
To keep track of how the volumes of
sets relate to one another,
it’s necessary to understand how volume
measurements in one copy relate to
measurements in the other copies,
Stix said.
“If you have an inequality of two things
but the measuring stick is sort of
shrunk by a factor which you don’t
control, then you lose control over
what the inequality actually means,”
Stix said.
900:132人目の素数さん
18/12/26 10:52:43.57 rL7y7qtu.net
>>858
続き
>In Mochizuki’s mappings,
the measuring sticks are locally compatible
with one another.
But when you go around the circle,
Stix said, you end up with a measuring stick
that looks different from
if you had gone around the other way.
The situation, he said, is akin to Escher’s
famous winding staircase,
which climbs and climbs only to
somehow end up below where it started.
>This incompatibility in the volume
measurements means that the resulting
inequality is between the wrong quantities,
Scholze and Stix assert.
And if you adjust things so the volume
measurements are globally compatible,
then the inequality becomes meaningless,
they say
901:132人目の素数さん
18/12/26 11:10:21.65 WuV0z5bC.net
>>855
ドイツグループ. PS JSの指摘
>>858 >>859を参照してください
902:132人目の素数さん
18/12/26 11:59:18.37 w+UO6IRt.net
>>857
他人のことより自分のことを心配しょう。大丈夫か?
903:132人目の素数さん
18/12/26 12:48:10.50 e6E4VL2g.net
【火器管制レーダー模擬ロックオン】 TV局「危機感を煽てください」 JSDF「自衛隊もやってんだが」
スレリンク(liveplus板)
904:132人目の素数さん
18/12/26 13:13:37.54 iW/cza+x.net
今回ので一番感心するのは御大の手腕だね。
新進気鋭でこいつが言うなら間違いないというショルツを呼ぶ。
ショルツは遠アーベルの専門家じゃないという批判も封じるためにスティックスも呼ぶ。
反論する時間がなかったという言い訳もさせないために時間をとる。
なにがあったかをレポートのかたちで英語で周知する。
これで実質的に外部査読でリジェクトというかたちに持っていけるから、
当人たちがどんなにRIMS内部の権限を濫用しようが掲載拒否できる、と。
905:132人目の素数さん
18/12/26 16:02:52.74 lqqZmmGl.net
>>863
あなたは、森氏やRIMSが学問の自治と独立を外部の人間に委ねた
と言ってるのか。日本の政治のように、
外圧がないと森氏もRIMSも何もできないと言ってるのか。
IUTTの正否に関係なく、森氏とRIMSを侮辱し過ぎだ。
906:132人目の素数さん
18/12/26 16:17:12.63 iW/cza+x.net
>>864
誰かさんが雑誌を私物化しなければこんなことにはならなかったんだよ。
907:132人目の素数さん
18/12/26 16:22:01.88 iW/cza+x.net
1、査読が完了したのかしてないのか長期的に曖昧にする
2、普通ならしてはいけないリークがある
3、その後も頻繁に修正を認めている
こんなのが起きている状態で自治ができてると言い張る方がおかしいね。
そして擁護するときはこの3点(特に1と2)に絶対触れない。
908:132人目の素数さん
18/12/26 16:
909:30:08.72 ID:j/A0kl5n.net
910:132人目の素数さん
18/12/26 18:48:05.75 XDh938sZ.net
まだやっててワロタ
10年後もやってろよ
よろしく
911:132人目の素数さん
18/12/26 19:12:39.24 yQVEDCxH.net
>>863
選手会の金に手を出したとかで東京ドームで小川直也に橋本真也を制裁させた長州力みたいな感じがするw
912:132人目の素数さん
18/12/26 19:16:41.49 SSt2DFZn.net
望月自身がブログで言及してるよね
IUTは超数学だって
超数学では既存数学を使えない
913:132人目の素数さん
18/12/26 20:35:35.81 U4PmkSWL.net
>>870
>IUTは超数学
Mはメンタル患ってるのか?
914:132人目の素数さん
18/12/26 20:45:23.02 VNG3PbmT.net
望月さんがそんなオレオレ用語使ってるの?
超数学は普通Metamathematicsの訳語として使われてると思うんだけど
IUTはチョーすごい数学だから数学の常識が通用しないのだみたいなのはちょっと
915:132人目の素数さん
18/12/26 20:54:56.57 j/A0kl5n.net
ロムに戻ると書いたんですけど、又疑問が生じてしまったんで書きます
仮に>>855の様な事が正しいとして、>>850の手続きをちゃんと
行えば、限定された程度ではあってもABC予想が解けるということは
全く無意味ではあり得ないという事にはならないか
無意味ではないどころか、かなり凄いということにはならないか
あと今回SSがIUTを切って捨てたようなポイントを持つ数学は
これまでに一切存在していないのか
916:132人目の素数さん
18/12/26 21:28:46.37 3ya6FqCx.net
まあ超数学って言われると不完全性定理とかが思い浮かぶよな
917:132人目の素数さん
18/12/26 21:34:12.03 egsghpXg.net
超物理学とは言わずに形而上学とはこれ如何に
918:132人目の素数さん
18/12/26 21:35:55.12 ikbjjr3k.net
もうね、まともな感性してたらモッチーが正しいとか考えられない
919:132人目の素数さん
18/12/26 21:36:45.16 gbKkGmPI.net
>>864
Ann. Math. だって査読は外人に回すよ
それが普通
920:132人目の素数さん
18/12/26 22:06:36.28 yQVEDCxH.net
>>873
それは色んな見方があるだろうから、これは自分の偏見ですが
そもそも、様々な群スキームを俯瞰して計算するっていうのが理論の示している理念ですよね
題目によれば、どういう群の構成がどういうスキームのデータに対応しているのかコントロールできる
ような印象がある。ショルツらは実際、絶対遠アーベル幾何学の一番重要な第三論文を読んでるんですね
簡単に言えばIUTは、原色と配合の理論で様々な色を俯瞰できると言っているようなものです
しかし、どうもこの調合の部分がよくわからないんですよ
原色を上手く配合したら任意の色が出る、それに名前を付けたら区別ができる、というのは
具体的な色について知ることが大事な場合には情報が抜けた抽象論ですよね
だから、IUTが一体スキームの世界を具体的にどう俯瞰し革新するのかがよくわからないのです
921:132人目の素数さん
18/12/26 22:11:00.65 YMZL6bC6.net
>>872
なんか他人の論文あんま読んでないという印象を受けるんだよね。
基礎論に引っかかってると分かってるのに読んでないんじゃなかろうか。
基本的なところでダメになってる。
922:132人目の素数さん
18/12/26 22:24:47.16 j/A0kl5n.net
>>878
俺、アホなんで変な事言うかもしれないですが、
ABC予想は当然滅茶苦茶に難しいけど、不等号の式で示して締めくくるので、
数字を弾き出すわけではないので、手品のトリックみたいに、
解けたように見せかけやすいものなんでしょうか?
それとも、そうでないか、そうであるかどちらであるにしても、
IUTでのABC予想の解き方はそこまで、インチキが出来るものではない
くらいの厳密さはあるけど、具体的な数について何も示せない薄さ
みたなものがあるということなのかなぁ?
923:132人目の素数さん
18/12/26 22:33:02.95 fnqzilr3.net
英文ABC予想のwikiの文中にある不等号と数値が同じだけどどう解釈してるの
924:132人目の素数さん
18/12/26 22:38:47.22 yQVEDCxH.net
>>880
あの論争の不等式がかなり抽象的で単純なのを見てもわかるように、ABC予想で計算すべきものとか
想定される仕組み自体は抽象的なもので、IUTの、環スキームより抽象的な設定から攻める戦略自体は間違い
ではない。しかし、環を抽象化した理論は「最終的に不可欠だが抽象ナンセンスに陥りやすい」ということ
だから数体の大域なホッジ理論もまだないし、局所ホッジ理論しかない
要はABC予想はナンセンスと有意義な所のギリギリ境界の構造を攻める必要があるから失敗の危険が大きい
不等式に関わらず、数論幾何学の大きな未解決問題はそういう難しさがある
まあ、ウルトラでIUTが成功する可能性もあるがw
925:132人目の素数さん
18/12/26 22:51:33.93 j/A0kl5n.net
>>882
IUTでABC予想が解けている場合と解けていない場合を想定して、
解ける場合、例えば95%の確率で偶然ではなくABC予想を
解いているとか結果を出すような事が出来ないもんなんですかね?
926:132人目の素数さん
18/12/26 22:58:30.19 YMZL6bC6.net
>ABC予想はナンセンスと有意義な所のギリギリ境界の構造を攻める必要がある
???
927:132人目の素数さん
18/12/26 23:08:40.68 ghTlr2ms.net
遠アーベル的な群論的枠組みとか、充満多重同型、ラベルの使用が問題になっているんだけど、
結局、最大の焦点は不定性をどう扱っているかということなんだよね。望月とショルツとでは完全に平行線になっている
望月はこの不定性を最大限に利用しようとしているわけだが、ショルツは簡単に切り捨てている(p.7,脚注8)
-------------------
Choosing these “obvious” isomorphisms did not result in any problem that would be solved by
allowing some other (possibly indeterminate) isomorphism.
-------------------
これがショルツによる単純化の始まりにして最たるものだけど(特に括弧内の“possibly indeterminate”)、
この単純化を考察したのがロバーツのPDF、特に補遺の部分。彼はショルツに同意し、
ラベルについても「無害ではないが数学的には不必要」であるとしている
まあ、上のフェセンコ・レポートの和訳レス(>>841)にある、
>この過度の単純化は、数論や圏論の専門家でない者にさえ誤りだとわかるものだ。
というのは、圏論の専門家によってきっぱり否定されたわけだ
その後、ロバーツやシュライバーを遠回しにイチャモンつけたのはフェセンコらしいやり方だけど(笑)
928:885
18/12/26 23:11:46.68 ghTlr2ms.net
すまん、とんでもないミスタイプした(笑)
>>885
×「無害ではないが数学的には不必要」
○「無害だが数学的には不必要」
とんでもないミスでした orz
929:132人目の素数さん
18/12/26 23:25:32.06 yQVEDCxH.net
>>884
抽象化すると自由度が増す代わりに、簡単にアナロジーが取れない事が多い
はっきりした集合や圏すらぼやけてきて、頭を使わないと対象や論理すら掴めないってこと
>>883
理論のレベルを測るには、同じような方向の大きな抽象理論を作って対応付けをするのが一番良い
インチキとして切り捨てるのが時期尚早といいたいのだろうから、それは全く同意
930:132人目の素数さん
18/12/26 23:32:02.25 j/A0kl5n.net
>>887
レスサンクス
同感です
おちます
931:132人目の素数さん
18/12/26 23:55:06.23 yQVEDCxH.net
>>885
個人としては、少し読んだら昨日よりはアルゴリズムの部分がわかった気はするんですけどね
まあ直感的には位相群と環構造に隔たりがあって、情報を付加しないと幾何学的実現がない�
932:チて感じになる 神様が教えてくれれば色々振り切れるんだけどw
933:132人目の素数さん
18/12/26 23:57:12.23 YMZL6bC6.net
>>887
集合や圏がぼやけるって何???
934:132人目の素数さん
18/12/26 23:57:47.18 YMZL6bC6.net
数学用語を使った落書きだよね。これじゃ。
935:132人目の素数さん
18/12/26 23:58:53.23 ghTlr2ms.net
>>889
そうだよねぇ
神様でなくとも、「中身」のある「形式的に厳密な記述」ができる人を今日の夜まで待っていたんだけど、
結局現れなかったね(笑)
936:132人目の素数さん
18/12/27 00:19:35.63 3J8LMqDf.net
ずっと白夜の中にでも留まり続ければいいと思うよ。
937:132人目の素数さん
18/12/27 01:30:24.56 biUzCZwN.net
>>887
>理論のレベル
IUTには 大域的 局所的 観測者の視点
もないね、関数体と誤り符号訂正を思い出した
↓
宇宙際タイヒミュラー理論レクチャーノート
IUT 主定理 解釈: 「細いパイプ」
(すなわち、例えば宇宙船に乗った宇宙飛行士または地下鉱山で働いている鉱夫)で、
人が結ばれるだけである状況の下でさえ、
利用できる限られた情報を賢く利用すること
によって「向こう側」の状況を復元し
把握することができる。
938:132人目の素数さん
18/12/27 01:51:25.72 ESucdQ9Q.net
>>890
冷やかしかもしれないけど、もしピンとこないなら無視して欲しいな
失礼だけど、よくわからないからって絡んできてる印象しかない。これは背景知識があった上の話なんで
知ったか云々言いたいなら他人に文句言う前にまず自分で何か書いてね
939:132人目の素数さん
18/12/27 02:04:54.97 ESucdQ9Q.net
>>892
20時間の奴か。関係ないけど、PS-JSは多分参照文献もちゃんと読んでますね
つまり、やたら長く饒舌で頭の体操にはなるけど、結局必要な情報が足りない気がする
何なんだこれはって思ったんじゃないか?
自分の場合一部近い事をやってるので少しは片手間に時間割けるけど、普通は嫌だろうな
>>894
そこは不定性というノイズの中でモールス信号でやり取りするみたいな話なんだけども
話としては面白いんだがね
940:132人目の素数さん
18/12/27 02:17:07.94 biUzCZwN.net
>>896
復元だよ
941:132人目の素数さん
18/12/27 08:05:48.22 PLF5esOU.net
将来的にabcが解かれた時にIUTと実質同等な操作がなされている事が判明して和算の関孝和みたいな存在として伝説になるのが望月さん
942:132人目の素数さん
18/12/27 08:20:31.37 vGvBQNul.net
不等式の議論で 、
PS JSは元々 相対論の測定考察を深く
理解してる。>>858 >>859
ミンコフスキー時空の特殊大域的な慣性系で、特殊相対性原理と光速度一定の原理
による。
理論 物理量で普遍性の必要条件は座標系
座標変換 同値関係 順序関係と関係する。
曲がった時空の一般相対論は 局所慣性系で
等価原理が接続で表される。
IUTの復元は 単なる通信情報理論の
表面的な模倣とも思えるレベル。
英訳しても中身は同じ >>894
943:132人目の素数さん
18/12/27 08:22:37.50 vGvBQNul.net
>>898
IUTは 曖昧だから 何でもあり だな
944:132人目の素数さん
18/12/27 08:38:49.44 vGvBQNul.net
>>899
×特殊大域的→ ⚪特殊相対論は大域的
945:132人目の素数さん
18/12/27 10:12:59.47 V92JLRg8.net
>>900
このスレでぐだぐだ書いてるやつのやり方が望月と同じなんだよな。
勝手に造語して説明しない。
946:132人目の素数さん
18/12/27 10:14:56.62 V92JLRg8.net
あと公平を装ってるけど「望月は偉い」という方向�
947:ノ持って行ってるのも特徴的。 >>895で、 >やたら長く饒舌で頭の体操にはなるけど こんなことはショルツたちはまったく言ってない。 レポートの解説に見せかけて勝手に脚色してる。
948:132人目の素数さん
18/12/27 10:15:34.39 V92JLRg8.net
>>896
949:132人目の素数さん
18/12/27 11:08:53.23 bhwr4P3d.net
ああ、「中身のある、形式的に厳密な記述ができる人」の「中身」は、
「数学の価値」君or彼と6時間200レスした人、or査読の話でjinと同じことと言っているのに相手がjinと同じだ、と言っていた人
要するに、狂犬、通り魔、荒らしの類だな。不快感しか持てないわ。性質の悪さではjin以上かも知れん
無駄にレス消費するだけだからスルーするかNG入れるがよろし(IDコロコロ変えてくるからスルーしかないが・・・)
ちなみにこのスレで一番メタファーを多用しているのが物理屋さん
できるだけメタファーに頼らないようにしているのが親切な人
俺はこの2人が言っていること(言いたいこと)は大体分かるし、分からない時は調べる
950:132人目の素数さん
18/12/27 11:26:22.33 8Fk9AYZA.net
>>899
追記。
物理理論 物理量で 普遍性がある時
客観性があり 特定の観測者の視点=座標
に依存しない。
普遍性の必要条件から
物理 理論→座標の変換は群で、
群は同値関係を満たす。
例 ローレンツ変換群。
物理量→同値関係 順序関係 大小関係を満たす
時空の尺度→光速度一定から尺度を極める。
物理量の比較→二つの座標で 座標変換群を
使い一つの座標で物理量を比較する。
一つの慣性座標系内で 物理量は同値関係
順序 関係を満たす。
座標系に依存しない物理法則
→一般 相対性原理。
物理量をテンソルで記述する。
幾何は座標系に依存しない固有の性質を
対象とする。
集合論の無視 は測定の破壊に
繋がる非現実で客観性がない「理論」
と思う
951:132人目の素数さん
18/12/27 11:35:47.97 83VGoI4o.net
このやりとり面白いな
意味不明なことを言ってみせて相手が分からないと言ったら勉強不足だと返してるところが
望月たちのやり方にそっくり
学部生レベル云々はさすがに謝罪しないとね
952:132人目の素数さん
18/12/27 12:36:32.46 u+OTP1Uw.net
ど素人の愚問ですまんが
数学の「正しさ」ってのは実は一つではない可能性ってないの??
953:132人目の素数さん
18/12/27 12:48:10.98 TE7BnM5x.net
>>906
×極める ⚪決める
954:132人目の素数さん
18/12/27 14:13:33.28 lub2KoKF.net
>>906とかの片言ガイジはいつからこのスレに居ついてるんだ?
955:132人目の素数さん
18/12/27 14:43:18.64 q1hTi+v6.net
ない。あったら、もうそれはべつのゲームになる。
956:132人目の素数さん
18/12/27 14:43:56.96 5RtvxyQM.net
>>910
だいぶ前から張り付いてる
957:132人目の素数さん
18/12/27 14:58:08.14 LTkABt2f.net
>>910
常識だよ
958:132人目の素数さん
18/12/27 15:31:27.69 u+OTP1Uw.net
>ホッジ劇場での異世界間の息をのむような(メロ?)ドラマのサイエンスフィクション
なんかわろた
959:132人目の素数さん
18/12/27 16:26:19.78 BAf6JlYf.net
既存の公理系から形式的に証明を書き下せればいいんだろ?
できなければ万人が納得できる公理を追加してもいい
本人はこれ以上面倒なことはやらなさそうだから力わざの得意なやつがやればいいのに
960:132人目の素数さん
18/12/27 17:04:54.82 hJrMp
961:ZfD.net
962:132人目の素数さん
18/12/27 17:43:05.72 9weuNDnz.net
宇宙際超背理法で証明
963:132人目の素数さん
18/12/27 18:12:41.11 PdxQTTAd.net
>>907
謝罪は必要無い。感覚のズレたやつだな
964:132人目の素数さん
18/12/27 19:25:58.58 UBjeRQT1.net
>>907
ぼやけて云々っていうのは複数似たような現象があるんだけど、IUTに興味がある代数幾何学者なら
自動的に思い付ける例がある
だからいくら粘着されようが、それがわからんなら面倒だから絡まないでね、で終わり
965:132人目の素数さん
18/12/27 19:56:32.17 GSyWO/9c.net
要するに説明もできないし自明でもないってこと
小学生向けのビデオ講義が関の山
966:132人目の素数さん
18/12/27 20:30:03.07 xwcCluuE.net
IUTに興味がある代数幾何学者なんて存在しないもん出してもしょうがないだろう。
967:132人目の素数さん
18/12/27 21:14:13.51 WJdr8igo.net
あってる
968:132人目の素数さん
18/12/27 21:18:50.56 UBjeRQT1.net
>>915
というか、そもそも何がどうinter-universalなのかっていう辺りから殆どの数学者は疑問なんじゃないか
実際にそういう話が成り立っているなら集合論やモデル理論の研究者が殺到するような魅力的なものだが
969:132人目の素数さん
18/12/27 21:40:54.98 nVyRRgYG.net
話題も尽きつつあるし今年の終わりとともにこのスレも終了ですね
970:132人目の素数さん
18/12/27 22:37:15.77 bhwr4P3d.net
英語版wikiのIUTTしか読んでない横着者に1回だけ説明してやるか(笑)
・「ぼかし」というのはS・Sレポートの最終段落で書かれている。先ずそれを読め。それが理解できなければここから去れ
・親切な人が書いている通り、「ぼかし」というのは数学においては様々な場面で出てくる。代数幾何、圏論についてなら
不変量に関して問題になることがある。あと、情報処理や画像処理において数学を利用したものにもある。有名なのは
ガウス関数を用いた「ガウシアンぼかし」とかね
あと、物理屋さんがこのスレに住みついている件だが(笑)、上記の不変量という意味では対称性と並んで
現代物理学では重要だから、それと共通性のある(現代物理学等を模した?)IUTTに物理屋さんが関心を持つのは当然
怠け者かつア○ペというのはどうしようもないな。こんな基本的なことを書くのはもうやらないぞ(笑)
971:132人目の素数さん
18/12/27 22:48:48.01 ziiZsZ0o.net
>英語版wikiのIUTTしか読んでない横着者
訂正はできないほどの臆病者なんですね
972:132人目の素数さん
18/12/27 22:51:07.00 bhwr4P3d.net
望月の集合論の扱いについては、IUTT発表直後にエレンバーグのブログのコメントでUlrik Buchholtzがちょっと書いている
(Solomon Fefermanの弟子。フィールズ賞のFeffermanじゃないよw)
URLリンク(quomodocumque.wordpress.com)
ちょっと注意を喚起しただけで、IUTTの核心とは関係ないと好意的と書いていたが、
S・Sレポートのせいで(?)、俺にはやはりIU形式主義と種の言語が“potential issue”に見える
973:132人目の素数さん
18/12/27 23:06:29.48 bhwr4P3d.net
ちょっと補足しとく
IUTTが万が一w、正しい場合はIU形式主義と種の言語が“potential issue”となるだろうね
S・Sの指摘通りなら単に圏論における普遍性の問題。前にも書いたけど、
Inter-universal v.s. Universal という何とも皮肉な問題(笑)
974:132人目の素数さん
18/12/27 23:11:05.48 B5RvIAOy.net
>>147
特定されない程度でいいので、どういう話がされている
975:のか 書いてほしい
976:132人目の素数さん
18/12/27 23:22:48.20 xwcCluuE.net
>>925
こいつ他が読んでないとタカくくって適当に言ってるな。
ショルツは望月がblurringという作業を持ち出してるから言及しているだけで、
blurringという作業が数学的に有意義なんて言っていない。
望月は画像処理でblurというものがあるからそれを借用してるんだろうけど、
数学の世界そのものにblurという作業があるわけじゃないよ。
あれはあくまでも画像処理したときに人間にはぼやけてるというに見えるだけだ。
これ以外にも物理現象を好き勝手に借用しているからダメなのよ。
977:132人目の素数さん
18/12/27 23:26:32.30 xwcCluuE.net
アティヤのリーマン予想証明もどきもそうなんだが、
物理現象でなにかあるから数学に応用するという手法はストレートには成立しない。
微積の歴史からみても物理現象を解明できるから数学的に正当なんてことはなくて、
数学者の使命は物理的にうまく行くかどうかと切り離してきちんと形式的に証明することだ。
それができないなら物理の劣化版を作っているに過ぎない。
978:132人目の素数さん
18/12/27 23:55:06.87 bhwr4P3d.net
いやはや、大爆笑させてもらった
>望月は画像処理でblurというものがあるからそれを借用してるんだろうけど
あなた、もう好き勝手に書いてよ。俺はもうお腹いっぱいだ(笑)
979:132人目の素数さん
18/12/28 00:07:22.56 YOI3vu5n.net
とりあえず仕事納めなんでつらつらSSレポート読んでみた。
で、>>882>>889は変だという印象を受けた。
まず抽象化し過ぎると云々と書いてるけど、
SSレポートでは抽象代数という分野としてのabstractの意味で使われてるんじゃないかな。
抽象度を上げるとか下げるとかいう表現はどこにもなかった。
するとabstractは単に公理化のことなので、抽象度の上下は観念できないと思う。
それとも望月さんはどっかで公理化の抽象度があると言ってるのかな?
だとするとIUTT独自用語になるね。
次に>>889だが、これは末尾のページでj2スカラーを可換図式の左部に入れる作業を、
まるで数学的議論じゃないかのように曖昧に日本語訳してるだけだよね。
べつに神様持ち出さなくても純粋に数学的な議論だよ、これ。
それともこの作業に疑問があるのかな。なら示して欲しい。
980:132人目の素数さん
18/12/28 00:15:56.92 YOI3vu5n.net
ちなみに>>889が言ってる箇所は最終ページの、
>However, we saw that with these isomorphisms, the abstract
>Θ-pilot object does not encode the arithmetic degree of the Θ-divisor.
>Thus, Mochizuki wanted to introduce scalars of j2 somewhere on the left
>part of this diagram …
のところをなぜか細部の重要な部分だけ飛ばして訳してるのだと思うね。
べつに直感的に考えなくてもその前のところからきちんと流れは説明されているよ。
全体的な印象として、物理屋さん(?)たちはSSレポートの数学的議論を無視して、
適当にあれこれ言っているという感じでした。
あと上で議論になってるblurringはわざわざ二重クオテーションになっているので、
IUTT用語なんだけと思うけど、2箇所しかなくて説明がなかったので分からなかったかな。
結論としては非決定性なんか導入したらもとのabc予想のOの部分が曖昧になるから、
証明できなくなるじゃんってことっぽいのかね。
981:132人目の素数さん
18/12/28 00:35:09.18 94ToZKYo.net
は~、もうなんだかなぁ・・・
俺は物理屋さんでも親切な人でもないもう一人の方なんだが、
S・Sは最終ページでダイアグラムを書いて解説する前に、すでに充満多重同型とラベルの使用を認めていない
俺はこのことを>>761と>>777で書いた。あと“blurring”という語はIUTT主論文には出てこない
さて、「適当にあれこれ言っているという感じ」なのは誰でしょうか?(笑)
982:132人目の素数さん
18/12/28 00:37:17.
983:04 ID:zc0QFJy1.net
984:132人目の素数さん
18/12/28 01:01:43.19 QyAZaxFT.net
>>934
始めから読め
985:132人目の素数さん
18/12/28 01:02:12.26 94ToZKYo.net
本当に分かり易くてメンドクサイ煽り屋のクレクレ君だな(笑)
まず、あなたが先に書けばいいだろうに・・・
本当にメンドクサイから簡単に日本語で読める文章を教えておく
星の入門のp.11~「Diophantus幾何学的結果へのリンクによるアプローチ」と、
続入門のp.3~「初期ΘデータとHodge劇場」を読めば分かり易い
先ず自分の眼と頭と手を使って読み解き、考え、カキコしてよ
これじゃ小学生やアメリカのバカ大学の単位クレクレ学生と一緒だよ
本当にこれで最後だ。さようなら
986:132人目の素数さん
18/12/28 02:20:11.63 bMFTtxiH.net
何回も一回だけ、最後って言いながら書き込んでるよね
痴呆症なのかな?
987:132人目の素数さん
18/12/28 02:33:03.16 QyAZaxFT.net
>>936
数学の背理法からはじめよう
988:132人目の素数さん
18/12/28 09:49:05.12 ndyMfIDA.net
もうリジェクトされてるって
989:933
18/12/28 10:08:45.15 KlRY2tKA.net
あのあと寝てしまったので追記。
このスレで言われてることはほとんどでたらめで、
みんなもSSレポート読んだらいいよ。
ここで知ったかしてレポートの一部を切り取って、
自分が分かってそうな箇所だけ日本語に置き換えてるの読んでも騙されるだけ。
俺も半分騙されてたというか、IUTTってオカルト数学なんだな、
と思ってたけど、実際には普通の数学で普通に間違っているだけという感じ。
SSもIUTTを奇異な目で見てなくて、数学によくある普通の誤謬を含んだものとして、
普通に数学的に論破してるね。
例えばRemark9は単なる域値の取り間違いの指摘だし、
その他にも証明可能な範囲よりも強い命題を導出してしまっていたり、
可換性をもたせるためにパラメータを追加したら全体が動かなくなったり、
こういうよくある間違いばかりだよ。神秘的なアイデアなんてなかった。
990:132人目の素数さん
18/12/28 11:20:45.75 TS73gzRh.net
>>942
なんで山下星フェセンコはSSより前に
そこを指摘しなかったんでしょうね?
991:132人目の素数さん
18/12/28 11:31:09.10 r24YvQhy.net
ssレポートでIUTT知ったか増殖中
992:132人目の素数さん
18/12/28 11:45:08.72 KlRY2tKA.net
>>943
それは分からんね。
ただこれSSレポートも言ってるんだけど、一番エッセンシャルな概念である
Global realified Frobenioidsに関する議論はそもそもこの概念がなんなのか分かりにくく、
ショルツたちの変形をみなかったら、他の概念に帰着可能であるというのは気づかないかもしれない。
この点をうっかりすると後半の間違いには気づかないという罠があるんだよね。
ただ斜め読みしてるならともかく、何年もやってて気づかないのは変な気もするが。
まあじっさい読んでみなよ。
ここで書かれてるようなオカルトめいたことは、
SSが言っていないだけでなくそもそもIUTTの中にもないから。
993:132人目の素数さん
18/12/28 12:37:33.42 QyAZaxFT.net
>>945
数学には場合分けがあるはず。
PS JSとMHは 同型 ラベルについて
見解が分かれた。
PS JSの見解に基づくと 内部矛盾が生じる。
PS JSが普通の数学なら、
MHのIUTは全く新しい数学ですか?
994:132人目の素数さん
18/12/28 12:41:18.42 KlRY2tKA.net
>>946
ああそれは明確に
995:否定できる。 ラベルが機能しない理由をSSはIUTTが提示している式そのものから導出しているので、 このスレでぐだぐだ言っているような哲学的議論が入る込む余地はない。 IUTTは新しい数学ではなく単に既存の数学の中で間違っている。
996:132人目の素数さん
18/12/28 12:57:08.93 QyAZaxFT.net
>>947
あくまでも 既存の数学内では間違いですよね、
997:132人目の素数さん
18/12/28 13:01:52.80 KlRY2tKA.net
>>948
違うよ。
IUTTそのものが既存の数学の中で論じているってこと。
俺もこの点は騙されててこのスレで哲学みたいなことを言うから、
さぞ哲学的な議論なんだろうと思ったらまったくそんなことはなかった。
ただの推論ミスだね。
それでも既存の数学じゃないって言い張るなら論文はPRIMSから撤回して欲しいかなと思う。
998:132人目の素数さん
18/12/28 13:03:03.98 +r497Ia6.net
便所の落書きしてないで直接言えや
999:132人目の素数さん
18/12/28 13:14:40.70 AJbhrTtT.net
もう今のままPRIMSに掲載された方が「盛り上がる」しなあ
1000:132人目の素数さん
18/12/28 13:17:45.42 HC+hXqR8.net
>>947
便所の落書きの見本。
望月先生にメールなんてようできんやろ。
1001:132人目の素数さん
18/12/28 13:19:40.04 KlRY2tKA.net
>>951
事実上リジェクトなんだからそれはないだろうな。
SSレポートを読む限り、あそこを直せば解決というのが見当たらない。
特に不等式にとって必須であるはずの最後の可換図式を修正する方法はないと思う。
そのまえの段階からのミスの集大成になってるから。
1002:132人目の素数さん
18/12/28 13:20:52.40 FRjzRlVi.net
片言ガイジの筋悪レスw
1003:132人目の素数さん
18/12/28 14:13:28.89 wDsMWjBJ.net
望月の数理論理に対する理解は平凡な学部生レベルかもな。
1004:132人目の素数さん
18/12/28 14:24:27.91 gNezb3jd.net
そうなんだよね
>Teichmuller Theory IV の Section3 は集合論や数理論理学における文脈では意味をなさない主張になっており、
著者が数理論理学について理解をしていない可能性があるという意見がある。(ただし論文の構成上、
宇宙際タイヒミュラー理論の正当性とは関係ないとみられている。)
このスレで以前貼ってあったサイトにあった
URLリンク(www40.atwiki.jp)
1005:132人目の素数さん
18/12/28 14:50:45.58 94ToZKYo.net
>>956
そのHPは今年の初めごろ俺が貼り付けたんだけどね(笑)
親切な人とレス交換した始まりだ(懐かしい・・・)
ちなみにそのHPを作った人はIUTスレの初期(たしか3~5のどれかだと思う)で、工学部出身で専門家ではないと告白し、
いろんなブログ等から収集したと書いている
最終節に関しては、俺が昨日書いた>>927のUlrik Buchholtzのほとんどコピペだよ
1006:132人目の素数さん
18/12/28 15:02:47.83 94ToZKYo.net
まあ、S・Sレポートを読んでIUTTを分かった気になるのは個人の自由だが、
少しは望月の反論レポートも読んであげればいいんだけどな
その上でロバーツの解説や山下のFAQ(望月反論の概略にすぎないが)を読めばいいと思うよ?
俺はS・Sが正しいと思っているが、望月の反論、ロバーツのコメント、
過去に書かれたMOやブログ等のコメントも読んだ方がいいと思う
何よりもIUTTを読んで結論を下した方がいいと思うがね。S・Sがそうしたようにね
1007:132人目の素数さん
18/12/28 15:09:27.90 94ToZKYo.net
あと、俺が勝手に名付けている「親切な人、詳しい人、ゼータ界隈の人」についてだが、
彼の見解も二転三転している。それは彼がちゃんと自分の頭で考え判断している証拠だ
俺は数学の正否に関しては朝令暮改は当たり前だと思っている
俺から見れば昨日今日でS・Sレポートをちょっと読んだ程度の人のレスが、親切な人の関心の対象になるとは思えないね
彼は間違いなくこのスレ住人の中では多くを読み、より深く理解しているよ
1008:132人目の素数さん
18/12/28 15:
1009:21:38.75 ID:E2d0bS1D.net
1010:132人目の素数さん
18/12/28 15:22:37.84 7rrq/N2z.net
>>947
それをそのまま望月さんに伝えたらいいよ
学部からやり直せと返されるだけだと思うがw
擁護派ではないが単純な論法ミスでリジェクトという話ではない
勿論アクセプト出来る訳でもない
なのでプロジェクト化するんだがw
1011:132人目の素数さん
18/12/28 15:23:20.88 E2d0bS1D.net
ショルツたちのレポートを読めって要求していざ読まれて言ってることがでたらめだと暴露されたら、
今度はべつのレポートに戦場を移すって恥ずかしすぎないか?
1012:132人目の素数さん
18/12/28 15:25:04.28 KlRY2tKA.net
>>961
さて、RIMSがいくら根城だとはいえ、今回の件でどこまで資金を引っ張れるのかね。
外部は総スカンな上に、内部工作も失敗ではちょっと厳しいんではないかな?
論文の掲載先もないだろうし。
1013:132人目の素数さん
18/12/28 15:43:08.54 AJbhrTtT.net
>>961
政治的な話は別にして純粋に数学的にみれば
2020のプロジェクトも取り下げて周辺グループが科研費などで
研究継続するという形が普通だと思うのだが
高橋陽一郎や斎藤恭司や柏原正樹が所長やってた時代なら
こんなバカなことにならなかったと思うんだがRIMSどうしちゃったの
1014:132人目の素数さん
18/12/28 15:51:49.92 94ToZKYo.net
>>964
俺もそう思う
この辺は物理屋さんがいろんな文書をここで晒してくれたおかげだ
上記の御三方もそうだけど、RIMSではなかったが故・永田雅宜先生のような気骨のある先生だったら
絶対に許さなかっただろうね
1015:132人目の素数さん
18/12/28 16:56:10.21 bMFTtxiH.net
最後って言いながらずっと書き込んでる痴呆症の人は物理屋さんとか親切な人をレスに盛り込まないと書き込めない病気も患ってるの?
1016:132人目の素数さん
18/12/28 17:03:08.35 KlRY2tKA.net
>>966
なんかそのひとってほんと主張に特徴があって、
・IUTTは成功してないけど望月のアイデアはすごい
→ IUTTに独創的なアイデアというほどのアイデアはない
ショルツたちがIUTTのアイデアで独創的と認めているものはない
・IUTTは現状の数学では成立しないけど数学的には意義がある
→ 意味がよく分からない
・いろいろ書いてるけど別に数学に詳しくないっぽい
のよね。古典ガロアスレ主とかと一緒のタイプなのか。
1017:132人目の素数さん
18/12/28 17:05:35.98 lPwwuR3d.net
RIMSのプロジェクト撤回撤回うるさいけど、そんなに資金投入されてないよ?科研費に産毛が生えたくらいだし。
1018:132人目の素数さん
18/12/28 17:07:27.49 KlRY2tKA.net
IUTTに独創性があるという点については俺もなんか勘違いしていたが、
思い出してみれば初期にタオが読めるけど何も出て来ない言ったことだし、
このスレ何回か読んで刷り込みになってたのかな、と今になると思う。
1019:132人目の素数さん
18/12/28 17:13:05.44 KlRY2tKA.net
現時点で今最初期のことを思い出してみると、
まず圏論の理解があやしいという批判がなされていて、
そこから一歩も動いてない(というか尾ひれがつきすぎた)という感じになるのだろうか。
ショルツとスティックスの手法も、IUTTの造語を徹底的に分析して、
そこから既存のものに変形すれば間違いが分かるというやり方なんだよね。
このときに単純化と言う表現を使っているが、これはIUTT概念を単純化してるんじゃなくて、
IUTTが言ってる○○は既存の数学だとXXのことでしょう?というのを、
直感的・哲学的にではなく式変形できちんと示す作業のこと。
両者に数理哲学的な相違があるわけでもないっていう(俺はこれも勘違いしてた)。
1020:132人目の素数さん
18/12/28 17:15:13.86 94ToZKYo.net
>>967
あなたはいまだに俺と親切な人が同一人物の自作自演だと思っているんだね
その主張は親切な人のものだよ
俺は「望月のアイデアはすごい」とか「数学的には意義がある」とは一言も書いたことがない
まあ、自作自演に見えるのはお互いさまで、
俺にはあなたがIDをコロコロ変えながら主張したり煽ったりしているように見える
jinレベルか、「数学の価値」君とくだらないことで6時間で200レスした人のようにも見える(笑)
1021:132人目の素数さん
18/12/28 17:21:56.97 KlRY2tKA.net
>>971
数学的に意義がないと思ってるなら反論文の読解を勧めないで欲しいかな、と思う。
SSレポートのコメントで尽きてるということでしょう。
そう思ってるのにさらに別の論考を読ませようとするのは時間泥棒だよ。
すくなくともIUTTはナンセンス(数学的に無意味)であり、
SSのレポートで話は終わっている了解がとれたので、俺としてはこれで十分かな。
1022:132人目の素数さん
18/12/28 17:37:47.51 94ToZKYo.net
>>972
まあ、とりあえず望月の言い分も聞いてみたら(読んでみたら)という程度だよ
あなたのレス>>970に関してはほぼ同意できるのだけど、俺と親切な人がよくレス交換していた理由は、
なぜS・Sと望月にあれほど齟齬が生じているのかというのが出発点だった
圏論の専門家であるロバーツのPDFですら最初はやや望月寄りに書いて、後日補遺を足して事実上S・Sに同意している
S・Sレポートは最初に読むととても分かり易い
しかし、望月反論レポートを読むと彼らが行った単純化の行間を埋める必要がある
(この「単純化」という語はS・S自身も使っているが、実際はあなたが書いている通りだと俺も思っている)
そこでロバーツの補遺付きのPDFを読んで俺は行間を埋めた。例えば俺が>>885で書いたようなこと
まあ、あなたもS・Sレポートを読んだから分かると思うけど、主文も重要だが脚注もとても重要だよ
1023:132人目の素数さん
18/12/28 18:07:56.43 9iWuN0wu.net
プロジェクトの強行や詭弁を繰り返しても隠せないほどあちこち敵にまわしちゃったね
1024:132人目の素数さん
18/12/28 18:12:34.28 fkehK+Gv.net
結局、自分の理論に「宇宙際」とか中二病な名前つけときながら
肝心の圏論の理解はボロボロなMは只のイタイ奴ってことでOK?
1025:132人目の素数さん
18/12/28 19:27:36.70 MJ1CnfxQ.net
現代でもへっぽこ将軍に太鼓持ちがくっつくなんていうお伽噺があるなんてユートピア
1026:132人目の素数さん
18/12/28 20:25:31.97 oFyNky6D.net
>>973
お前の言う親切な人って片言ガイジ(>>906)のことだよな?
よくあんなのと会話ができたもんだ
1027:132人目の素数さん
18/12/28 20:52:39.28 EodztmTa.net
講演中に意味不明な質問ぶっこんで迷惑かけてる奴いるじゃん
片言ガイジから奴等と同じにおいがプンプンする
1028:132人目の素数さん
18/12/28 21:11:24.75 94ToZKYo.net
>>977
違うよ
その人(>>906)は物理屋さん
物理学に結び付けて多く語る人で、IUTT関係の公文書等をこのスレに晒した人
「親切な人、詳しい人」と俺が勝手に名付けているのはもっとIUTTの内容そのものに踏み込んで書く人のことだよ
まあ、意図・意味を汲み取ってもらえないというのは悲しいよね・・・
1029:132人目の素数さん
18/12/28 22:26:21.34 TJbsXdzz.net
>>967
やたら進んでて話を見てみたけど、望月の反論込みのパッケージで全く読めてないのと
アイデアが凄いと言ってる、というのは誤解だね。アイデアが凄い、なんて誰も言ってないよ
わざわざああいう一般化をした狙いはわかるけど、と散々言ってる
少なくとも論争のパッケージで見ないで色々断言しちゃう感覚がわからない
1030:132人目の素数さん
18/12/28 22:34:20.02 TJbsXdzz.net
そもそも、こうして既成の見方に帰着できるというやり方に望月側が反論してるわけでしょう
で、結果論からしたらショルツらの指摘が尤もらしいっていうのは散々やり取りしてきたんですよ
ただ、今回読みましたって人は望月の反論込みのパッケージと、何でそれでABC予想が証明できると
思ったのかについての意図の評価が抜けてるんで、そこを飛ばしてデタラメ扱いは失礼じゃないかなとは思う
1031:132人目の素数さん
18/12/28 22:39:16.19 TJbsXdzz.net
しかし何でここはやたら攻撃的な人間が多いんだろうな
パッケージはわからないけどショルツの指摘は尤もらしいな、でよくないですかね?
ちょっと人としておかしいと言いたいレベルw
1032:132人目の素数さん
18/12/28 22:44:19.60 fkehK+Gv.net
ここにはMのイヌがいるのか?
1033:132人目の素数さん
18/12/28 22:47:02.91 fkehK+Gv.net
>>967
>古典ガロアスレ主とかと一緒のタイプなのか
古典ガロアスレ主は正真正銘の池沼だよ
数学が分かってないだけでなく
そもそも文章が読めない
だからやたらとコピペしまくる
読んで自分の言葉にすることができない
1034:132人目の素数さん
18/12/28 22:49:02.83 zatBYe52.net
他のスレッドに比べれば全然紳士的でしょう
今までの扇状的なブロパガンタや詭弁の繰り返しに対して優しいくらい
それらが崩れたら地獄の門が開くかもしれないけど
1035:132人目の素数さん
18/12/28 22:57:21.20 HC+hXqR8.net
>>983
病院へ行こう
1036:132人目の素数さん
18/12/28 22:58:48.41 TJbsXdzz.net
あの>>933とか>>934は全然違います、総じて俺のレスに関しては、最早ショルツらの話には
寄ってないです。最大限望月側に寄せてみてよくわからないと言ってるわけだが、
それも擁護とは全く違うわけです
簡単に言えば、望月のやりたかったことと現実にはギャップがあって、現実的に理論を処理すると
大体ショルツらのようになるんでしょう。しかし前者の部分にははなから何もないのかどうか、に
興味を持っていたわけです
1037:132人目の素数さん
18/12/28 22:58:52.34 fkehK+Gv.net
>>986
おまえがMのイヌか?
1038:132人目の素数さん
18/12/28 23:03:47.03 fkehK+Gv.net
>>987
>前者(Mのやりたかったこと)の部分にははなから何もないのか
なんかあったって間違ってるんなら無意味だろ
1039:132人目の素数さん
18/12/28 23:07:39.23 TJbsXdzz.net
自分の考えでは、望月のやりたかった事から一定部分を抽出すると、本来あるべき理論が垣間見える
いくらデタラメ扱いされようとそれは変わらない。要するに問題は、望月の発想は本当に無内容なのか
ABC予想の正しい理論とはどういうものでありうるのか
特に前者で重要なのは、何故エッシャー的な見方に落ち込んだのか、ですよね
正しいか間違いかを超えてこれをはっきりしたら後者が垣間見えると感じてる
1040:132人目の素数さん
18/12/28 23:08:24.96 wIVveHUx.net
望月とIUTの肯定的評価はざっと見た限り300レスまでで
>>70>>161>>>>164>>254>>263
とあるのに、誰もアイデアがすごいなんて言ってないは無理があるんじゃないの?
というかID:TJbsXdzzのレスはどれを見ても数学の話をしてないな
1041:132人目の素数さん
18/12/28 23:14:39.91 I/yEFmui.net
それ以前に望月がやりたかったモチーフなんて考える必要性が分からん
そんなのは数学を研究してるやつなら誰でも持ってるだろう
動機やコンセプトじゃ意味ないのも誰でも分かってることだよ
1042:132人目の素数さん
18/12/28 23:18:23.95 TJbsXdzz.net
>>991
アイデアが凄いというより、正しい部分を捉えてるってこと。凄い、とは違う
これは全く変わらない
あと、そういう意味で数学の話をしてないっていうなら誰もしてないじゃんw
今回読んだ人の理解も実は結構間違ってるよ
1043:132人目の素数さん
18/12/28 23:23:30.11 I/yEFmui.net
>>993
散々既出だがabc予想を解く方向性が遠アーベルってのがまず理解不能
その説明を未だに誰もしていない
1044:132人目の素数さん
18/12/28 23:23:30.27 TJbsXdzz.net
>>992
それは屁理屈。どういうモチーフがあって、実際にどういう数理に持ち込むべきかが
トータルで重要に決まってるじゃん
だがそういう中身は俺は一切したくないし、総じて細かい話ははなからする気がないと散々言ってるからな
勿体ないからよ。だからふわふわ話でも掴んでくれる人とだけ話してたわけ
1045:132人目の素数さん
18/12/28 23:25:01.21 I/yEFmui.net
>>995
ショルツたちですら掴めてない構造を自分は理解してるけど話しません
ってので誰が信じるんだよ
1046:132人目の素数さん
18/12/28 23:25:36.12 TJbsXdzz.net
>>994
それには二つあるからな
もっと大きな戦略のイデアがあって、望月はその部分に触れたんだよ
結果的に遠アーベルを持ってきたが、遠アーベルでなけりゃやれないことは無いわな
1047:132人目の素数さん
18/12/28 23:27:29.75 TJbsXdzz.net
>>996
いや、それはさすがに視野が狭い
ショルツの論文が抑えてない重要なアイデアなんかいくつもあるぞ
俺を雑魚扱いしたいならご自由に。何を知ってんだって話
1048:132人目の素数さん
18/12/28 23:28:43.02 I/yEFmui.net
>>984
古典ガロアと同様にこっちもそれっぽいじゃないか。
1049:132人目の素数さん
18/12/28 23:29:52.68 TJbsXdzz.net
アホは自分の理解できる範囲で決めつけるってことさ
1050:1001
Over 1000 Thread.net
このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 25日 19時間 6分 20秒
1051:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています