20/04/14 08:57:40 KeVcPD0N.net
ｽﾚﾘﾝｸ(math板:48番)
>「ショルツ氏が間違っていて、正しいのはＲＩＭＳ（含む）＆英Ｆ＆米Ｄ、Ｊ」
>という仮定を置けば
自己中心的なネットウヨクと同じじゃな
「反日外国人が間違っていて、正しいのは日本人とそれを支持する親日外国人」
という仮定の底にアロンアルファを塗りたくって床にくっつけるヤツ
哀れじゃのう 国家を狂信しても国家に殺されるだけじゃろうに
ま、仮定から矛盾が導かれれば、仮定が否定されるだけじゃ
それが背理法じゃからのう
760:野暮天
20/04/14 09:00:26 KeVcPD0N.net
>>727
>「…ガッキー可愛ｅ💗…」
昔は💩ガキだったようじゃ
URLﾘﾝｸ(xn--r8jwmybtf1e156q0uov96ggnm.jp)
IUTを象徴しておるようじゃのう
761:１３２人目の素数さん
20/04/14 09:04:51 G3rA8umE.net
村八分というよりIUT汚染の封じ込め
でしょ。
762:野暮天
20/04/14 09:05:31 KeVcPD0N.net
乃木坂一期主力メンバーの幼少期写真
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
誘拐するなら
?＞?＞その他
の順じゃな
763:心太
20/04/14 09:13:48 SrqUaQtE.net
>>730
野暮天様は🌸ガッキーさま🌷は
おﾀｲﾌﾟじゃなぃんですか…?
…もぅ👴おじいちゃん。。。
ってほんとなんですか…?
…まさか…
…ﾑｽｺさんが先に寝たきりに…?…
764:野暮天
20/04/14 09:13:54 KeVcPD0N.net
乃木坂メンバーの幼少期写真
URLﾘﾝｸ(sakamichijyoho46.blog.jp)
この中じゃったら
お＞J＞その他
じゃな
J は今テレ朝の女子アナやっとるな
URLﾘﾝｸ(www.tv-asahi.co.jp)
お は「顔だけなら最強メンバー」といわれたあのコじゃろう
URLﾘﾝｸ(www.excite.co.jp)
PはSU-METALの姉じゃが・・・ゴメン、フツウじゃ
765:１３２人目の素数さん
20/04/14 09:14:50 7xw+tROW.net
>>728
RIMSが全員集合論を分かってないのは間違いないが、
文元が既存の公理の上ですって言ってるから、IUT4章の3節辺りだっけ？以降はカットなのではないかと
であれば、査読者は集合論に関しては何も触れてないので勘違いしてるとは言えないということになる
766:野暮天
20/04/14 09:22:19.92 KeVcPD0N.net
乃木坂メンバーの幼少期写真
URLﾘﾝｸ(nogizakaotaku.blog.jp)
１の左のつぶらな瞳の美少女がのちのSU-METALじゃ
やはり小さい頃から美少女じゃのう😄
右が姉のひめたんじゃが・・・�
767:tツウじゃな で、後ろの半分見切れておるのが、一番上の姉 ・・・見なかったことにしておく
768:心太Ｋ事
20/04/14 09:24:30.28 SrqUaQtE.net
逮捕しますたー！◎>>732◎
769:野暮天
20/04/14 09:29:44.93 KeVcPD0N.net
ザンコクな千原せいじｗ
URLﾘﾝｸ(babymetalmatome.com)
770:心太
20/04/14 09:30:52.95 SrqUaQtE.net
爺さんがﾑｽｺさんに先立たれて
良かったのかも知れなぃ…
犠牲者を出さずに済みそぅ…?…
771:１３２人目の素数さん
20/04/14 09:34:02.98 KBbdfDDX.net
＜NG野郎＞
ID:jmK8b/PK
ID:OlsRjmnt
ID:ijoqd/ZI
ID:ukZx7597
ID:KeVcPD0N ← いまコレ
772:野暮天
20/04/14 09:34:41.51 KeVcPD0N.net
>>739
＞ﾑｽｺさんに先立たれて
ちん太殿は現役かのう
じゃ、ワシはちょっと遠方へ・・・
URLﾘﾝｸ(natalie.mu)
773:１３２人目の素数さん
20/04/14 09:39:17.53 SrqUaQtE.net
>>740
すごぃ!また正解！
w
774:野暮天
20/04/14 09:40:29 KeVcPD0N.net
>>740
なんか「紅衛兵」が発●しとるのう
数学のスの字もわかっとらんのに
「望月有理！」
と絶叫するさまは滑稽じゃのう
そんなこといっとる間にコロナにかかって
治療どころか検査もさせてもらえず野垂れ死ぬぞ
お前が心酔する日本国は一貧乏人のお前に何もしてくれん
これが現実じゃ
775:心太Ｋ事
20/04/14 09:43:13 SrqUaQtE.net
>>741
…やはり〇対を/◎◎\見張る必要があるな…
…今日も一日、ﾔﾂを行確か...
776:１３２人目の素数さん
20/04/14 10:14:12 o2y5SfaS.net
あらし(´д｀)ｲｸﾅｲ!!
777:１３２人目の素数さん
20/04/14 10:20:33 lY8AVF5Y.net
511 １３２人目の素数さん 2020/04/13(月) 13:29:28.04 ID:vvVnRe9y
Woitのブログの最新コメントの人が過激派でワロタ
>mahmoud says:
>April 13, 2020 at 12:04 am
>...
> (I’m tempted to say that IUT appears to be not even wrong.)
>...
これで「IUTTは超ひも理論と同等の価値があると認められた！」
778:１３２人目の素数さん
20/04/14 10:20:41 SrqUaQtE.net
…ｺﾞﾒﾝﾅｻｨ…
779:１３２人目の素数さん
20/04/14 10:20:48 lY8AVF5Y.net
って信者釣ろうぜ
780:１３２人目の素数さん
20/04/14 10:29:02 IrY4eK9l.net
もっちーは物理的に同じ位置にとどまっていたとしても心は世界を駆け巡ってるから
女子の整形ごときでウダウダ抜かさないと思います
781:野暮天
20/04/14 10:33:04 KeVcPD0N.net
女子の整形は美容の範囲内じゃろうが
理論の整形は立派な詐欺じゃろうな
782:野暮天
20/04/14 10:36:12 KeVcPD0N.net
>>745
そうじゃのう
嵐はいつ新国立競技場ライブの延期を発表するんじゃろう？
URLﾘﾝｸ(www.tokyo-sports.co.jp)
783:１３２人目の素数さん
20/04/14 11:10:47.77 6jeBBFwW.net
>>734
おＪと産地一緒w
おちゃん乙女＆Ｊちゃん水瓶w
坂道坂道書かれるとﾁｮｯﾄ…(ﾄﾞｷｯ…!…)
w
784:１３２人目の素数さん
20/04/14 11:10:48.71 6jeBBFwW.net
>>734
おＪと産地一緒w
おちゃん乙女＆Ｊちゃん水瓶w
坂道坂道書かれるとﾁｮｯﾄ…(ﾄﾞｷｯ…!…)
w
785:１３２人目の素数さん
20/04/14 11:14:06.02 6jeBBFwW.net
軽めにﾊﾟﾆｯｸ気味で２投になっちゃってました… (焦
|=3 ﾋﾟｭｯ! 失礼しました―!
786:１３２人目の素数さん
20/04/14 11:36:14 SZfdSsuJ.net
>Note that this particular comment thread is being moderated with an even heavier hand than usual: most submitted comments are getting deleted in an effort to keep the discussion focused and infor
787:mative. Woitが最新のコメで↑っつてるけど このスレにいるようなクソみたいなやつらのクソコメが大量に投稿されては削除されてるんだろうなと思うと草生える
788:１３２人目の素数さん
20/04/14 12:03:10 np+40nhX.net
ブログで、しかも論文の執筆者本人がいない状況でおこなっている
「議論」なんてそもそも意味ないんだけどな
789:１３２人目の素数さん
20/04/14 12:24:33.47 TRBhjEPr.net
>>755
ワロタ
790:１３２人目の素数さん
20/04/14 12:28:04.11 KBbdfDDX.net
>>756
ショルツは再反論しないで査読おわったニュースの後にチマチマとブログにコメント
恥ずかしくないのかな・・
791:１３２人目の素数さん
20/04/14 12:29:53.81 oSSISEiH.net
ショルツと望月さんがお互い話しても堂々巡りで無駄だと感じてそうだから誰か間に入るしか無いだろ
792:１３２人目の素数さん
20/04/14 12:30:27.62 SP26aiRQ.net
>>758
再反論しなかったのはどういうつもりだったんだろうね。
日本人同士だと無茶苦茶失礼だが。
793:１３２人目の素数さん
20/04/14 12:31:17 SP26aiRQ.net
>>759
間に入りまくりでしょ。
いろんな人が発言してるし。
794:１３２人目の素数さん
20/04/14 12:32:33 KBbdfDDX.net
>>760
しかも子供くらいの年下のくせに 態度がおかしい
数学者としても社会人としても、ちゃんと再反論しろよと
795:１３２人目の素数さん
20/04/14 12:33:41 SP26aiRQ.net
>>762
それ。欧米だと文化が違うのか、
アジア人差別が入ってるのか
判断できない。
796:１３２人目の素数さん
20/04/14 12:35:29 TRBhjEPr.net
>>756
論文の著者本人がいないことは議論の有益性とは関係ない
多くの場合、著者は自分の論文が正しいと信じて疑わないし、ギャップに気付くことすらできない
議論が個人的な対話でなくブログという公の場で行われている理由は不明だが、
恐らくこの問題が非常に複雑であることと関連しているのだろう
IUTの不明瞭な点が公開されることは、他の数学者たちにとって有益だと思う
797:１３２人目の素数さん
20/04/14 12:35:30 1qnJddCc.net
反論っていうのは相手が論じてるときに使う言葉だからな
望月の主張はmeta argumentにすらなっていないので反論はそもそも出来ない
798:１３２人目の素数さん
20/04/14 12:37:02 KBbdfDDX.net
>>763
白人ごときにアジア人ｗっていう枠で差別されようが関係ないよｗ
数学者としての態度と礼儀の問題がそこにあるだけ
799:１３２人目の素数さん
20/04/14 12:37:39 tN0r41F3.net
新型コロナウィルス感染症。
1月14日東京都は対策を指令
1月23日に武漢封鎖
厚労省の新型インフルエンザ対策
にあるように日本で蔓延が予測される
危機にあった。
新型インフルエンザ対策は感染症
ibm数理モデルにもよる。
京都RIMSでは2020IUTカンファレンスを根拠もなく9月へスライド延期した後IUT論文を受理を発表した。
その後共産大クラスターをはじめ
感染拡大より京都府市は政府に
非常事態宣言を要望する事態になった。
現在 感染数理モデルの予測は北大
がリードしている。
京大数理解析研究所は数理と名乗る
割には全く感染数理モデルの予測に
無力でひきこもりIUT論文を眺めて
いるのだろうか
この際邪魔するよりは良しとしよう
京都は疫病が流行る独特の歴史があり
近代公衆衛生と異なるらしい、
住宅も密集し三密だが。
対策はペスト流行を検証したKM
方程式により自然に収束するまで今まで通りひきこもりだろうか
しかし方程式には進行波解がある
関西圏から首都圏へ更に世界へ向けて進行する
世界の女子も感染したなら原因の肺
に醜い箇所があり整形しても醜い痕が残るなら、、
ああ地中海のカミュ「ペスト」を超えた奇異な世界が京都の風土なのだろう
800:１３２人目の素数さん
20/04/14 12:39:29 SP26aiRQ.net
>>765
ショルツがそう判断したなら、そういすメタ・アーギュメントを返して
討論できないと通告する立場だったのよ。
わからんかな。
801:１３２人目の素数さん
20/04/14 12:42:04 SP26aiRQ.net
>>766
ですよね。討論こそ命なのに、放置したらアウトだよ。
802:１３２人目の素数さん
20/04/14 12:43:03 1qnJddCc.net
>>768
「反論しないのは失礼」かもしれないが、「反論するレベルじゃないことを伝えないのは失礼」とは言えないと思うが
803:１３２人目の素数さん
20/04/14 12:43:10 FFLuGRba.net
>>764
関係あるよ
ギャップを指摘されて、「それはギャップではない」という立場なんだから
今ブログでやっていることはショルツが「ギャップがある」という主張を
一方的に流しているだけでこれは議論ですらない
804:１３２人目の素数さん
20/04/14 12:44:49 tN0r41F3.net
>>767
× ひきこもりIUT論文を眺めて
いるのだろうか
⚪ひきこもり今まで通りIUT論文を
修正しているのだろうか
805:１３２人目の素数さん
20/04/14 12:47:23 KBbdfDDX.net
若くしてフィールズ賞受賞したイケイケの数学者が
自分の整数畑でとんでもない基礎理論をぶち上げた日本人数学者が出現
名のある数学者が理解できないと匙を投げる中がんばって読んで噛み付いたけど
そっこーモッチーに反論されてしまい査読が終わるまでの2年間再反論はしなかった
できなかったと言うのが本当のところじゃないかな
実は数学そのものの概念を変えてしまうほどの理論だったと若い天才は気付いたのかも
806:１３２人目の素数さん
20/04/14 12:52:07 s4jU93KL.net
ショルツは引かない撤回させるため
どこまでも追いかけてくるから心配ない
807:１３２人目の素数さん
20/04/14 12:55:13 SP26aiRQ.net
>>774
追っかけるなら討論続けてると思うが。
808:１３２人目の素数さん
20/04/14 12:58:42 TRBhjEPr.net
>>771
一方的ではないでしょう
コメント欄では誰でもショルツに反論できるわけで
正当性のある反論ができればショルツの意見を変えられるかもしれないぞ
あと、著者本人がブログに降臨してもいいんじゃない？
ブログの存在を知らないなら教えてあげてもいいんじゃないか？
先生、未だにショルツがうだうだ言ってるんでガツンと言ってやってくださいよって
809:１３２人目の素数さん
20/04/14 13:07:53.08 8FhN93Xm.net
>>776
ショルツが答える番なんだから、
ショルツがいくべき。
しないならしたくないと取るよ。
相手は。
810:１３２人目の素数さん
20/04/14 13:12:40.37 TRBhjEPr.net
>>777
逆に言えばコメント欄で論破できればショルツを黙らせることもできるよね
関係者がそれをしないのはなぜ？
ショルツに気を遣っているとでも？
811:１３２人目の素数さん
20/04/14 13:13:54.73 8FhN93Xm.net
>>778
気を遣ってんだろ。もちろん。言い換えると、タイミングの選択権は答える方にある。
でも待つにも限界があって、放置しすぎたから、答える気がないと判断されたってこと。
812:１３２人目の素数さん
20/04/14 13:18:42.39 TRBhjEPr.net
>>779
関係者優しすぎワロタ
状況を変えられる場があるのに利用しないなんてもったいないなあ
813:１３２人目の素数さん
20/04/14 13:21:23 FFLuGRba.net
>>776
たかが一個人、しかも数学者でない人のブログにいちいちコメントとかする方がおかしい
ショルツもDupuyも書き込むべきじゃないと思うよ
結局査読の過程で反論・再反論があるべきだった（だからRIMSはショルツを査読者にすべきだった)
それがかなわず、掲載ということになったら、ショルツは論文の修正・撤回を主張する
指摘を正式にPRIMSにおこなえばよい
814:１３２人目の素数さん
20/04/14 13:24:31 8FhN93Xm.net
>>780
理論の議論なんだから、当然だと思うが。
あんたの方が変だよ。
815:１３２人目の素数さん
20/04/14 13:25:52 FJ+FFLkg.net
現状、Woit氏と、Scholze氏にIUTは否定されているという状況は変わらんのね。
816:１３２人目の素数さん
20/04/14 13:26:15 1qnJddCc.net
反論�
817:ｷるレベルにすら至っていない証明、説明であったから、放っておいても廃れるだけだろうと思っていたのに、 査読が通ったから口を出さざるを得なくなった、というのが正しい きちんと真っ当にリジェクトされるのが本来の流れだったにも関わらずアクセプトしてきたから黙っていられなくなった、というのが流れだな 本来はショルツが反論するまでもなくリジェクトされて終わる理論だった だからアクセプトされた途端コメントするのはある意味当たり前
818:１３２人目の素数さん
20/04/14 13:26:19 8FhN93Xm.net
>>781
ショルツにそんな権限もそんなことを認める文化もないだろ。
あと、返答もしない奴は査読の資格ない。
何回やりとりが必要なのかわからんのに。
アホなのか。
819:１３２人目の素数さん
20/04/14 13:31:30 6VXB16i6.net
>>780 さん
兄貴、こいつら何言ってもだめですぜ
820:１３２人目の素数さん
20/04/14 13:36:00 1qnJddCc.net
アクセプトされたあとの結果論から「ショルツはなんで反論しなかったんだ」って主張している人がいるが、
アクセプトされる直前までは「ショルツがなにか言うまでもなくリジェクトされる理論だった」んだからな
PRIMSが圧力に屈してアクセプトしたから、騙される人も増えた
だからショルツも口を出すしかなくなった
821:１３２人目の素数さん
20/04/14 13:37:41 8FhN93Xm.net
>>786
論文の査読のいみわからんやつは
どっか行ってくんない
822:１３２人目の素数さん
20/04/14 13:41:01 FFLuGRba.net
>>785
査読者じゃないんだからいちいち返答や反論する必要はないよ
ショルツを査読者にすればその義務が生じるけどね
823:１３２人目の素数さん
20/04/14 13:45:04 8FhN93Xm.net
>>789
そうだよ。
だから、
出版するわけだ。
なんの問題がある?
824:１３２人目の素数さん
20/04/14 13:46:46 oSSISEiH.net
ここには正誤を判断できる人はいないから時間が解決するしかない
825:１３２人目の素数さん
20/04/14 13:50:01 8FhN93Xm.net
>>791
外野は形式的な問題しか議論できないけども、
変な非難は排除しとかないと。
というか、明らかにここ位にいる変なの
それ狙ってるでしょ。
だから叩き潰した方がいいよ。
826:１３２人目の素数さん
20/04/14 13:54:40 JM86L/WY.net
ショルツからしたら
査読者が全員集合論を理解してないなんて想定外だろ。
反論しようにも正しい集合論のレクチャーからスタートしなきゃならないから
本業もあるのにやってられねぇよそんなん、
827:１３２人目の素数さん
20/04/14 13:59:56 FFLuGRba.net
>>790
うん
だから望月もショルツも何の権限もない私的なブログで議論する必要ないよね
828:１３２人目の素数さん
20/04/14 14:00:46 KBbdfDDX.net
>>793
じゃあ再反論しなくてもいいからオフィシャルな説明をモッチーサイドに返さないとねｗ
大人なんだから
829:１３２人目の素数さん
20/04/14 14:08:33 8FhN93Xm.net
>>794
シュルツ側から返答に変えてやるつもりでアプローチするとかはあり得ると思うで。
いずれにせよ、理論問題はいつとけるかわからんわけだから、
問題を持ってる方、つまり、返答する方が選択権がある。
やらんかったら、やるつもりないとみなされるし、
査読もむりだ。あたりまえ。
830:１３２人目の素数さん
20/04/14 14:11:42 TRBhjEPr.net
Woitのブログは、素人でもショルツを説得できる可能性があるという点で肯定派にも都合が良い場だと思うけどな
それができない野次馬が騒いでいるようにしか見えない
別に関係者だって匿名でコメントしてもいいんだぞ？
831:１３２人目の素数さん
20/04/14 14:28:01 KBbdfDDX.net
>>797
関係者ならなおさらブログのコメントごときでやり取りしないだろ
ガキじゃないんだから
832:１３２人目の素数さん
20/04/14 14:29:03 BIiNoqWe.net
最新コメントのUFは結構IUTに精通してそう
833:野暮天
20/04/14 15:13:15.49 KeVcPD0N.net
Woitのブログに誰一人書き込めない時点でIUT派は敗北じゃな
森重文は望月に無条件降伏の引導を渡すべきじゃろう
834:１３２人目の素数さん
20/04/14 15:16:09.58 rTviJ6yB.net
>>797
すでにわけわからないコメントが殺到している可能性あり
ピーター・ウォイトは言う。
2020年4月13日 6:34 pm
望月証明の数学的な問題についてここ�
835:ﾅ行われている注目すべき 非常に貴重な対話を閉じたくありません。 しかし、テイラー・デュピュイは、数学的な議論がこれらの問題に 焦点を当てたものであることを確認するのを助けたいという 私の気持ちを正しく汲み取っていました。 数学のより広範な議論は、すぐにこのような何かを司会するための 私の限界的な能力を超えてしまうでしょう。 この特定のコメントスレッドは、通常よりもさらに重い手で モデレートされていることに注意してください: ほとんどの投稿されたコメントは、議論に焦点を当てて有益な情報を 提供し続けるために削除されています。 この後、まだショルツ派２名が投稿しているよ 擁護派あやうし
836:野暮天
20/04/14 15:20:56.62 KeVcPD0N.net
>>801
望月派は無知無能なネット右翼じゃからのう
日本人を侮蔑嘲笑するなとかいうわけのわからん文章を
英語に自動翻訳してコメントしとるんじゃろう
数学抜きのコメントが無意味だとわからんか？
837:１３２人目の素数さん
20/04/14 15:21:09.48 FJ+FFLkg.net
ショルツ側としては、凡庸でギャップのある理論
望月側としては、世界を変える自明な理論
838:１３２人目の素数さん
20/04/14 15:22:45.30 FJ+FFLkg.net
京都は魔京だから、ギャップの埋まるパラレルワールドなのかもしれん
それを証明できれば、ほんとに宇宙際だよ。
世界変わる。
839:野暮天
20/04/14 15:23:55.97 KeVcPD0N.net
>>803
＞世界を変える自明な理論
これまたおかしな言い草じゃのう
世界を変えるならその時点で「非自明」じゃろう
だいたい自明なら６００ページも書かんじゃろう 違うか？
840:１３２人目の素数さん
20/04/14 15:24:40.63 nMowBrOy.net
以前に
math jinが欧米コミュニティで大暴れ
しTwitterをブロックされた件があった。
IUT派は煽ると何するかわからないヨ
841:野暮天
20/04/14 15:25:18.58 KeVcPD0N.net
>>804
おぬし・・・ワンダーJAPANの読みすぎじゃ
URLﾘﾝｸ(www.104-0031.com)
842:１３２人目の素数さん
20/04/14 15:25:23.78 OLOgNoCJ.net
既存数学をチェスに例えれば、既存数学者たちはチェスの戦略をいっぱい研究してる
人たちだった。
そこへ数学のルールをチェスのそれから将棋に変えてしまう研究者が現れた。
新しく創り出された将棋のルールは論文発表されてアクセプトされたが、
既存数学者はチェスの戦略は研究済みでも、将棋の戦略は想像もつかなかった。
居飛車、振り飛車、棒銀、穴倉などの定石もこれから一手一手試すことから始める
ことになった。
チェスの世界チャンピオン（≒ショルツ博士）は将棋が分からないので、
とりあえず、キングの配置にいちゃもんをつけてみたが、望月博士は
それはキングではなく王将です最初から（将棋の）ルールをもう一度よく読んで
くださいと反論した。
例えが悪いかもしれないけど
843:野暮天
20/04/14 15:26:30.11 KeVcPD0N.net
>>806
math_jinか・・・正真正銘の●違いのようじゃな
844:１３２人目の素数さん
20/04/14 15:27:31.50 nLbbaypx.net
2名ともショルツ派？ なんていえない気がする
845:１３２人目の素数さん
20/04/14 15:27:46.16 WoQOi3cG.net
あんなに補題3.12が問題と言われてるのに、より詳細な証明を理解者と言われる人々が誰一人出せないってことを擁護派はどう捉えてるのか
846:１３２人目の素数さん
20/04/14 15:29:21 MZcHusms.net
ConradとStixの音沙汰ないのが気になる
もう関わりたくないのかな
847:１３２人目の素数さん
20/04/14 15:31:21 FJ+FFLkg.net
あ、あ、嵐、あ、あ、嵐
インター ユニーバサル あ、ら、し～～～～
848:（いや、この場合は国際なのか…、中身があれば論争はいいと思うよ、あれば）
849:野暮天
20/04/14 15:37:10 KeVcPD0N.net
>>808
こんな感じかのう
望月 「この世界は軍人将棋。私はスパイ。そして、ショルツ、あなたは…」
ショルツ「中将(￣ー￣)ﾆﾔﾘ」
望月 「え😲？・・・😱イヤァァァァァ 大将ドコ？」
軍人将棋
URLﾘﾝｸ(ja.wikipedia.org)
850:１３２人目の素数さん
20/04/14 16:01:52 cA9ZjX1e.net
やらかしたってこと？
851:１３２人目の素数さん
20/04/14 16:03:05 KBbdfDDX.net
ID:KeVcPD0N
また湧き出したか・・
852:野暮天
20/04/14 16:07:49 KeVcPD0N.net
やあ （´・ω・｀)
ようこそ、居酒屋 野暮天へ。
この付け出しはサービスだから、まず食べて落ち着いて欲しい。
うん、「また」なんだ。済まない。
仏の顔もって言うしね、謝って許してもらおうとも思っていない。
でも、このＨＮを見たとき、君は、きっと言葉では言い表せない
「ときめき」みたいなものを感じてくれたと思う。
殺伐とした世の中で、そういう気持ちを忘れないで欲しい
そう思って、このＨＮをつけたんだ。
じゃあ、注文を聞こうか。
853:１３２人目の素数さん
20/04/14 16:19:02 OLOgNoCJ.net
既存数学をfortranに例えれば、既存数学者たちはfortranのアルゴリズムやサブルーチンを
いっぱい研究してる人たちだった。
そこへ数学の言語をfortranからjavaに変えてしまう研究者が現れた。
新しく創り出されたjavaは論文発表されてアクセプトされたが、
既存数学者はfortranによる構造化プログラミングは研究済みでも、javaのオブジェクト指向
プログラミングは想像もつかなかった。
クラス、オブジェクト、メソッド、インターフェースなどの用語もこれからひとつずつ試す
ことから始めることになった。
fortranの天才プログラマ（≒ショルツ博士）はjavaが分からないので、
とりあえず、望月博士のクラスやインタフェースとオブジェクトにわざわざ分けて書くとコード数
が増えて無駄が多いから全部サブルーチンで書けばコード数を半分にできますよといちゃもんを
つけてみたが、望月博士はそれはプログラムの設計思想が初めから違いますのでソースコードを
もう一度よく読んでくださいと反論した。
例えが悪いかもしれないけど
854:海老天
20/04/14 16:30:10 6jeBBFwW.net
鳥カラ＆lemon🍋と
海老🍤とﾌﾞﾛｯｺﾘｰのﾀﾙﾀﾙｿｰｽ と
黒ラガー＆梅酒ソーダ。。。
855:海老天
20/04/14 16:35:11 6jeBBFwW.net
…夕飯買いに行かなきゃ…
(使命感)
ﾓｯﾁﾝ様は Ｏｕｃｈi 焼肉
。。。かなぁ。。。
856:１３２人目の素数さん
20/04/14 16:38:19 6jeBBFwW.net
皆さまも上手いことｺﾛﾅちゃん達を避けて。。。
無事美味しい夕食に辿り着けます様に…
857:野暮天
20/04/14 16:43:52 KeVcPD0N.net
>>818
fortranからjavaへの変更くらいなら大したことなかろう
ま、unlambdaとかBrainfuckのような言語は知らんが
858:１３２人目の素数さん
20/04/14 16:50:07.05 rTviJ6yB.net
>>808
そのたとえなら、将棋のルールが発表されれば、ショルツがわからないわけないじゃん
これから一手一手試すことから始めることになって、やってたら、突然、「丸」という駒がでてきた。
そんなのルール違反じゃないの？と
859:１３２人目の素数さん
20/04/14 17:10:51.94 IrY4eK9l.net
もっちんさまは年齢的にお魚を食べた方がよいと思われますね
860:野暮天
20/04/14 17:17:20.74 KeVcPD0N.net
今後の展開
１．IUTから矛盾が導かれる (望月破滅）
２．IUTが既存の圏論とは異なる理論と証明される （望月別世界に隔離）
３．IUTが圏論の拡張となると示されABC予想の証明が認められる （望月大勝利）
４．IUTは理論として理解されずABC予想の証明もギャップありで認められず （望月 忘却される）
まあ、４
861:じゃろな
862:野暮天
20/04/14 17:20:41.27 KeVcPD0N.net
>>825
1と同様の例：内包公理による素朴集合論
2と同様の例：ユークリッド幾何に対する双曲幾何
3と同様の例は・・・いい例が思いつかんから誰か教えてくれんかのう
863:粋蕎
20/04/14 17:21:32.63 x0tX+KLS.net
>>817
其のコピペ…2chはいつからじゃ？
864:野暮天
20/04/14 17:25:59.72 KeVcPD0N.net
>>825-826
強いていえばこんな感じかのう
3と同様の例：到達不可能基数の存在公理を追加したZFC
しかし、この場合、>>825の「望月大勝利」はちょっと違うのう
書き直すとこんな感じかのう
１．IUTから矛盾が導かれる (望月破滅）
２．IUTが既存の圏論とは異なる理論と証明される （望月別世界に隔離）
３．IUTが圏論の拡張となると示される （望月別予想を発見）
４．IUTが圏論を保存すると示されABC予想の証明も認められる （望月大勝利）
５．IUTは理論として理解されずABC予想の証明もギャップありで認められず （望月 忘却される）
ま、５じゃろうな
865:野暮天
20/04/14 17:29:59 KeVcPD0N.net
>>827
ん？わしは2chができるまえからネット界におるぞ
いわばネット界のスーパーレジェンドじゃ（自分でいうか）
おぬしはNetNewsとか知らんのじゃろう
ほれfjなんとかいう奴じゃ
URLﾘﾝｸ(ja.wikipedia.org)
866:野暮天
20/04/14 17:33:34 KeVcPD0N.net
スーパーレジェンドの条件
１．mohtaを知っている
２．voidを知っている
３．lalaを知っている
2chができるまえから
「やたらと他人を馬鹿よばわりする輩」
はおったのじゃ 別に珍しい生き物ではない
867:１３２人目の素数さん
20/04/14 17:34:33 WoQOi3cG.net
>>827,829
同一人物じゃないのか……
868:野暮天
20/04/14 17:36:48 KeVcPD0N.net
わしにいわせれば2chの「ひろゆき」なんぞ只の香具師（文字通りの意味）
869:１３２人目の素数さん
20/04/14 17:41:24 dPjCWcgz.net
なんかショルツがIUTを説明する雰囲気になってるな
ウケるw
870:野暮天
20/04/14 17:43:28 KeVcPD0N.net
そうそう、voidといえばヘミ猫じゃ
void自身は似ても焼いても食えんヤツじゃったが
シグナチャのヘミ猫はカワイイので女子にも大人気じゃった
ヘ_ヘ
ミ・・ ミ
( ° )～
871:野暮天
20/04/14 17:44:29 KeVcPD0N.net
>>834
うーん、うまく再現できんのう・・・
伝統芸能の伝承は難しいもんじゃ
872:粋蕎 ◆C2UdlLHDRI
20/04/14 17:45:01 x0tX+KLS.net
>>829
其んな回答の仕方が有るか、十把一絡げに答えるな。2ちゃんねるはいつから覗いている？
873:野暮天
20/04/14 17:51:48 KeVcPD0N.net
>>836
できたころからじゃな
そもそもいつ頃できたか覚えとらん・・・おお、１９９９年か
URLﾘﾝｸ(ja.wikipedia.org)
そういえば「あめぞう」とか聞いたことあるな 見たことはないが
「ネオむぎ茶」も知っとるぞ あと「ネバダたん」とか
874:野暮天
20/04/14 18:00:04.19 KeVcPD0N.net
一杉裕志
URLﾘﾝｸ(staff.aist.go.jp)
この人がその昔NetNewsのfj.rec.idolで
有名な投票システムi-aurasを開発した人
なんてことはもはや忘れ去られてるのじゃろうな
875:１３２人目の素数さん
20/04/14 18:05:11.52 Th+t3KzP.net
>>833
論破するってのは相手の懐に入り込むってことだから、まあ致し方ないだろうな
Stixヘタレだなあと個人的には思うが
876:粋蕎
20/04/14 18:05:48.70 x0tX+KLS.net
>>837
なら数学板@2ちゃんねるも覗いてた言う訳じゃな｡
877:１３２人目の素数さん
20/04/14 18:13:33 PFls8jJA.net
>>840
粋蕎さん、あんたが相手をしているのは
常人ではない
真のサイコパスだよ
彼のいうことは、全部ウソと思うこと
相手にしない方が良い
もし、リアル界な
878:ら、まず関わらないことだ（＾＾； （ご参考） Inter-universal geometry と ABC予想 (応援スレ) 44 https://rio2016.5ch.net/test/read.cgi/math/1586655469/2 サイコパスのピエロ（不遇な「一石」https://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets （Yahoo!でのあだ名が、「一石」） （参考）http://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
879:１３２人目の素数さん
20/04/14 18:14:01 8FhN93Xm.net
>>811
望月がわは、3.12は3.11から自明って言ってるんでしょ。
だから、自明じゃないとかえすか、それを認めるかしないと。
880:１３２人目の素数さん
20/04/14 18:16:43 8FhN93Xm.net
>>818
そんなかんじなんかなあ。
わからんけど。
881:１３２人目の素数さん
20/04/14 18:34:31 eovVzpiI.net
望月の弟子のボンクラが理解できる程度の概念をショルツの頭が固くて理解できないと見做すのはいくら何でもショルツの能力を見くびりすぎだよ
882:１３２人目の素数さん
20/04/14 18:38:55 WoQOi3cG.net
>>842
自明であっても証明を詳細に書くことはできるはずだが
世界中がわからないと言ってるんだから詳細な証明を出せば良い
883:１３２人目の素数さん
20/04/14 18:40:34 JM86L/WY.net
日本語の理解には忖度というニュアンスが含まれるが
英語のcomprehensionにそのようなニュアンスはないから誤解が生まれている。
884:１３２人目の素数さん
20/04/14 18:41:02 TRBhjEPr.net
IUT理論のプレプリントが公開されてから、8年経ちました
8年間の査読期間中に理論の理解者は徐々に増えていきました
しかし、ショルツ等は理論を理解できないと言っています
その一方で、論文はアクセプトされ、PRIMSに掲載予定だそうです
しかしながら、論文の掲載予定日は不明で、予定されていた研究集会も例のアレのせいで延期になってしまいました
nature等によれば、IUT理論は現在世界で認められているとは言い難い状況です
幸運なことに、Woitのブログのコメント欄にショルツが現れ、やはりIUT理論は正しくないと主張しています
ここでショルツに理解してもらえれば、IUT理論は世界に認められる可能性が高まるでしょう
ブログには世界中の誰でも自由にコメントすることができます
さあ、君もショルツにIUT理論を理解してもらえるようにコメントを書き込もう！
885:１３２人目の素数さん
20/04/14 18:45:57 Th+t3KzP.net
一昔前のたまごっちみたいな感覚でショルツを育てるのか
886:１３２人目の素数さん
20/04/14 18:47:17 dywi7RSi.net
コンピュータで機械的に証明の正しさ検証したりしないの
iut考えるのに比べりゃずっと簡単だろ
887:野暮天
20/04/14 18:50:11 KeVcPD0N.net
>>840
ごくごく一部しか見とらんな 巨大数とか
猫とかは名前だけは知ってるが、人物はよう知らん
KingなんちゃらいうJタレみたいな名前の奴も知らん
888:１３２人目の素数さん
20/04/14 18:53:12 Th+t3KzP.net
もしかして置換群の理論で数学界から追放された男の話？
889:野暮天
20/04/14 18:54:50 KeVcPD0N.net
>>841
＞あんたが相手をしているのは常人ではない
そう、ネット界のレジェンドじゃからな
＞真のサイコパスだよ
それは、数学の初歩で次から次へと間違えたにもかかわらず
臆面もなく書き続ける見栄坊、おぬしのことじゃろう
＞いうことは、全部ウソ
おぬしのいうことは、
正規部分群の件もウソ
Zermelo構成のωも件もウソ
箱入り無数目の件もウソ
どれもこれもウソだらけじゃな
いいかげん、
890:自分には数学のセンスがないと気づいて 数学板から姿を消して、ニュー速板あたりで 「日本万歳！」とわめき散らすネットジャンキー生活 を送ったらどうか おぬしネットやめられんのじゃろ？
891:１３２人目の素数さん
20/04/14 18:58:42 JNHc90j6.net
>>845
望月の返答にショルツが答える番やで。
自明じゃないとかさ。
892:１３２人目の素数さん
20/04/14 19:00:54 JNHc90j6.net
>>844
ショルツがどうなのかはしらんけども、回答に、返答しないなら、
全否定なのか、わからないのか、どれかもわからん。
返答しないなら、無視するしかなかろう。
893:１３２人目の素数さん
20/04/14 19:01:26 o2y5SfaS.net
>>841 >>852
罵りあいは他スレでやってください
スレチですよ
894:１３２人目の素数さん
20/04/14 19:18:39.64 j/Zxnqd/.net
ショルツの反論特にリマークの5を酷評してる研究者
T川、Hし、Y下、SD、SH、KH、K川、南D、YY
これだけいれば結果は自明でしょ
895:１３２人目の素数さん
20/04/14 19:26:07.22 JM86L/WY.net
ショルツの説明は本当に分かりやすいな
天才だろ。ってそりゃフィールズ賞取ってるんだから天才か。
896:１３２人目の素数さん
20/04/14 19:27:40.02 Th+t3KzP.net
>>856
あんたも数学やってるんだろ？一応何が間違ってるかも聞かなかったの？
897:１３２人目の素数さん
20/04/14 19:28:27.28 ILB2SlGU.net
全角スペースオジサンか...
898:１３２人目の素数さん
20/04/14 19:42:29 TosO5VR6.net
Remark5の何が間違ってるかわからないorz
スタンダードなファルティングスの有限性定理そのものだと思うけど
899:１３２人目の素数さん
20/04/14 19:46:28 mIlcNUlX.net
>>855
私は
粋蕎さんを止めに行っているんだよ
（>>841）
止めなきゃ、もっと荒れるぜ
900:１３２人目の素数さん
20/04/14 19:46:37 gQcKrDtS.net
(Yes, Mochizuki can’t possibly mean this. But regardless of what he means, this inconsistency is simply there!)
アホはお前だ、いやお前だ状態
901:１３２人目の素数さん
20/04/14 19:53:50 TosO5VR6.net
>>860
望月反論ペーパー読んだら納得いきました
902:１３２人目の素数さん
20/04/14 19:54:01 WoQOi3cG.net
>>853
ショルツだけじゃなく世界中が納得していないから
番も何も無い
903:１３２人目の素数さん
20/04/14 20:00:14.83 TosO5VR6.net
Remark 5は確かにナンセンスだけど、このミス(？)を突いてSSの主張全てがナンセンスと切り捨てるのは難しいね
904:１３２人目の素数さん
20/04/14 20:03:39.17 j/Zxnqd/.net
>>865
問題はこのリマーク5のナンセンスな指摘を望月が反論でただしたのに、ショルツが無視してることなのよね
これさえショルツが認めたら、健全な議論になると思うよ、ショルツもIUT自体は好意的なんだし
905:１３２人目の素数さん
20/04/14 20:05:00.45 j/Zxnqd/.net
>>864
いや、番ですよ。科学的議論は厳密にやりとりしないと噛み合わない。今のショルツの態度はあまりに不遜。
906:１３２人目の素数さん
20/04/14 20:08:07.86 TosO5VR6.net
>>866
望月の「学部生でも。。。」って表現が厳しすぎて、ショルツも反応するのが嫌なんだろうね
「ごめんなさい。ファルティングスの証明を理解していませんでした」なんて、プライドもあって言えないだろうし
907:野暮天
20/04/14 20:08:28.81 KeVcPD0N.net
j/Zxnqd/ のいいたいことってこれじゃな
:.,' . : : ; .::i'ﾒ､,_ i.::l ';:.: l '､:.:::! l::! : :'､:i'､: : !, : : : : : :l:.'､: :
'! ,' . : i .;'l;' _,,ﾆ';､,iｿ '; :l ,';.::! i:.! : '､!:';:. :!:. : : : :.; i : :'､:
i:.i､: :｡:!.i.:',r'ﾞ,rf"`'iﾐ,`'' ﾞ ';.i `Ｎ,_i;i＿__,,_,'､-';‐l'i'':':':':‐!: i : : '、
908:i:.!:'､: :.:!l :'ﾞ iﾞ:;i{igil};:;l' ヾ! 'i : l',r',ﾃr'‐ミ;‐ﾐ';i:'i::. : i i i : : :i :!!ﾟ:i.'､o:'、 ﾞ､::ﾞ''".::ﾉ iﾞ:;:li,__,ﾉ;:'.､'､ :'i:::. i. !! : : !: .' :,'. :ﾞ>;::'､⊂‐ﾆ;;'´ '､';{|llll!: :;ﾉ ! : !::i. : : : : i : : :,' /. :iヾ､ ｀ ､._. ミ;;--‐'´. /.:i;!o: : : :i : : ; : ,' : : i.: <_ ｀ ' ' ｀｀'‐⊃./. :,: : : O: i. : : i ,'. . : :', ､,,＿ ,.:': ,r'. : , : : !: : あやまれ!! :,'/. : : . :;::'､ ﾞ|llllllllllllF':-.､ ,r';､r': . : :,i. : ;i : : 望月先生にあやまれ!! i,': : : :.::;.'.:::;`､ |llllH". : : : :｀､ ,rシｲ...: : ; : :/:i : i:!::i: ;'. : :..:::;':::::;':::::`.､ |ｿ/. : : : : : : ;,! ,／'ﾞ. /.:::: :,:': :./',:!: j:;:i;!; i. : .:::;:'i::::;':::::::::i::`:.、;ﾞ､';‐ ､,;__;,／ﾉ . :,/.:::: :/. : :/.:::i. j:;;;;;;;; l .:::;:'::;':::;':::::::::::i::::i::`:,`'-二'‐-‐''ﾞ_,､-.':ﾞ/.:::: ;ｨ': : :/.:::::i: j､;;;;;;; .:::;:':::;':::;'::::::::::::::i:::i:::::..｀'‐､､､-＜ﾞ.::::::::/.::: ://. : /.:::::::i :j::.'､:;;;
909:野暮天
20/04/14 20:12:25.91 KeVcPD0N.net
>>868
＞望月の「学部生でも。。。」って表現が厳しすぎて
望月のショルツに対する劣等感が丸出しじゃな
ショルツは、人の些細な誤りをあげつらって
肝心なことには全く答えない姑息な奴を
見捨てたんじゃろうな
910:１３２人目の素数さん
20/04/14 20:22:36.48 FJ+FFLkg.net
業界の信用は、ショルツさんのほうがはるかに上だからなぁ。
「学部生でもわかる」は戦略ミスだな。
911:野暮天
20/04/14 20:23:46.93 KeVcPD0N.net
ｽﾚﾘﾝｸ(math板:64番)
>日本で、柏原、玉川、加藤、望月、星、山下・・らを知っているから
>まだ、IUT大丈夫って思えるけど、
見栄坊よ おぬしが知ってるのは名前だけじゃろ
そろいもそろってショルツに何も言えん時点で負けじゃろな
星は内心あかんと思うとるようじゃ
山下は髭だけ立派で全然使えん
加藤は金儲けできればIUTがトンデモでも困らんじゃろ
玉川は望月を信頼しとるようじゃが中身は全然わかっとらん
柏原は名前だけじゃろ
森重文が出てこんから代わりに引っ張りだされただけ
森重文が断ったのはショルツに理があると思うとるからじゃろ
912:野暮天
20/04/14 20:25:50.63 KeVcPD0N.net
森重文がショルツを呼んだ時点で
「ああ、これは相当ヤバイ状況だな」
と気づくのが本当じゃろ
問題ないなら、わざわざそんなことせんからのう
913:野暮天
20/04/14 20:25:50.63 KeVcPD0N.net
森重文がショルツを呼んだ時点で
「ああ、これは相当ヤバイ状況だな」
と気づくのが本当じゃろ
問題ないなら、わざわざそんなことせんからのう
914:１３２人目の素数さん
20/04/14 20:26:11.44 sXyUTq8/.net
柏原先生は専門全然違うから、いくら柏原先生といえどもIUTを理解してるとは全く思えないな。
915:野暮天
20/04/14 20:28:03.22 KeVcPD0N.net
>>871
いや、そもそもIUTとかいう大袈裟な理論構築が戦略ミスじゃろう
ショルツの指摘に対して、真っ先にRemark5を攻撃するのが戦術ミス
目先３センチのことしか見えんかった日本軍と同じじゃな
916:１３２人目の素数さん
20/04/14 20:28:05.75 7IvBeSuk.net
>>872
星くん内心あかんって、どこから情報？
直接の関係者知ってるけど、彼は完全に理解してて正しいと断言してると聞いたけどね、直接。
あまり嘘はつかんようにね
917:１３２人目の素数さん
20/04/14 20:29:42.32 7IvBeSuk.net
>>876
Remark5ってショルツが間違えてるの？
918:野暮天
20/04/14 20:30
919::32.62 ID:KeVcPD0N.net
920:野暮天
20/04/14 20:31:35.31 KeVcPD0N.net
>>877
本心は言葉ではなく行動に現れるもんじゃ
921:１３２人目の素数さん
20/04/14 20:31:45.37 BR/oGB73.net
>>871
最初に、ぶっ込んだのがショルツ側だから
ある程度仕方ないんじゃね。
922:１３２人目の素数さん
20/04/14 20:32:11.63 rTviJ6yB.net
ここ数日のにわかですが、Woitのブログとか、
高名な数学者たちの賛同の声が聞こえてこないこととか
（柏原正樹氏は、かつがれた、と信じますが）どうみてもショルツさんの勝ちですよ
だいたい確信のある理論を発見したのであれば、広く知ってもらいたいはずだし、
広く知ってもらうために、できるだけわかりやすく説明しようとするはずです
望月氏はその逆をいっているようだし、だいたい８年もたってるのに、まだ多くの人から
異議がでてる証明などナンセンスです
923:１３２人目の素数さん
20/04/14 20:32:26.78 zlvn1Mv8.net
まぁ、森先生が出てこなかった時点でリムスの教員がどう思ってるかはお察しなんだよねw
924:１３２人目の素数さん
20/04/14 20:32:41.41 aTeGsTm3.net
紅月 東京ドーム 出だし部分 ファンカム
URLﾘﾝｸ(streamable.com)
SU-METALの東京ドームは円盤よりも現場の生歌のほうが上手かった
例えば紅月がこれ NRNRも同じ
反響音がエコー効果をもたらし 東京ドーム全体を揺らすかのごとく響き渡った
東京ドームすら箱が狭いよと言わんばかり
ファンカムでこれだからね。凄かった
この凄さはBlu-rayでは削ぎ落ちてしまって表現できていない
925:１３２人目の素数さん
20/04/14 20:34:35.28 7IvBeSuk.net
>>880
妄想だったのね
926:野暮天
20/04/14 20:34:50.50 KeVcPD0N.net
>>883
そもそも2年前に森重文がショルツを呼んだ時点で察するじゃろ
927:野暮天
20/04/14 20:40:12.91 KeVcPD0N.net
>>884
そういえば、こんなもんが流出しとった
URLﾘﾝｸ(www.youtube.com)
某TVで声楽家が選ぶ歌うまアイドルのランキングを放送してたが
SU-METALの名前はなかった
おおかた秋元康に忖度したんじゃろうが、メイトからは失笑されとった
928:１３２人目の素数さん
20/04/14 20:42:43.23 J4U7wL1b.net
全然関係ないバンドだかなんだかをしつこく書くやつなんなの？スレが見にくいからやめろ
929:１３２人目の素数さん
20/04/14 20:43:19.82 nLbbaypx.net
Woitのブログ最新のコメント、なんか少しだけ理解が進みつつあるような感じでは？
930:１３２人目の素数さん
20/04/14 20:43:20.52 nLbbaypx.net
Woitのブログ最新のコメント、なんか少しだけ理解が進みつつあるような感じでは？
931:１３２人目の素数さん
20/04/14 20:43:46.05 WoQOi3cG.net
流石にscholzeとstixに直接説得してもらえば変わるだろ……と思って呼んだら「彼らは学部レベルだ」などと突っぱねたわけだからな
森重文先生には同情する
932:野暮天
20/04/14 20:45:08.12 KeVcPD0N.net
諸君らはアイドルの虎の穴といわれる
アクターズスクール広島が
どんなところかご存知なかろう
URLﾘﾝｸ(about-ash.com)
URLﾘﾝｸ(about-ash.com)
933:１３２人目の素数さん
20/04/14 20:45:46.88 WoQOi3cG.net
>>867
ショルツが不遜でも不遜でなくても、
Cor 3.12の証明が証明になっていると思うのならば詳細に書いてみればいい
でも実際には誰も出来ない
934:１３２人目の素数さん
20/04/14 20:45:59.63 j/Zxnqd/.net
>>891
でもほんとにショルツは学部生レベル誤りを公にしちゃってるのよね
それをあからさまに指摘する望月も望月だが
935:１３２人目の素数さん
20/04/14 20:51:31.36 j/Zxnqd/.net
>>890
David RobertsもどちらかというとIUT肯定的な感じで書いてるね
直接対話で罵倒されたのに
936:野暮天
20/04/14 20:52:40.37 KeVcPD0N.net
>>894
ショルツの指摘が初歩的誤りに基づく無意味なものであるならば
数学界に対する支持が広がりそうなもんじゃが、実際にはそうなってない
つまり、ショルツの指摘は、誤りに関係なく意味のあるもので
望月はその点について答えられないので、相手のどうでもいい
つまらん誤りをあげつらって誤魔化した ということじゃろう
なるほどアメリカから日本に逃げてくるだけのことはあるのう
今時は日本の大学をでたまるっきりの日本人でも
アメリカの大学のポストにつく時代
半分アメリカ人で、アメリカの大学を出た人間が
わざわざ日本の大学の職につくのは都落ち以外の
何者でもないのう
937:１３２人目の素数さん
20/04/14 20:59:02.21 rTviJ6yB.net
>>890
確かになんか歩み寄りがみられるかもしれない
以下がショルツの意見ならば
UFは言う。
2020年4月13日10時16分
ペーター・ショルツェさん（@Peter Scholze）です。
(2)に関連した望月さんのコメントをありがとうございます。最も単純な状況を考えてみましょう。
この単純な状況（θリンクを省略するが、対数リンクを維持する）でさえ、
望月はCmt2018-05で（C7）、もし列内のΠ1(X)を剛体化するならば
（同一性マップを用いてそれらを識別し、対数をガロア等変にすることによって）、
２つの列をパーマネントする「スイッチング対称性」は存在しないと主張しているように見えます。
あなたが言うように、これは非常に奇妙なことのように思われます。
私は次のように考えています。
望月は、技術的な意味で「スイッチング対称性」を使っているようで、彼がよくやるように、
いくつかの合唱データから手元のデータ（ここでは、対数リンクの剛体化された列）を
再構築するアルゴリズムの「多放射性」と同義です。
彼の主張は、もし我々が垂直方向の列を剛体化した場合、（剛体化していない場合とは異なり）
あるコーリックデータからこの列を復元するためのマルチラジアルアルゴリズムは
存在しないということを意味しています。これは、（私には）もうそれほど不条理には聞こえません。
さて、彼はここでどのマルチラディアル・アルゴリズムのことを言っているのでしょうか？
私は、[IUT III, Cor 2.3 ]のマルチラディアル・アルゴリズム、より具体的には、
2.3 (ii)の最初の部分、ログリンクとの互換性に関する部分ではないかと提案します。
その近くにある[IUT III, Rem 2.1.1 (ii)]では、私たちが話している問題が「なぜ
only upto indeterminate iso? さらなる議論については、[IUT II, Rem 3.6.4 (i)]も参照のこと。
いずれにしても、これが追跡するための重要な問題であることに同意します。
(DeepL翻訳）
938:野暮天
20/04/14 20:59:19.71 KeVcPD0N.net
>>888
BABYMETALを知らんとは 不幸な奴じゃのう
望月新一なんか知らんでもええが
SU-METALを知らんと海外で恥かくじゃろう
「え？あのBABYMETALを知らないなんて あなた本当に日本人？」
939:１３２人目の素数さん
20/04/14 21:00:35.24 nMowBrOy.net
そろそろ気がついても良さそうだが、
いくらショルツを叩いても
IUTが奇異なことは変わらない
940:１３２人目の素数さん
20/04/14 21:03:46.48 j/Zxnqd/.net
奇異だけど間違ってる！っていう数学的議論を踏まえた論文がなかなかでないのよね
ブログのコメントでは何の反論にもなんないし
941:野暮天
20/04/14 21:05:01.61 KeVcPD0N.net
>>899
IUTが奇異であることは、誤りであることの証拠にはならんじゃろ
しかし、これだけ長い時間が経過してもなお
IUTが理解されず認められないというのは、
それ自体無意味である可能性が非常に高いじゃろうな
そもそも当人だけでなく弟子や同僚が説明できない時点でダメダメじゃな
だから森重文が懸念を示してショルツをつれてきたんじゃろう
今の京都の連中は数学をなめきっとるんと違うか？
942:１３２人目の素数さん
20/04/14 21:05:56.48 nMowBrOy.net
住んでいる世界が違うんだよ
943:１３２人目の素数さん
20/04/14 21:07:08.21 gQPOC93+.net
Ｓｃｈｏｌｚｅの駄文よんだんだけどさ
なぜタイヒミュラー理論と名づけられているかすらわかってないよｗ
944:野暮天
20/04/14 21:07:57.53 KeVcPD0N.net
>>900
「矛盾がある」というなら論文になるが
「ギャップがある」というのは論文にはならんじゃろ
しかし、ギャップがあるなら証明としては無価値
フェルマーの「証明」がいい例
フェルマーの定理は、実際に定理ではあったが
その定理を証明したのはフェルマーでなくワイルズじゃろ
そういうことじゃ
945:１３２人目の素数さん
20/04/14 21:09:47.57 nMowBrOy.net
なるほど、
あちらの世界からショルツを見れば
ショルツの駄文に見えるのだろう
946:１３２人目の素数さん
20/04/14 21:10:33.42 FJ+FFLkg.net
自明だって言い分は、証明の先送りにしか聞こえんのよね。
947:１３２人目の素数さん
20/04/14 21:11:54.61 lKRD7Etv.net
>>882
>ここ数日のにわかですが、Woitのブログとか、
> 高名な数学者たちの賛同の声が聞こえてこないこととか
>（柏原正樹氏は、かつがれた、と信じますが）どうみてもショルツさんの勝ちですよ
> だいたい確信のある理論を発見したのであれば、広く知ってもらいたいはずだし、
> 広く知ってもらうために、できるだけわかりやすく説明しようとするはずです
>望月氏はその逆をいっているようだし、だいたい８年もたってるのに、まだ多くの人から
>異議がでてる証明などナンセンスです
あなたの言っていることは全く正論なんだけど、ここにいる擁護派は数学的真理などどうでもいいんだよ。
ひたすら「望月がABC予想を証明したとみとめろ」と強情を張っているだけ。。まともな証明もなしに。
だいたい擁護派は二言目にはショルツの反論がないとかくだらないこと言っているが、
第1に、証明に疑問を持っているのはショルツだけではないから、ショルツだけ攻撃しても無意味。
第2に、数学はディベートじゃないから、反論の応酬などする必要もないし、する義務もない。
相手方が修正不可能なバカだと思えば、反論しないで放置も許される。
良くアスペが、相手が沈黙したのを論争に勝ったと勘違いしているが、
今の擁護派はまさにそのパターン。
数学に必要なのは、反論じゃなくて「厳格な証明」
それは望月の側が求められている。望月が出せなければ望月の負け。
948:１３２人目の素数さん
20/04/14 21:15:03.38 mIlcNUlX.net
>>860-868
ID:TosO5VR6さん
>Remark5の何が間違ってるかわからないorz
>スタンダードなファルティングスの有限性定理そのものだと思うけど
>望月反論ペーパー読んだら納得いきました
>望月の「学部生でも。。。」って表現が厳しすぎて、ショルツも反応するのが嫌なんだろうね
>「ごめんなさい。ファルティングスの証明を理解していませんでした」なんて、プライドもあって言えないだろうし
望月反論ペーパーに、ファルティングスの証明への言及ってあった？
もし、お手数でなければ
この文書の何ページって教えて貰えるとありがたいけど
949:１３２人目の素数さん
20/04/14 21:18:35.92 Th+t3KzP.net
>>895
いや、よくわからないしわかりたくもないと言ってるだけだろw
950:１３２人目の素数さん
20/04/14 21:20:20.13 TRBhjEPr.net
どうして自明なんですか？
951:１３２人目の素数さん
20/04/14 21:20:49.68 IrY4eK9l.net
もっちんさまは都落ちじゃあありません
英語をもうききたくない、故郷の日本にホネを埋めたいと言う強い覚悟のもと、ドクター終了そうそう故郷に帰ってこられてたのです
952:１３２人目の素数さん
20/04/14 21:21:20.95 VsRfDYDR.net
>>907 >>909
擁護派って馬鹿なんですか？
953:１３２人目の素数さん
20/04/14 21:22:27.54 Th+t3KzP.net
しかしこいつらの論点整理力凄いな
ブログで決着つけそうな勢いじゃん
954:１３２人目の素数さん
20/04/14 21:22:44.94 O+prQlBj.net
う～さ～ぎおいしい～か～の～や～ま～
955:１３２人目の素数さん
20/04/14 21:22:50.60 gQPOC93+.net
君たち得意げに語っているけど
次のうちでもと体の同型類を復元するのはどれ
956: 代数体のガロア群 有限体のガロア群 混標数局所体のガロア群 有限体上関数体のガロア群 これくらいわかんなかったら白痴
957:１３２人目の素数さん
20/04/14 21:25:17 3WHcYcm0.net
本当にアインシュタイン級の結果ならば、
タオに１０億円で一か月以内のレフリーをたのべばいい。
アインシュタイン級なんてRIMSだけが言ってることなのでは。
958:１３２人目の素数さん
20/04/14 21:25:53 dPjCWcgz.net
わからないから中立ってのが多い感じだな
ショルツの指摘は致命的な欠陥をついているとは見做されてない
IUTのなにがABC予想を解決するキーとなっているかを理解するのに有用そうだっていう雰囲気にみえる
研究会がうまくいけば問題なさそう
959:１３２人目の素数さん
20/04/14 21:30:13 rTviJ6yB.net
>>917
研究会がうまくいくとか関係ないのでは？
960:１３２人目の素数さん
20/04/14 21:30:50 6SSYj6NR.net
>>915
まーたでたよ糞クイズw
代数体の場合は復元可能
有限体の場合は明らかに復元不可w
混標数局所体の場合は復元不可
有限体上関数体の場合は多分復元不可
961:１３２人目の素数さん
20/04/14 21:32:05 Th+t3KzP.net
>>917
そこまで好意的ではないだろ
白黒はっきりさせたいだけじゃない
962:１３２人目の素数さん
20/04/14 21:33:38 Th+t3KzP.net
>>915
919が当たってたら何故タイヒミュラー理論なのか簡単に解説すること
963:１３２人目の素数さん
20/04/14 21:37:37 SoWSg2rl.net
>>848
「にょろっち」で、餓死する。
レアな死で、食べるときのことを思い出しながら死んでいく。とても可愛そうなパターン。
964:１３２人目の素数さん
20/04/14 21:38:41 FJ+FFLkg.net
数学って、そうそう自明っていってしまうもんなのかね。
論争で自明なんて聞くとは思わんかったよ。
・ほかの人が論証済みで自明 →それをゆってよ
・持論で証明済みで自明 →どこにかいてあるかいってよ
・論証不能な事実だから自明 →それは数学っぽくないｗ
・自明と言い張ってごまかしたい。
誤解学より自明学のほうが必要なんじゃないの。
965:１３２人目の素数さん
20/04/14 21:51:41 TosO5VR6.net
>>908
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
の(c1)です
966:１３２人目の素数さん
20/04/14 21:57:34 vK76mLFY.net
>>895
これ見てiut ってあかんと思いました
967:１３２人目の素数さん
20/04/14 22:07:21 mIlcNUlX.net
>>924
ありがとう
あなたは、誠実な人ですね
968:野暮天
20/04/14 22:16:50 KeVcPD0N.net
>>926
アメリカ軍が日本軍の暗号を解読する際、どうしても解読できない単語があり
前後の文脈から「親日的」だろうと推定したが、戦後、実際に検証した結果
正解が判明した
「誠実」
969:１３２人目の素数さん
20/04/14 22:23:40 mIlcNUlX.net
>>924
これか
ここは、SSの文書が公開された当時にも話題になったかも（＾＾
(C1) : Remark 5, “For fixed ... h(P) ? b.”: I can only say that it is a very challenging task to document the depth of my astonishment when I first read this Remark!
This Remark may be described as a breath-takingly (melo ?) dramatic self-declaration, on the part of SS, of their profound ignorance of the elementary theory of heights, at the advanced undergraduate/beginning graduate level.
Indeed, the finiteness statement at the beginning of the paragraph follows immediately, by considering the j-invariant (say, multiplied by a suitable positive integer N,
which depends only on d and
970:b) of the elliptic curve under consideration, from the finiteness of the set of complex numbers that satisfy a monic polynomial equation of degree d with coefficients ∈ Z of absolute value ? C, for some fixed real number C that depends only on d and b. To repeat, this sort of argument lies well within the framework of advanced undergraduate/beginning graduate-level mathematics. つづく
971:１３２人目の素数さん
20/04/14 22:24:34.93 mIlcNUlX.net
>>928
つづき
It is entirely inconceivable that any researcher with substantial experience working with heights of rational points would attempt to prove this sort of finiteness statement by invoking such a nontrivial result as Faltings’ theorem.
Anyone familiar with the proof of Faltings’ theorem will also recognize immediately that the proof of Faltings’ theorem ultimately reduces to the elementary observation reviewed above, i.e.,
that the finiteness of the set of rational points (of, say, a proper variety) of bounded height over number fields of bounded degree follows immediately from elementary considerations, namely, from the finiteness of the set of solutions of monic polynomial equations of bounded
degree with bounded coefficients ∈ Z.
(Another problem with the argument in Remark 5 is that it is never mentioned why the discriminant of k/Q is bounded.
Such a bound is necessary in order to conclude that the abelian variety A has good reduction outside a fixed finite set of primes that depends only on d and b.)
(引用終り)
以上
972:野暮天
20/04/14 22:27:58.63 KeVcPD0N.net
見栄坊 読めない英語をそのままコピペしても意味なかろう
日本語に翻訳しても意味がわからんじゃろうがな
973:１３２人目の素数さん
20/04/14 22:29:51.91 mPcwMzMg.net
>>924
もう一つの問題、つまりk/Qの判別式が有界なのは、アーベル多様体Aが固定された素点の有限集合の外でgood reductionである必要がある、というのをSSが記載し忘れてたのは分かった
でもそれだったら数学の本スレで数学の本の誤りを延々指摘してる人と同じレベルじゃね
974:野暮天
20/04/14 22:31:42.46 KeVcPD0N.net
見栄坊は日本語で書かれた数学書や数学雑誌の記事も誤読するからのう
正規部分群の定義は間違う
数セミの記事「箱入り無数目」の無限列の尻尾の同値関係および
決定番号の定義も読み間違う
上記は初歩レベルであってこんなところで読み間違う人は珍しい
読字障害もしくは注意欠陥多動性障害（ADHD)を疑わせる
前者はともかく、後者は💊で改善するらしいぞい
975:１３２人目の素数さん
20/04/14 22:33:04.75 IrY4eK9l.net
攻撃的なワード選択ですねw
976:野暮天
20/04/14 22:38:38.99 KeVcPD0N.net
>>933
実際、よほど粗忽な人じゃなきゃ間違わんから仕方ない
977:１３２人目の素数さん
20/04/14 22:42:07.69 gQPOC93+.net
>>919
URLﾘﾝｸ(www.jstor.org)
978:粋蕎
20/04/14 22:49:09.92 x0tX+KLS.net
>>850
其れは有り得
979:ん。当時の奴の書込スレ範囲は広く巨大数検索スレッドも例外では無かった｡
980:野暮天
20/04/14 22:59:26.33 KeVcPD0N.net
>>936
書き込んだところで興味ないものは見ない
981:１３２人目の素数さん
20/04/14 23:02:33.70 rTviJ6yB.net
>>897
すみません 歩み寄りではありませんでした
これは、ガチの擁護派UFという人が、
書いたものでした
（文頭の@Peter Scholzeがなんでついて
いるのかわかりませんが）
982:野暮天
20/04/14 23:05:55.59 KeVcPD0N.net
グロタンディーク・タイヒミュラー理論の話題から
URLﾘﾝｸ(mathsoc.jp)
アウシュヴィッツ収容所で殺害されたユダヤ人アナーキスト、
サーシャ・シャピロの息子であるグロタンディークと
反ユダヤ主義者にしてナチス突撃隊隊員、東部戦線で戦死した
タイヒミュラーの名前が並置されるのは奇妙なもんじゃ
983:１３２人目の素数さん
20/04/14 23:28:32.16 mIlcNUlX.net
>>938
>（文頭の@Peter Scholzeがなんでついて
>いるのかわかりませんが）
@＝at
で、
Peter Scholzeさんへ
という意味と読みました
984:１３２人目の素数さん
20/04/14 23:29:45.50 Th+t3KzP.net
>>938
@はレス先、アンカリングの記号
985:１３２人目の素数さん
20/04/14 23:30:54.56 mIlcNUlX.net
>>930 ｗ（＾＾；
ID:TosO5VR6さん
>Remark5の何が間違ってるかわからないorz
>スタンダードなファルティングスの有限性定理そのものだと思うけど
>望月反論ペーパー読んだら納得いきました
>「ごめんなさい。ファルティングスの証明を理解していませんでした」なんて、プライドもあって言えないだろうし
これね（＾＾；
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Faltings's theorem
(抜粋)
In arithmetic geometry, the Mordell conjecture is the conjecture made by Mordell (1922) that a curve of genus greater than 1 over the field Q of rational numbers has only finitely many rational points. In 1983 it was proved by Gerd Faltings (1983, 1984), and is now known as Faltings's theorem.
The conjecture was later generalized by replacing Q by any number field.
Proofs
Faltings (1983) proved the Shafarevich finiteness conjecture using a known reduction to a case of the Tate conjecture, and a number of tools from algebraic geometry, including the theory of Neron models.
The main idea of Faltings' proof is the comparison of Faltings heights and naive heights via Siegel modular varieties.[1]
Later proofs
A proof based on diophantine approximation was given by Vojta (1991). A more elementary variant of Vojta's proof was given by Bombieri (1990).
Generalizations
Even more general conjectures have been put forth by Paul Vojta.
Footnotes
1^ "Faltings relates the two notions of height by means of the Siegel moduli space.... It is the main idea of the proof." Bloch, Spencer (1984).
URLﾘﾝｸ(pdfs.semanticscholar.org)
"The Proof of the Mordell Conjecture" (PDF). The Mathematical Intelligencer. 6 (2): 44.
URLﾘﾝｸ(ja.wikipedia.org)
ファルティングスの定理
986:１３２人目の素数さん
20/04/14 23:48:57.93 rTviJ6yB.net
擁護派は、ショルツが、望月氏の反論に対して黙っている、といっているが、
こんなのに何か返答するほうがおかしいと思うよ
「(C1)
リマーク5 "固定された...h(P) ≤ bの場合"
私が最初に（あなたの）このリマークを読んだときの驚きの深さを�
987:L録するのは、 非常に困難な作業であるとしか言いようがありません。 この注釈は，上級学部・初級大学院レベルでの高さの初歩的な理論についての SSの深い無知を，息を呑むほど（メロ？）ドラマチックに自己宣言したものと言えるかもしれません．確かに。 "段落の最初の有限性の文は、dとbにのみ依存するいくつかの固定実数Cのために、 絶対値≦Cの係数∈Zを持つ次数dの単項多項式を満たす複素数の集合の有限性から、 検討中の楕円曲線のj不変（と言うと、dとbにのみ依存する適切な正の整数Nを乗じたもの） を考慮することによって、すぐに次のようになります。" 繰り返しになりますが，このような議論は，学部レベルの上級／大学院レベルの 数学の枠内に収まっています． 有理点の高さを扱った経験のある研究者が、Faltingsの定理のような 手に負えない結果を使って、この種の有限性を証明しようとすることは全く考えられません。 つまり、有理点の集合の有限性は、有理次数の数場上の高さに拘束された有理点 （例えば、適切な多様体）の集合の有限性が、有理次数の一項多項式方程式の 解の集合の有限性から、即ち、拘束された係数∈ Zを持つ有理次数の一項多項式方程式の 解の集合の有限性から、初歩的な考察にすぐに従うということです。 （DeepL翻訳修正）
988:１３２人目の素数さん
20/04/14 23:53:38.08 Th+t3KzP.net
>>943
何かショルツ応援したくなっちゃうよね色々
どっちがベビーフェイスなのか…
989:１３２人目の素数さん
20/04/15 00:03:00 TgZzPWYt.net
ショルツのフィールズ賞受賞理由 (2018年)
・ ガロア表現を応用してperfectoid空間（彼の理論です）を導入し、p-進場上の数論幾何学を変革した
・ 新しいコホモロジー理論を展開した
望月氏の反論は、この人に対して失礼だし、
さらにIUTの馬鹿さ加減を上塗りした感じですね
990:１３２人目の素数さん
20/04/15 00:08:10 9qDykosb.net
S・Sレポ8月版のRemark 5について拘っている人たちがいるが、これは逆に望月氏の方が恥ずかしい議論だよ。
S・Sはあっさり書いているが、当然望月氏も知っているはずだろうと思って書いていたはず。
これは“Faltings’ theorem (Shafarevich conjecture) applied to the Weil restriction”した場合の話だよ。
Finite Weil restriction of curves
URLﾘﾝｸ(link.springer.com)
S・Sからすればどちらが学部・修士レベル何だろうね、ということになる。
991:１３２人目の素数さん
20/04/15 00:10:31 IyeZXVzi.net
********馬鹿さ加減を上塗りした感じですね**********
omaenona
992:１３２人目の素数さん
20/04/15 00:34:20 aU1czl6Y.net
ポストモダンの人はもう見てないですかね？
ショルツが三つの論点を出した時、不思議な感じがしましたよ
ここではあれらをはっきり分けないで話してましたが、確かに本当は分けなきゃならない
それをショルツ本人がああいう場所で論じるとは思わなかった
993:１３２人目の素数さん
20/04/15 00:37:40 YChyVKjg.net
タイポ、省略レベルの重箱の隅に難癖つけて人格攻撃してただけなんだな。
994:１３２人目の素数さん
20/04/15 01:11:01 9qDykosb.net
>>948
暇なときに一応一通り目を通してますよ。あまりに酷すぎて半分以上はNG入れていますけど。
あと前にも言いましたが「ポストモダンの人」というのはやめて下さい orz
私はポストモダン批判というか「ポスト構造主義に飽きてウンザリした人」ですから。
Woitのブログでのショルツのコメントの件ですが、あそこまでショルツに言わせないと分からないのか、という感じですね。
強いて言えば、Dupuyが最初のコメントで持ち出したベールイ・タイプの議論がS・Sレポでは詳しく書かれておらず、
このブログでDupuyやJoshiらに理解できるように説明したことが注目すべき点でしょうか。
これにはLittやW氏、Robertsも納得していましたね。
あと、S・Sが望月レポに反論していないというレスが散見されますが、前にも何度か書きましたが、
S・Sレポ8月版の序文に「望月レポ参照」とあります。S・Sレポは2018年8月23日付ですが、
B氏がAmazonやTwitterで書いているように、望月氏は8月上旬に反論レポを送ったということです。
当然この望月レポ初版を読んだ上でのS・Sレポ8月版ということになります。
望月氏がこの「望月レポート初版」を公開していないから明言できませんが、
おそらく9月初出の望月レポート(S・Sレポ8月版を読んだ上で望月氏が加筆した)と大差はなく、
S・Sからすればこれ以上の議論は無意味・不毛だということでしょう。
995:１３２人目の素数さん
20/04/15 01:26:43 zORjkTLC.net
ポストポスト構造主義の時代だ
996:１３２人目の素数さん
20/04/15 01:35:48 aU1czl6Y.net
>>950
すいませんでしたw 短く指示しようとしてしまって失敗しました。「ポストモダン批判の人」が適切ですね
個人的には（2）についての一種の留保が印象的でしたね。これこそまさにポストモダン的な部分で、
ある意味で複雑な問題なので
但し（2）の留保は一般的な話であって、基本的にはIUTに否定的ということでしょうが
997:１３２人目の素数さん
20/04/15 01:51:54 IyeZXVzi.net
君たちのレベルは分かったから
数学のＡＢＣを勉強しなさい
URLﾘﾝｸ(www.chart.co.jp)
URLﾘﾝｸ(www.kyokashowork.jp)
URLﾘﾝｸ(www.gakusan.com)
998:１３２人目の素数さん
20/04/15 01:54:30 IyeZXVzi.net
君たちは上でも苦労すると思うけどもし習得できたらつぎはこれで勉強したらｗ
URLﾘﾝｸ(www.chart.co.jp)
999:１３２人目の素数さん
20/04/15 02:01:03 IyeZXVzi.net
**********ベールイ・タイプ議論*************
ふきだして眠れそうにありませんよ 暇なときに見てるんですね
そりゃベールイですね。いや同類。 3点抜いてる場合じゃないですね
1000:１３２人目の素数さん
20/04/15 02:19:40 XXGhTXIb.net
擁護派が優勢になりつつあるのでは？
WはDavid Robertsの解説を読んで望月さんの視点に気が付いたようで、理解を示しつつありますね。
Dupuy,UF,Robertsの突っ込みに対しScholzeがまともに応える事ができるのか、それともお茶を濁して逃げるのかで、彼が数学者としての
誠実さを本当に持ち合わせているのかを見極められると思います。
1001:１３２人目の素数さん
20/04/15 02:36:21 sDPcsM6G.net
>>956
Wは、Dupuyにアドバイス（I’m just saying that you can reverse the argument to an extent. 私はあなたが議論をある程度逆転させることができると言っているだけです。）してましたね。
その後にDupuyが（Will（＝W)’s comment has insprired me to write a little bit more since he seems to be paying close attention (thank you Will)
と礼を述べてから、Scholzeの主張の1)、2)のおかしな点に突っ込みを入れたので、Wは最初から理解をしていたのだと思いますよ。
1002:１３２人目の素数さん
20/04/15 02:47:41 GMXF0IZY.net
一般的な用語を勝手に違う解釈で使ったのならばアンドとオアを間違えてる方はどっちなんですかね
1003:１３２人目の素数さん
20/04/15 04:22:36 PZKJ5Zxj.net
Wって誰？
1004:粋蕎
20/04/15 05:36:00.34 FI0JUvCQ.net
ヲイト氏の事とは違うん？
1005:１３２人目の素数さん
20/04/15 05:38:50 xeYb99iT.net
Williamです
1006:１３２人目の素数さん
20/04/15 05:54:49 38p90lrI.net
自分の考えを披露してショルツに考えてもらう感じだな
ショルツがそれなら可能性はあるかもしれないって言うか、全否定するか
ショルツにIUTを解いてもらう解決だな
1007:１３２人目の素数さん
20/04/15 06:05:03.41 gAHsVD46.net
それもうショルツの定理だろ
1008:１３２人目の素数さん
20/04/15 07:38:11 Rsdt7V/S.net
>>946
>S・Sはあっさり書いているが、当然望月氏も知っているはずだろうと思って書いていたはず。
>これは“Faltings’ theorem (Shafarevich conjecture) applied to the Weil restriction”した場合の話だよ。
>Finite Weil restriction of curves
レベルが高すぎて、すぐにはついていけないが
その話は、引用文献の下記のことかな？
URLﾘﾝｸ(link.springer.com)
Open Access
Published: 03 December 2014
Finite Weil restriction of curves
E. V. Flynn & D. Testa
Monatshefte fur Mathematik volume 176, pages197?218(2015)
(抜粋)
Cases where Faltings’ theorem does not apply
In this section we analyze the cases where the relative Weil restriction of a morphism of curves contains a component of geometric genus at most one.
In such cases, Faltings’ theorem cannot be applied to deduce the finiteness of rational points of the relative Weil restriction and we find explicit non-tautological examples in which these sets of rational points are infinite.
The following remark is an immediate consequence of Faltings’ theorem and guides the choice of cases we handle in this section.
1009:１３２人目の素数さん
20/04/15 08:11:24.56 XXGhTXIb.net
ショルツはAnabelian geometryの基本が全く理解できていないというDupuyのダメだしが炸裂しましたね。
>>957
>Wは最初から理解をしていたのだと思いますよ
なるほど、改めて読んでみたら流れを理解できました。
1010:１３２人目の素数さん
20/04/15 08:35:51 TgZzPWYt.net
今ショルツが再び読み直してる感じなのか どうなるのかな
1011:１３２人目の素数さん
20/04/15 08:47:30 ZCZL7ADF.net
次スレ
Inter-universal geometry と ABC予想 50
ｽﾚﾘﾝｸ(math板)
1012:１３２人目の素数さん
20/04/15 09:05:52.89 WpCBiVcM.net
擁護派のコメントは望月本人のものでなければ、迷惑でしかないレベル
1013:１３２人目の素数さん
20/04/15 09:17:22.17 Qr7I0O19.net
さいごはモッチーが勝ち、無冠の帝王になるにすーぱーもっちくん
1014:１３２人目の素数さん
20/04/15 09:31:58.92 TgZzPWYt.net
ショルツは読み直してるのではなく、すでに相当理解していて、
擁護派のDupy氏が逆にショルツに質問、ショルツが解説している
（否定的に）ショルツの考えが変わる感じではなさそう
1015:１３２人目の素数さん
20/04/15 10:33:58.74 +ag2Wthg.net
望月-ショルツの定理と呼ぶか
ショルツ-望月の定理と呼ぶかで100スレ消費
に10モッチ
1016:１３２人目の素数さん
20/04/15 10:45:06.91 5SCSS1OZ.net
仮に正しくてもそんなややこしい理論は必要ないんじゃないか？
誰も巻き込まれたくないw
1017:１３２人目の素数さん
20/04/15 10:53:10.19 b4Ht7CST.net
そらショルツは望月が何をやりたいかやりたかったか理解してるだろうその上での指摘だとおもわれる
1018:１３２人目の素数さん
20/04/15 10:59:05 5SCSS1OZ.net
これやっぱり駄目じゃないの？やり取り見た感じ
読み込んだが本当に理解不能って印象
1019:１３２人目の素数さん
20/04/15 11:00:37 5SCSS1OZ.net
↑ショルツが読み込んだが、ね
1020:１３２人目の素数さん
20/04/15 11:01:40 5SCSS1OZ.net
ま、頑張ってね京都の皆さん
1021:１３２人目の素数さん
20/04/15 11:11:08 lVWoKbS/.net
>>972
証明できていればややこしくてもなんの問題もない。
そもそも、簡単に証明できないから
ややこしくなっている。
1022:１３２人目の素数さん
20/04/15 11:19:36 r8DbtXP/.net
>>824
ＤＨＡを豊富に含んだ食品摂取で頭が良くなるって本当なんでしょうか?
最近話題になってたヨーロッパの天才児の食生活についても
「お魚を良く食べます」
ってお母様が仰ってました
1023:１３２人目の素数さん
20/04/15 12:15:15.85 upGWUHod.net
ブンゲン
「（数学的に正しいとは）水も漏らさぬ証明があること」「いかなる細部にも飛躍があってはならない」
よくぞ言った。
ブンゲン含め望月応援団は3.12→3.13の論証が、いかなる細部にも飛躍がない、
水も漏らさぬ証明であることを天下に示すべきである。
そのためには機械による検証が必要である。
それがないかぎりは、望月の証明は「数学的に正しい」とみとめられない。
1024:１３２人目の素数さん
20/04/15 12:15:47.31 upGWUHod.net
ごめん、3.11→3.12
1025:１３２人目の素数さん
20/04/15 12:57:01.17 QCk3Iyvt.net
Woitのブログ上で建設的な議論が進んでいるように見える
内容はわからないけど、とにかくややこしい問題だということだけはわかる
1026:１３２人目の素数さん
20/04/15 12:59:04.23 1rZ9apod.net
もう理解度と読み込みではIUTはショルツのもの。
1027:１３２人目の素数さん
20/04/15 12:59:36.46 LTi2Xsr9.net
>>979-980
１．有限単純群の分類で、2012年 証明支援言語Coqを用いたファイト・トンプソンの定理(1963)の機械的チェックの成功をアナウンスした
しかし、その他の大部分は 機械的チェックなしなのです
２．1983 ゴーレンシュタインが、分類の証明が完了したとアナウンスした後、実は大穴が明いていることが判明(下記)
３．2004 アシュバッハーとスミス（ドイツ語版）が準薄群（すなわち偶数標数の体上の多くともランク2のリー型の群）について彼らの仕事を出版し、この時点で知られている分類の最後のギャップが埋められた
４．2008 原田とソロモンがマシュー群 M22（英語版） をカバーする、標準成分をもつ群についての分類の小さなギャップを埋めた。まあ、小さなピンホールがあったんだねｗ
５．証明支援言語Coqを用いた 機械的チェックは、後追いでしかない
１）機械にインプットするデータに誤りがあれば、アウトプットは正しくない
２）証明支援言語Coqが正しいことを、だれがどうやって保証しているのか？
６．ゆえに、証明支援言語Coqを用いた 機械的チェックは、人間の証明の裏付けにすぎない。現状ではね。まずは、人間の証明が先です！
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
有限単純群の分類
(抜粋)
証明の歴史
1963 ファイトとトンプソンがファイト・トンプソンの定理（奇数位数定理）（英語版）を証明した。
1983 ゴーレンシュタインが、分類の証明が完了したとアナウンスした。しかし準薄（英語版）ケースの証明が不完全であったため、これは尚早であった
2004 アシュバッハーとスミス（ドイツ語版）が準薄群（すなわち偶数標数の体上の多くともランク2のリー型の群）について彼らの仕事を出版し、この時点で知られている分類の最後のギャップが埋められた
2008 原田とソロモンがマシュー群 M22（英語版） をカバーする、標準成分をもつ群についての分類の小さなギャップを埋めた。これは M22 のシューア乗数（英語版）についての計算において、誤って証明に欠落が生じていたためである
2012 ジョルジュ・ゴンティエ（英語版）とその共同研究者達が、証明支援言語Coqを用いたファイト・トンプソンの定理の機械的チェックの成功をアナウンスした
1028:１３２人目の素数さん
20/04/15 13:06:47 /g+JzMtk.net
>>983
＞証明支援言語Coqが正しいことを、だれがどうやって保証しているのか？
Coqの正当性をCoqで検証すればいいんじゃね？
1029:１３２人目の素数さん
20/04/15 13:10:33 /g+JzMtk.net
>>984
具体的に説明するか
Coq証明系の存在証明をCoqで書いて
プログラムとして抽出すればいいってこと
カリー＝ハワード同型対応
URLﾘﾝｸ(ja.wikipedia.org)
1030:１３２人目の素数さん
20/04/15 13:13:18 QCk3Iyvt.net
>>985
そのプログラムの正当性はどうやって検証するの？
1031:１３２人目の素数さん
20/04/15 13:13:33 /g+JzMtk.net
>>984
具体的に説明するか
Coq証明系の存在証明をCoqで書いて
プログラムとして抽出すればいいってこと
カリー＝ハワード同型対応
URLﾘﾝｸ(ja.wikipedia.org)
1032:3%8F%E3%83%AF%E3%83%BC%E3%83%89%E5%90%8C%E5%9E%8B%E5%AF%BE%E5%BF%9C
1033:１３２人目の素数さん
20/04/15 13:15:03 /g+JzMtk.net
>>986
抽出されたプログラムにもう一度証明を食わせて
同じプログラムが抽出されればOK
1034:１３２人目の素数さん
20/04/15 13:16:45 LTi2Xsr9.net
>>988
インプットデータの正当性は？
1035:１３２人目の素数さん
20/04/15 13:22:26.67 LTi2Xsr9.net
>>987
カリー＝ハワード同型対応
は正しいが
Coqにそれが正しく実装されている保証がない
ゆえに、ふつうは二つの異なる証明系に食わせて、結果の一致までを見ることで精度上げることはよくやられる
１．もし、人間の証明と機械の証明結果が一致すれば、人の証明が正しい裏付けになる
２．もし、人間の証明と機械の証明結果が一致しない場合、人の証明が間違っている可能性が高いが、機械への入力ミスなどの可能捨てきれない
よって、人間の証明を、人が
再チェックして、確認することになるだろう
1036:１３２人目の素数さん
20/04/15 13:22:59.13 QCk3Iyvt.net
よくわかんないけどそのやり方で検証と言えるのかな
なんか正しいから正しいと言っているように見えるんだけど
1037:１３２人目の素数さん
20/04/15 13:25:21.63 /g+JzMtk.net
>>989
漫然とインプットデータといわれても困る
公理や定理の式が正しいとして、証明が間違っていたら？ということはない
公理や定理の式が間違っていたら？ それは検証系で検査できることではない
プログラム検証のV&Vで、
後のV(verification 検証)は機械的にできるが
前のV(varidation 妥当性確認）は機械で実施するものではない
URLﾘﾝｸ(www.ipa.go.jp)
1038:１３２人目の素数さん
20/04/15 13:26:31.69 LTi2Xsr9.net
>>990
> よって、人間の証明を、人が
>再チェックして、確認することになるだろう
だったら、状況はいまとあまり変わらないんじゃない？
Coqに食わせるのが簡単にできるなら、人のチェックと 平行してやればいいけど
1039:１３２人目の素数さん
20/04/15 13:27:59.69 /g+JzMtk.net
>>992
誤 varidation
正 validation
1040:１３２人目の素数さん
20/04/15 13:29:04.99 LTi2Xsr9.net
>>993
＞Coqに食わせるのが簡単にできるなら、人のチェックと 平行してやればいいけど
たとえば、IUTの原稿ファイル貰って、それをCoqが機械読みしてくれなら簡単だが
もし、人が読んで、Coq入力を作るなら、それはすぐにはできないよね
1041:１３２人目の素数さん
20/04/15 13:30:09.19 /g+JzMtk.net
>>993
そもそも、理論として出来上がっているかどうかが疑問視されているなら
Coqへの実装は無意味ではないだろう
1042:１３２人目の素数さん
20/04/15 13:31:03.89 /g+JzMtk.net
>>995
もちろん、すぐにはできないが、やらない言い訳はないな
1043:１３２人目の素数さん
20/04/15 13:39:57 /g+JzMtk.net
>>990
Coqによる検証でも、人間によるテストを全部無くすことはできないが
「人間の証明を、人が再チェックして、確認する」
とかいう機械排除の口実は全く存在しない
1044:１３２人目の素数さん
20/04/15 14:26:02.19 upGWUHod.net
>>983->>998
のやり取りみるだけで、擁護派は数学的真理などどうでもよく、
機械検証をいわれたら逃げ回り、
ひたすら「望月がABC予想を証明した功績を認めろ」と強弁しているだけであることがわかる。
1045:１３２人目の素数さん
20/04/15 14:27:54.76 upGWUHod.net
それが結論
1046:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 3日 5時間 15分 19秒
1047:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています