19/06/29 07:01:40.58 37tMvLCf.net
そうそう俺は精神病でさ時々書き込んでいるんだよ。
痛いところ突かれて、アンカも違うけど反応して焦っちゃうよ
858:１３２人目の素数さん
19/06/29 07:08:25.57 Z2KDXkY1.net
>出鱈目な内容の残念な雑音
重大で不都合な事実を指摘され激怒した。
それだけだ
859:１３２人目の素数さん
19/06/29 07:48:36.95 j3LRAJOP.net
>>807
”重大で不都合な事実を指摘され”の”事実”だけど、
８月のSS報告書と望月コメントの後、Fesenkoのコメントに、
URLﾘﾝｸ(www.maths.nottingham.ac.uk)
SSはevidence of the ’faults’を示すべきだと書かれては、
SSが示さないと。
Of course, it is still possible to contribute useful questions/comments/remarks in relation to more conventional parts of the theory, e.g. those which came in 2012 from Dimitrov and Venkatesh.
To make a mistake in one’s mathematical study is forgivable
860:, especially when one tries to understand a complex theory. However, publicly talking about ’faults’ in another theory for several years without ever having any valid evidence of the ’faults’ is not what we can support. SSの8月のレポートは誤りと誤解があると書かれているから、先のevidence of the ’faults’を示して、これにSSは回答があるのかなと思っている。 The second version of their report does not address most of comments of Mochizuki on their first report. The second version of their report also included new incorrect statements such as a blunder in classical height theory and a fundamental misunderstanding of the famous work of the German mathematician G. Faltings それと改めて読んで気づいたけど、加藤のIUT本は英訳されのかな。 one can watch F. Kato’s talk and hopefully his bestselling book will soon be translated into English.
861:１３２人目の素数さん
19/06/29 08:14:17.31 Z2KDXkY1.net
フェセンコも2017年12月の 数学コミュニティ
で罵倒していた。
回答してもまた罵倒されるだけだろう。
望月星とSSが直接議論したのに、その後
星だけが公に沈黙している。
星は 自らのレクチャーノート サーベイを含め
数学として明確にコメントするべきと思う。
摩訶不思議なIUTランドですね
862:１３２人目の素数さん
19/06/29 08:24:51.55 uSdUwGpS.net
いい加減キャラ変えていかないと、これからどうするんだよ。
数学というかもともと一番の関心は結局他人との接し方だろ？
863:１３２人目の素数さん
19/06/29 08:27:19.11 JpXiWWm1.net
幾人もの数学者から循環論法と不定性を指摘されてるのだから擁護派はやればやるだけ窮地に追い込まれると見て良いだろう
793や803みたいな主語と述語も理解できないようなフーリガンは研究室周辺の子息妻子が丸々の嘘を教え込まれて妄信的に書き込んでるだけ
864:１３２人目の素数さん
19/06/29 08:39:22.47 uSdUwGpS.net
どっかの不良の兄ちゃんが、身体に刺青入れてこれは俺の鎧だから、
って言っていたのと同じじゃん。言わないままにしておくから
還暦過ぎても消化できないんじゃない？
曖昧にしておくから締まりのない暴走族の解散騒動みたいに見えるぞ
865:１３２人目の素数さん
19/06/29 08:49:41.63 uSdUwGpS.net
現代数学とは複素関数論のことです、しかもその先はありませんってもう言おうぜ
866:１３２人目の素数さん
19/06/29 09:38:46.46 RnEmeIG1.net
おこぼれ狙いのバカボン周辺が新しい数学を免罪符にして新興宗教にしてる
ジャーゴンの山と見るべきアイデアはないとの指摘を理解できないから
867:１３２人目の素数さん
19/06/29 09:52:55.44 uSdUwGpS.net
単にわざと怪しくやって自分とこの院生の進路変更促してんだろ
研究室ではああ言ってるけど先無いよって
868:１３２人目の素数さん
19/06/29 10:39:35.25 OVgM1/wi.net
>>808
英訳版文元本の一番面白いところ、
Unfortunatly, my favorite stakehouse closed
869:１３２人目の素数さん
19/06/29 12:04:39.40 YrlHWWmV.net
忙しいとか罵倒されるからとかは、レポートの質問に回答しない理由とは思わない。
そのレポート�
870:曹｢た時点で負うべき文責だよね。 Fesencoの前述レポートに「SSの５月レポートは望月指摘で心変わりして投稿を見送っ」たとあるけど、投稿の文責をもない非公式レポートで、文書での指摘に回答もしないならば、 それは手続きとして「レポートには文責がない」扱いだと思う。 加藤本を読んで興味を持ってみたが、 擁護派だか何だか知らないが、 SSも、G. Faltingsの有名な業績を間違えてるとか、議論がFALSEとまで書かれたら、 質問や指摘に対して、間違ってない事を根拠を示して回答するのみだ、とシンプルに思うが。
871:１３２人目の素数さん
19/06/29 12:13:05.16 jtcUPIcD.net
>>817
そこまでの責任は無いよ
というのは、議論の根幹である「実テータ写像は自明ではないのか」との問いについては、
仮に望月らの反論である、環を相対化した群の同型射の取り方の明示化を受け入れても、数学的に揺らがない
可能性が高いから
「SSレポートが十分ではない」のと「批判の骨子が間違いである」のとは混同できないのは明白
強いて言えば、アクセプトしたらまた別の誰かもSSに加担する可能性とかはある
872:１３２人目の素数さん
19/06/29 12:28:55.34 U4KcrQTE.net
警告としてはもう充分でしょう
自滅するまでわかんない人たちばっかりみたいだからやらせてあげれば
数学の微分はやれても情勢の微分はやれないカスばっかりなんだから
死人がでても気の毒とは思わないね
873:１３２人目の素数さん
19/06/29 12:40:54.48 aWnDfeSo.net
>>818
本を読んで興味を持った外野ですからねｗ
レポートは、それを読んだ者が技術的に質問して回答ない「手続き」をしたら、
その「SSレポートは文責がない」と言っただけです。
ただ「そこまでの責任は無いよ」と言ったら、もし回答するならSSに失礼で、
そこまで言ってませんが。
874:１３２人目の素数さん
19/06/29 12:50:40.50 Vto9cG74.net
こいつ本スレとか前スレ全然読んでないな
875:１３２人目の素数さん
19/06/29 12:55:15.21 RGVxekou.net
明後日の方向にミスリードして撹乱するのはライター系の常套手段
本論で都合が悪いから
876:１３２人目の素数さん
19/06/29 13:20:23.76 jtcUPIcD.net
>>820
SSに文責自体はありますよ。何故なら、informalでも関心ある数学者は皆この件を認知しているから
ただ、更に反論する責任まではあまりないってこと
まあ論争の件のリンクが無くなってるように見えるのは疑問だけど
877:１３２人目の素数さん
19/06/29 15:53:19.78 zcWog+My.net
SS分裂後、シュティックスとショルツェのIUTに対する見解はどう違うのか？
知りたいね。
878:１３２人目の素数さん
19/06/29 16:12:53.38 jCoTZ8sT.net
>>824
過去スレを読んだらいかがですかね
879:１３２人目の素数さん
19/06/29 16:16:52.12 DHiuKlHq.net
Inter-universal geometry と ABC予想 39
ふうL@Fu_L12345654321
学コン1傑いただきました！
とても嬉しいです！
URLﾘﾝｸ(pbs.twimg.com)
URLﾘﾝｸ(twitter.com)
(deleted an unsolicited ad)
880:１３２人目の素数さん
19/06/29 16:22:25.40 zcWog+My.net
ショルツェは遠アーベルの知識、理解に関してシュティックスに依存していたが、シュティックスが日和ったので梯子を外されてまったく動けなくなった。だから沈黙するしかないのだろう。
881:１３２人目の素数さん
19/06/29 17:21:45.23 XHR4+ste.net
こんな状況でショルツェもシュティックスも発言したくないだろ。
細部をつつかれて罵倒されるのだから。
彼らはIUTを見限ったということだろう。
彼らが来日したときは、直接議論することでIUTを理解できるかもしれないという希望をもっていたんだろうけど、もうそんな希望をもてなくなったのでしょ。
細部をきちんと埋めるのは、IUTの証明において望月とその取り巻きがきちんとやるべきこと。
B本がやっているのは、パズルがきちんと貼り合うことを、証明とは無関係の絵などでイメージさせているだけ。悪徳政治家かよ。
882:１３２人目の素数さん
19/06/29 17:23:41.08 jtcUPIcD.net
>>797
ただ、単遠アーベル幾何学を用いるのは理論の動機からは必然的ではありますね
環上の線形な微分ではなくて、自由群による環構造間の微分を構成するのが狙いなわけだから
で、それがナンセンスという話
つまり、哲学的には面白いと言っても良いんですよ
でも安直な道具立てなんじゃないかなっていう問題。エタール基本群のbi-anabelianには欲しい構造がないから
位相群ならどうか、しかし実解析多様体においては自明な写像を無理やり複雑にしたようにしか見えないと
883:１３２人目の素数さん
19/06/29 17:26:47.96 jtcUPIcD.net
スキームより深い微分によるテータの一般化は可能だろうけども、IUTがそれを満たすのかどうか
そういう意味では、ギャップがあるというよりは、夢としてはまあある程度正しいのかもしれない
それを自然に実現するのはまた「狙いは似ているがそれなりに別の理論」なのかもしれない
884:１３２人目の素数さん
19/06/29 17:29:42.38 zcWog+My.net
SSが京都に来た頃は彼らは自分たちの考えに自信を持っていたが、もっちーの反論文書によって完璧に打ちのめされて自分たちの不勉強を思い知った。
885:１３２人目の素数さん
19/06/29 17:49:13.13 XHR4+ste.net
もっちーは「出鱈目な内容の残念な雑音」とか日本語で言っているだけだろ。それじゃSSに届かないよ。
届いたところで、関わりたくないと思っているんでしょ。汚い言葉で罵倒されたくないだろうし。
もっちーの反論文書も、始めの版ではもっちーがこんなに汚い英語の使いかたをするのか、ということに驚いた。ある意味ネイティブじゃないとできない。
でも、それは後の版で少し穏当に書き換えられた。いずれにせよ、もっちーに対する信頼がなくなっていった。
自分はIUTについては素人だけど、大学教員やってます。
886:１３２人目の素数さん
19/06/29 18:31:12.33 jtcUPIcD.net
最終的にはCoqに任せればいいのかなw
887:１３２人目の素数さん
19/06/29 18:47:32.98 eM2nthZQ.net
>>829
まあ、そうですね。「動機からは必然的」ですね（笑） 望月の気持ちはよく分かります
ロバーツが「望月は圏論の概念を使いながら独特のジャーゴンを使っている」というようなことを書いていますが、
逆に言えば、元々望月独特の論理があって、圏論で翻訳できる部分はできるだけ翻訳しているという印象です
これは物理屋さんが>>624でロバーツPDFから引用したようなことです
（片言ガイジと呼ばれていますが、この人の引用は適切です）
大体、忘却関手で位相構造を忘れた状態をそのままにして、かつ体としては非同型なものを（充満多重）同型と呼ぶこと自体、
ブッ飛んでいます（笑） とにかくアイデア先行で、既存の数学なぞなんのその！って感じですね
888:１３２人目の素数さん
19/06/29 19:05:17.84 eM2nthZQ.net
先日、IUTの宇宙際性というものはドゥルーズ『差異と反復』のようなものだと書きましたが、
SSレポート公開直後に私がこのスレで書いたのはリゾーム的なものではないか、ということでしたね（失念していました）
これは私の勇み足でしたが、ある意味でIU形式主義、宇宙際幾何学の行き着く先を私なりに想像（妄想ｗ）したものだと言えます
つまり、アナベリオイドの幾何学を徹底し、スタックを駆使すれば、完全なる異種交配の数学に行き着くかもしれない（笑）
如何なる対象でも、様々に異なる次元でも組み合わせによって繋
889:げて考えられる D-Gの言葉を借用すると「超越論的経験論的遠アーベル幾何学」などが将来的にありうるのではないでしょうかｗ あー、なんかもう私もオカルトマニア氏みたいになってきましたね orz
890:１３２人目の素数さん
19/06/29 19:09:34.76 zcWog+My.net
ショルツェは何も言えないから黙ってるんだよ。
891:１３２人目の素数さん
19/06/29 19:28:23.30 6MnOjJoq.net
現役のフィールズ授賞者がそんなことしないでしょ
擁護側の取り巻き連中以下みたいなことはしない
892:１３２人目の素数さん
19/06/29 19:29:41.39 XHR4+ste.net
>>836
あなたと似たにおいのする取り巻きやご本尊と、もう関わりたくないんだろ。
B本ではたとえを多用しているが、電車の中にごくまれにいる、すごく臭かったり奇声を発していたりする人に関わりたいか？
893:１３２人目の素数さん
19/06/29 20:26:26.19 cIvUksKY.net
>>837
黙っているよｗ
the argument of §2.2, is completely falseと、
公開のコメント文書に、説明付きで書かれて、
どう「Falseでないか説明せず」に、まだ黙っているから。
まずは自身の書いたレポートへの質問の回答からだよね。
894:１３２人目の素数さん
19/06/29 20:46:40.32 eM2nthZQ.net
>>833
このことについては以前にバザードが、IUTについてはまだまだだと、否定的見解をコメントしていましたね
ヴォイトのブログの“Latest on abc”のコメント欄（このブログはコメントが多いと1ページには収まらないんですね）
URLﾘﾝｸ(www.math.columbia.edu)
バザードのコメント(Kevin Buzzard says:December 18, 2017 at 7:02 am )から一部引用
-----------------
Humans have not yet finished the pre-formalisation part of Mochizuki’s work.
The papers contain claims which many members of the number theory regard as being unclear.
A team of computer scientists cannot work with a document which contains assertions
for which the only way to unravel them is to ask a small group of people who claim to understand the proof,
especially if the response is that the computer scientists should just go away and do 300 hours of training.
Because the pre-formalisation is not yet finished, the formalisation can not yet begin,
and until the pre-formalisation is finished I think it would be very unwise to speculate about the length of a possible future formalisation project.
-----------------
895:１３２人目の素数さん
19/06/29 21:23:42.27 jtcUPIcD.net
>>840
しかしできることは間違いないですからね
HoTTと代数的整数論を押さえる、つまりVoevodskyに近い人材を集めれば、少なくとも議論を洗練させることは
できる。それも重要だと思います。ケーススタディの一としてはっきりさせていく
ただ、今の形式化は手間がかかりすぎますね。非常に原始的な段階だからなかなかできない
前形式化云々というよりは基礎論および形式化のソフトウェアの整備でしょうね
この点で今一番必要な人材は、グロタンディークとフォン・ノイマンやラッセル、フレーゲを
合わせたような存在、または流れでしょう
896:１３２人目の素数さん
19/06/29 21:42:30.66 eM2nthZQ.net
>>841
いやいや（笑）、そんな数学史に残るような大天才たちがIUTに集まるわけはないと思うのでｗ
現行のIUTでは普通に優秀な数学者でも見向きもしませんよ（ゲテモノ好きは除く）
バザードが言っているようなことは望月自身がやらな�
897:ｯればいけないことです 所謂理解者には期待できません。ただ、IUTを形式化出来るかは疑問ですね 私はIUTをレトリック集、ナンセンス集としてしか見ていませんから、個人的には形式化したら価値がなくなりますね ここで言う価値は、数学的な価値ではありません。勿論、哲学的な価値でもありません
898:１３２人目の素数さん
19/06/29 22:22:38.92 80pJPXmm.net
バザードってなんかかっこいい名前だな
きっとバザードのほうがただしい
899:１３２人目の素数さん
19/06/30 06:46:20.39 M0Nqv3qh.net
飲み屋で身体も動かんようなじじいが、調子の悪い野球選手を叩いているようなもんと思えば、このスレの偉そうなバカたちの存在も許せるのかも
900:１３２人目の素数さん
19/06/30 07:28:17.66 GNflWkMb.net
さあ高級焼肉喰って精力と勢力増すニダ不利な点はスルーして延々と回答こないことを正当化するニダ
今週も手頃なカモをマインドコントロールして適当にわかったフリをする人間を増やすニダ
∧＿∧ 国内からの決定的な反論や異論は答えられないから徹底的に説明責任回避するニダ論点すり替えてケムに巻くニダ
<丶｀∀´> ∧＿∧ 反論は無理ポだし見てないフリするニダ検証されると困るからいつもの僻みフーリガン工作員使うニダ
／ ＼ （ ）詭弁と強弁とポストチラつかせて寄生ﾀﾞﾆ工作員増やすニダ
.＿＿| | .| |＿ / ヽ
||＼ ￣￣￣￣ ／ .| | | なに言ってんだこのゴミクズ太鼓持ちの傲慢エセ数学ドカタ野郎が身内の反論検証はよ
||＼..∧＿∧ (⌒＼|_＿./ ./ 明示的定数とかホザいてたピエーロ・ヒトバシーラは音信不通かよ
||. （ ） ~＼___＿_ノ| ∧＿∧ 幕末の志士気取りでおこぼれ狙いがミエミエでさもしいんだよクズ野郎が
/ ヽ 厚顔無恥の馬鹿？＼| （ ） 不利な点は徹底してスルーで数日で復活とかハイエナゴキブリ並みの生命力
| ヽ ＼/ ヽ. 無防備な学生やら利得関係者ばかりにゴリ押し洗脳新興宗教かよ
| |ヽ、二⌒) ／ .| | | 数々の指摘の反論ができないってどういう事だよ
.| ヽ ＼∧＿∧ (⌒＼|_＿./ / 説明責任回避して逃げるだけのペテン師ハイエナ野郎
. 洗脳本の出版で潮目が変わるんじゃなかったのかクソ野郎
. 決定的な否定論を活発な議論とかでごまかすハイエナ野郎クズいんだよ
.
901:１３２人目の素数さん
19/06/30 08:20:33.89 mpdPendQ.net
研究室で論文もサーベイも書けん若手が、オツムの悪い擁護連中を後ろから蹴飛ばしてるようなもんと思えば、このスレのクソ偉そうな
個人権威の崇拝主義たちの存在も容認できるかも
ポスドクゲットのニンジン争奪戦でアンチ叩きのポイントが加算されるから
902:１３２人目の素数さん
19/06/30 09:47:35.67 Mb+tV1O4.net
> 個人権威の崇拝主義たち
「個人主義の権威崇拝者たち」くらいの方がまだいくらか言葉の流れはよいかも
(これでも意味はよくわからないけど、おそらく罵倒が目的の文脈のように見えるから)
903:１３２人目の素数さん
19/06/30 09:59:05.72 u3sAtnUH.net
確かに日本語がおかしいな。
904:１３２人目の素数さん
19/06/30 11:07:27.22 dhj+D6X6.net
某国営HKもBやFのインタビューすでに撮ってっから、あとはタイミングだけ
905:１３２人目の素数さん
19/06/30 11:25:59.33 w4Iq1GYn.net
>>842
いや、自分もIUT自体にはそういう人材は集まらないかなとは思いますよw
というよりは自動化に向けた期待です。怪しい理論とはいうものの、圏論や整数論の基本的な使用に
少し理論内容を付加すれば検証できるでしょうし、HoTT路線がそういう強いシステムにまずなったら良い
で、例えば京都の関係者である照井氏や文元氏が協力して、数論幾何とコンピュータ科学をブリッジできる
人材を育成してみたら良い。つまり二重の発展が望まれる
コンピュータ科学と相性が良いはずのIUTの性質が確認できたら万々歳だし、形式化できないとか
明らかにエラーにしかならないとなったら、それはそれで良い。まああまり学派が今みたいなやり方を
貫くなら十年後そうなるのが一番だろうという期待ですね。その必要もないかもしれませんが
906:１３２人目の素数さん
19/06/30 11:37:09.51 SwSeoAcb.net
ScholzeはStixに見捨てられた？
907:１３２人目の素数さん
19/06/30 11:41:40.61 w4Iq1GYn.net
>>851
SSの議論が殆ど公的に周知な以上、Stixが明確に宣言しない限りは遠アーベルの京都の会合に来ても
寝返りはフェイクでしかないよ
むしろ京都側が再び説得する機会にしたいのでは？
908:１３２人目の素数さん
19/06/30 12:07:52.32 BX97gpZj.net
Remark 3.11.1がだいぶ追記されて増えた。
909:１３２人目の素数さん
19/06/30 12:21:16.85 wrQdryZd.net
>>845
>.洗脳本の出版で潮目が変わるんじゃなかったのかクソ野郎
ネタにマジレスだが洗脳本の出版は非数学者の理系人を含む一般人には
好意的に受け止められた
IUTの外にいる数学者には否定的というか無責任と感じた人が多かったのではないか
問題のある記述は避けてはいるので逆になぜ著者が避けたかということにはなる
910:１３２人目の素数さん
19/06/30 12:26:42.39 wrQdryZd.net
もう1年くらい話題になっているのだから過去にサーベイレポートを書いたり講演をした人が
Corollary 3.12周辺の解説をしても良いはずだな
本当に「自らが理解者である」ことを示す必要があろう
そこがないのが不信感の大きな一因でもある
911:１３２人目の素数さん
19/06/30 12:58:58.67 SwSeoAcb.net
Scholzeが黙ってるのはStixに捨てられたから。
912:１３２人目の素数さん
19/06/30 14:43:53.36 D8c+7UAk.net
黙ってるもクソも、あいつらが説明責任を果たすつもりがないことがわかったから、もう相手にする価値もないと判断しただけだろ？
当然そんなもののために時間とエネルギーを浪費するほどショルツも暇じゃないし、物好きでもないだろ。
証明に疑義があってその部分に明快な回答も修正案もない、この時点で数学会では終わりとみなします。
913:１３２人目の素数さん
19/06/30 15:00:34.99 20mqJBH1.net
>>857
完全に間違ってる
仲間と思っていたStixが日和ったから沈黙せざるを得なくなった
つまり情勢はScholzeに不利
914:１３２人目の素数さん
19/06/30 15:17:00.94 lwkQFIN3.net
Stixはなぜ急に日和ったの？
915:１３２人目の素数さん
19/06/30 15:43:19.53 l/tsCoo3.net
何のソースもない、京都で遠アーベルの集会に来るってだけで日和ったとか
女性セブンかよあんたらは
916:１３２人目の素数さん
19/06/30 16:01:39.69 LSFu4bz1.net
ショルツの揚げ足だけ掬えばなんとかなると思ってる浅はかさの取り巻き連中
917:１３２人目の素数さん
19/06/30 16:30:24.22 EnZenjyK.net
＞ネタにマジレスだが洗脳本の出版は非数学者の理系人を含む一般人には
好意的に受け止められた
事情(二乗,ギャグ)も知らず飛びつく日本人の怖さを垣間みた
918:
19/06/30 16:45:18.35 mwZxztk1.net
>>862
＞ギャグ
説明しないとわからないギャグなんて
919:馬鹿じゃない？
920:１３２人目の素数さん
19/06/30 16:53:45.54 oJxSt1Ix.net
それこそ愛友亭
921:１３２人目の素数さん
19/06/30 16:58:59.58 I9W5QL29.net
Scholzeは遠アーベルは素人だからStixに捨てられたら何も言えない。
922:１３２人目の素数さん
19/06/30 17:06:39.28 l/tsCoo3.net
専門じゃないと言っても志村多様体もリジッドもエタール基本群も押さえてる数論幾何学者を舐めちゃあかんよ
しかも五年くらい読んできたわけだし、十分自力で吟味できるレベル
923:１３２人目の素数さん
19/06/30 17:08:11.45 V+7KKYzj.net
落としどころってのはあるのかな。
ラベルのあたりModifyしてるようだけど。
924:１３２人目の素数さん
19/06/30 17:22:57.65 ykqfvTi9.net
どうなったのか数年以来ここきたが
ここまで長引いてopenになってると近い専門家のみのジャッジで決着つかないのでは
分かるという専門家が解説したり、ギャップを埋める時間はあった
専門以外の復数人が間違いないと太鼓判しないと無理では
925:１３２人目の素数さん
19/06/30 17:26:29.88 Mb+tV1O4.net
数学の落とし所
926:１３２人目の素数さん
19/06/30 17:29:27.39 THTWj/vv.net
Scholzeは世界に恥を晒した。
927:１３２人目の素数さん
19/06/30 17:36:25.53 cCQ++Ud1.net
>>869
ラベルの並行線の解決
928:１３２人目の素数さん
19/06/30 18:05:08.64 gCg3VPQk.net
870はショルツに直接抗議もできないミジンコ工作員
929:１３２人目の素数さん
19/06/30 18:23:08.24 CYEnYmzF.net
ショルツよりも望月や取り巻きのほうがずっと恥をさらしているよ。
本当にABC予想を解決できているのなら功績が非常に大きいのだが、この状況だとそれを確かに判断できるのには十年くらい必要かもね。
930:学術
19/06/30 18:46:55.45 pVbXGe12.net
数学に下品なネタ自主規制するなよ。過去の賞が数式終わり。
931:１３２人目の素数さん
19/06/30 18:49:32.93 wrQdryZd.net
このまま撤退になったら数学史上に残る恥さらしだろうしな
その場合は2019年時点で特任募集とか20年のプロジェクトまで含め大失態ですよ
あと10年ごにょごにょして人は逃げ切っても失われた名誉は回復されません
932:１３２人目の素数さん
19/06/30 19:06:10.29 D8c+7UAk.net
疑義に対する説明責任も果たさず、数学的内容のない宣伝本や予算獲得や椅子取りゲームばかりが進められていく。
数理研の健全性にも疑問が出てくるな、こんなんじゃ。
933:１３２人目の素数さん
19/06/30 19:13:18.58 bRHlmN1v.net
来年集会の流れがどう出るか分からず、それ迄に数学的に決着をつけたいならば、
Stixらも質問や指摘をして、IUTを潰す or 説明不足の懐疑点が晴れるまでRemark に追記させる、等かな。
934:１３２人目の素数さん
19/06/30 19:36:02.54 bQXvcgs+.net
>>876
そうですよ、駄目な場合は全て責任追及されて罰を負わなくてはなりませんから
935:１３２人目の素数さん
19/06/30 19:40:26.07 +y0/lDyi.net
芸能の宮迫騒動でわかるけど知りませんでしたなんて通用しないからな、扇動者は
936:１３２人目の素数さん
19/06/30 19:50:22.41 glWTyEfI.net
Cor.3.12の証明を詳細に解説した補足ペーパーを公表し、
望月氏自身が欧米で講演をすれば、白黒つくだろう。
疑念を払拭にはそうするしかないのでは？
937:１３２人目の素数さん
19/06/30 20:00:04.49 U3vQKWv/.net
科研の研究課題「宇宙際幾何学のさらなる
展開」は研究者が 山下代表 望月新一両氏
の2名のみ。
IUTの最終目標のRHに向けて研究し、
毎年 RHは難しすぎて研究が遅れて
いる と報告 。
2016年が ショルツのパーフェクトイド空間
2017年が スピン構造 との関連を研究。
毎年 深いテーマ関連なのにコロコロ変わる。
RHとスピン構造といえば アティヤ卿の
ディラックとRH、スピノール表現を
想起する。
スピンの基本は1/2だが 成果はあったのか？？ w
URLﾘﾝｸ(kaken.nii.ac.jp)
938:１３２人目の素数さん
19/06/30 20:02:45.85 CYEnYmzF.net
この時点での特任募集に強い違和感を覚えたのだが、その理由が875によって咀嚼できたよ。
最近の日本の政治でも、疑問が出るプロジェクトに関しても疑問の声に答えるのでなく反対者を攻撃することで正当化するような事例が増えていて、そういう流れにはのっていると思う。
数理研も日本も終わっていくけど。
939:１３２人目の素数さん
19/06/30 20:09:22.70 D8c+7UAk.net
>RHは難しすぎて研究が遅れて いる
中卒のトンデモさんでも書ける何の内容もない報告だな笑
具体的にどういうアプローチを考えていて、何が難しいのか、何も説明なし笑
940:１３２人目の素数さん
19/06/30 20:13:52.68 l/tsCoo3.net
>>881
メインの論文がアメリカのリーダーに受容されない限り袋小路だよ。PRIMSだけでやってくしかない
東工大、九大、名大、東北大、東大などの国内ジャーナルもなかなか扱いに困るんじゃないの
アメリカに行かない異常さとかはもはや今更の話だね。2018年3月からもう一年経ってこの現状が物語ってるね
941:１３２人目の素数さん
19/06/30 20:16:28.77 l/tsCoo3.net
↑は、IUTの進展についての話ね
強硬アクセプトするか、引き延ばして関係者の不満が溜まり遂に問題になるかのどちらかっていう茨の二択
942:１３２人目の素数さん
19/06/30 20:45:57.61 oz6Ne34V.net
相変わらず日本語がおかしい人が粘着してるけど
何十年も経ってから認められるとかよくある話だからな
別に焦る必要もない
943:１３２人目の素数さん
19/06/30 21:10:50.02 Mb+tV1O4.net
信仰と希望と愛
944:１３２人目の素数さん
19/06/30 21:14:08.71 oz6Ne34V.net
>>882の日本も終わっていくけどとか
本当にお里が知れるレス
945:１３２人目の素数さん
19/06/30 21:40:37.50 BeMeEFi0.net
高尚なフリして沈んで逝ってくれ
946:１３２人目の素数さん
19/06/30 21:56:52.42 oz6Ne34V.net
日本語不自由
延々と自演
日本はホロン部
はぁ～ ア ホ く さ
947:１３２人目の素数さん
19/06/30 22:02:01.97 A7ag4Gdy.net
IUTが正しかろうが間違っていようが、Mがひねくれてなかったらこんな面倒なことになってなかったということは事実だろう
948:１３２人目の素数さん
19/06/30 22:08:59.79 CYEnYmzF.net
数理研も終わってほしくないので、流れがまともになってほしい。
このまま玉砕ではなく、いったん撤収したほうがよい。
そのほうが、後々にIUTを用いたABC予想の解決が認められた際にも都合が良いと思う。
949:１３２人目の素数さん
19/06/30 22:17:36.83 wrQdryZd.net
>>892
普通に考えて一旦取り下げて修正できたらまた出すほうが良いだろうね
ミスを指摘されて後から直す論文もあったわけで
四色問題も時間かかったが肯定的に見てる人が多かったし
長年修正に関わった人たちにも得るものは大きかった
2020年のプロジェクトとか政治や金のしがらみなのか妙な方向になってしまった
950:１３２人目の素数さん
19/06/30 22:31:16.01 oq6KCMlT.net
遠アーベルについて素人のScholzeが一人で反論できるわけねー。
951:１３２人目の素数さん
19/06/30 22:46:51.13 l/tsCoo3.net
でも不幸中の幸いなのは特異な理論ってことだね
別の理論でABC予想に取りかかる動機付けは殆ど損なわれない
952:１３２人目の素数さん
19/06/30 23:02:35.40 oq6KCMlT.net
惨めなScholzeを放置してるのはお釈迦様もっちーのご慈悲。
953:１３２人目の素数さん
19/06/30 23:11:06.38 0+YCvs9e.net
>>881
平成28年度
>パーフェクトイド空間を遠アーベル
幾何に応用できないか模索をした。
ショルツのパーフェクト空間が
難しすぎて理解できなかったのでは？w
954:１３２人目の素数さん
955:
>>897 パーフェクト→パーフェクトイド
956:１３２人目の素数さん
19/06/30 23:24:51.33 CYEnYmzF.net
IUTを受け入れてもらえないもっちーのほうが惨めだろ。
その取り巻きは餓鬼か。
957:１３２人目の素数さん
19/06/30 23:47:55.91 SwSeoAcb.net
StixもScholzeを放ったらかしにしてるのは紳士の優しさ。
958:１３２人目の素数さん
19/06/30 23:51:55.34 xJa7ic62.net
見事なブーメラン
世界中がＩＵＴを放置してるのは優しさ
959:１３２人目の素数さん
19/06/30 23:56:22.85 20mqJBH1.net
ここにいるアンチのなかには日本語がかなりおかしなやつがいるな
明らかにネイティブでは無い
自分では日本語が上手いつもりなのだろうか？
960:１３２人目の素数さん
19/06/30 23:59:24.82 SwSeoAcb.net
そりゃあ鮮人の僻みだからさ。
961:１３２人目の素数さん
19/07/01 00:04:00.43 gJgMRbjC.net
ニダー工作員は巣に帰れ
962:１３２人目の素数さん
19/07/01 00:08:00.13 DGD2I8ih.net
・日本語が不自然
・意味不明な単発レス
・文章構造が崩壊した長文レス
・自演でスレを荒らす
・突然の物理語り
・同じことを何度も書き込む
これ全て片言ガイジの特徴です
963:１３２人目の素数さん
19/07/01 00:10:56.66 NnyfLJu0.net
・反論が不自然
・意味不明な罵倒レス
・精神構造が崩壊した恫喝レス
・自演でスレを荒らす
・突然のアクセプト語り
・同じことを何度も書き込む
これ全て擁護ガイジの特徴です
964:１３２人目の素数さん
19/07/01 00:18:56.89 qwwof/nu.net
鮮人にしてみれば日本から偉大な数学の業績が出るのは耐えられないくらい辛いことなんだろう。
965:１３２人目の素数さん
19/07/01 00:19:49.32 NnyfLJu0.net
アタマ大丈夫ですか？
966:１３２人目の素数さん
19/07/01 00:23:15.85 ysrDVK5S.net
>>906
あと自分の頭で考えられない馬鹿だから、誰々がああ言ってると批判してくる
他人がどうこうじゃなくて自分の頭で考えろ低能
967:１３２人目の素数さん
19/07/01 00:23:48.05 SFPjTNHt.net
タクローさんや柏原先生もなんもいわれとらんがな
太鼓持ちの腰巾着連中におかしな奴がズラリといるだけ
968:１３２人目の素数さん
19/07/01 00:28:10.86 cceT8HC3.net
サーベイは書けんわギャップは埋めれんわネットでゴロゴロするだけでしかもやられっぱなし
その辺の焼肉屋にいるオヤジとかわらんな
969:１３２人目の素数さん
19/07/01 00:39:49.86 qwwof/nu.net
日本で偉大な数学の業績が出ると鮮人の惨めさがよりサリエントになる。
970:１３２人目の素数さん
19/07/01 05:43:57.60 3+OphnsF.net
相当悔しさが滲みでてるな、期待してたぶんだけ
はじめから無理なのに
971:１３２人目の素数さん
19/07/01 09:51:13.40 lWJfs8xx.net
「パラシュートなしで飛行機から飛び降りてもケガしない」ハーバード大学の衝撃研究の真相は
URLﾘﾝｸ(news.yahoo.co.jp)
972:１３２人目の素数さん
19/07/01 12:47:29.25 Wbm34Opq.net
ショルツのパーフェクト数学教室
973:１３２人目の素数さん
19/07/01 14:01:14.73 ZxvkXskW.net
パーフェクトイドについて何も書けなかったという点は文元にも言えるよね
というかどういう使い方をするのかよくわからないけどな。剛性部分を置き換えるのか
本来は表現論やコホモロジーのほうがフィットしてると思うけどな。主流から外れすぎた数学の悲しさw
974:１３２人目の素数さん
19/07/01 14:03:19.42 ZxvkXskW.net
Kedlayaも文元もIUTにパーフェクトイド使う論文書いてないでしょ
つまりはそういう事なんだよ、あまり見通し良くない。アイデアがあったら5ページでも書くだろうし
975:１３２人目の素数さん
19/07/01 15:08:20.56 x0SnrTo8.net
>>903
むしろレスの感じからすると欧米の人っぽい
976:１３２人目の素数さん
19/07/01 15:16:02.89 qwwof/nu.net
>>918
いや韓国人だ。
韓国政府から金貰って書き込みしてる可能性もある。
977:１３２人目の素数さん
19/07/01 15:32:42.34 +/pt6kf7.net
>>881
スピンは1/2、1、3/2、5/2を
1,2,3,
978:5に置き換えればいいだけ 実際の実験が4次元空間(3+1次元)で行われる限りにおいては +-4種の合計8種(+-3種の合計6種)しかクォークは実験的には見つけられないってこと これが無限の入れ子ループ構造を一つの極から見たときに想定される数学的な挙動だからな
979:１３２人目の素数さん
19/07/01 18:16:19.45 8PCGqVSn.net
>>897
科研費申請書によくある「大風呂敷を広げたができなかった」だなw
Goは若手で1回（2年で完了）・基盤Cは今回初めてで書き慣れてないな
今の論文実績で次あるのかねえ
科研費の申請は1/3はすでに持ってる未発表結果を書いて
1/3は本当に目標を書き1/3ではったりを書くものだw
980:１３２人目の素数さん
19/07/01 18:38:05.31 MGEAluK/.net
全部はったりじゃ具合悪かろう
981:１３２人目の素数さん
19/07/01 18:39:55.64 YT3DF9jp.net
そもそもあの業績で、肝心のサーベイもクソの役にも立たず、それであそこのパーマネだからな。本人も流石に居心地悪いし後悔してるんじゃね？
982:１３２人目の素数さん
19/07/01 18:59:32.25 JCTMUZTg.net
クソ偉そうに罵倒とプロパガンダを繰り返すのが仕事だと思ってる院生と相性いいんじゃないの
983:１３２人目の素数さん
19/07/01 19:05:08.38 Fri2mAfi.net
あの丸写しサーベイで科研費３百だか５百もらったんならBより時間単価高いよな
監修経費で高級焼肉に流用させたのか
984:１３２人目の素数さん
19/07/01 19:14:19.80 c1HN02P5.net
院生の本音
URLﾘﾝｸ(search.yahoo.co.jp)
985:１３２人目の素数さん
19/07/01 19:40:23.98 isDUtUwn.net
この時間帯って内部者らしき擁護厨の工作員いないのな
さては生活苦におわれてコンビニバイトとはごくろうなこったｗｗ
生活苦と引き換えに魂まで売り飛ばすとかＡＶ嬢かよ
986:１３２人目の素数さん
19/07/01 20:56:42.70 YZhdX5+W.net
>>883なんかそうだが、
フーリエ変換とかテータ関数や乗法理論はわかるけどメリン変換が全くわからないなんてあるか？
前者を代数幾何学的な設定で考えたら俺ならアイデア出せるよ
数学的視点から見てもよくわからないんだよな。何か書けるだろ
987:１３２人目の素数さん
19/07/02 07:13:16.29 8EzjP+CR.net
誰にでもすぐ右翼左翼のレッテルを貼って
まともな政策論争ができないネット民に
似ているね、すぐ擁護派だの反対派だの
いう奴。
988:１３２人目の素数さん
19/07/02 07:20:59.06 rXRTVteh.net
論点が明らかなのに明確な反論ができないからだろ
一部のフーリガンは証明された、されたの連呼だし
理性派？は反論できず新しい数学だとか可能性だとかで逸脱するし
なにが新しいのかキチンと訴求すれば
989:１３２人目の素数さん
19/07/02 12:05:32.00 m+NrFT6e.net
IUT周辺にはおもしろいネタがあるけど、
御本尊がIUTの (細かい)改良しか許さないの
だろう
990:１３２人目の素数さん
19/07/02 13:00:40.87 BOcgD3xc.net
山のようなパッチが当たった、動くかどうかわからないプログラム、みたいな？
991:１３２人目の素数さん
19/07/02 14:30:07.21 21EU+IlN.net
>>931
周辺は自分たちのやりたいように勝手にやればいいと思うがな
「御本尊が(細かい)改良しか許さない」数学なんてすぐ潰れる
992:１３２人目の素数さん
19/07/02 15:43:35.20 CaFoTM5d.net
>>931
まったく逆だと思う。むしろいじり倒して欲しいけど、周りが手をつけられないだけ。
993:１３２人目の素数さん
19/07/02 15:49:59.62 nzRoO8NL.net
＞御本尊がIUTの (細かい)改良しか許さないのだろう
何言ってんだこいつ(´･ω･`)
994:１３２人目の素数さん
19/07/02 16:44:15.45 2gT6mNci.net
>>932
証明のプログラムなら 裏付けに論理の完全性
定理も必要だし、
IUTによる証明はIUT形式を含むんだよね
995:１３２人目の素数さん
19/07/02 16:46:20.94 IBtJIl6U.net
うーん、メリン変換とスピンって言ったら一応ちゃんと一定の方向で模索はしてるのはわかるが
何か書いて出せよとw
特にIUTとモチーフとの関連は一本間違いなく書ける。でも、どうせアクセプトされないか
996:１３２人目の素数さん
19/07/02 16:50:22.66 IBtJIl6U.net
とはいえArxivにどんどんプレプリント出すべきだよね
あれだけの膨大な理論を理解して三年間一本も書けないとかありえないよ。全体的に無能としか思えないね
997:１３２人目の素数さん
19/07/02 20:02:10.27 EM+k0btj.net
このスレでバカみたいなイチャモンつけるやつが多過ぎる。なぜだろう？
998:１３２人目の素数さん
19/07/02 21:09:10.63 UDherhKq.net
研究室周辺が特異点なだけ
999:１３２人目の素数さん
19/07/02 21:40:40.78 pYbbnTiu.net
今回だってＢの非数学徒人気を利用して世論を扇動し、ゴリ押しで掲載させようとしたんだろうが世間はそんなに甘くない
脳内妄想全開だからＮスペもポシャるのさ
Ｂだって密約のポストがゲットできないと笛吹になるかもよ
あの理解度なら普通は厳しいだろうけど
1000:１３２人目の素数さん
19/07/02 23:54:03.15 0FhYomiN.net
IUTで所望の不等式を得て愛友亭で所望の地位を得る
東京の焼肉はうまくないのか
1001:１３２人目の素数さん
19/07/03 04:53:17.51 jzO7LrN9.net
韓国政府から金貰ってる民団が組織的にもっちーを誹謗中傷する書き込みをしているのか。
1002:１３２人目の素数さん
19/07/03 08:10:59.09 tlbTB8gt.net
>>941
そういう陰謀論的なことを平気で書いてると、まともな批判とは
受け取られないよ。逆効果だからやめとき。
1003:１３２人目の素数さん
19/07/03 14:45:30.86 0iHXX/7/.net
まともな批判と受け取ったことなんかあったっけ
1004:１３２人目の素数さん
19/07/03 14:55:30.44 g6rILCt+.net
M月と取り巻きは説明責任を果たしていない、で終わりの話。
いつまでダラダラやるつもりよ？
1005:１３２人目の素数さん
19/07/03 15:46:13.89 iFK4d7Zh.net
>>941
そうだよ。エディタ会議に物わかりのいい人が入ると大変なんだから。
コトによるけど退任責任の署名付きならいいんじゃないの。
事前に騒動の顛末は分かってるわけだし。
論文の掲載後に誤りが見つかることはよくあるといってもPRIMSの権威を左右する。
1006:１３２人目の素数さん
19/07/03 16:59:59.25 pPcD8P3K.net
伝家の宝刀サーベイを見ろが通用しなくなったからなあ
当時から応援してた奴は知ったかぶり
1007:１３２人目の素数さん
19/07/03 18:18:08.27 RzIG4v0m.net
>>946
俺もそう思うわ。
K藤さん一般向けの解説書まで出して勇み足だよ。
1008:１３２人目の素数さん
19/07/03 18:20:18.18 RzIG4v0m.net
圏論の連中は怪しいと言ってるけどね＞IUT
俺は解析屋だから詳細は追えないが。
1009:１３２人目の素数さん
19/07/03 19:25:56.85 dqLWAG/2.net
2600
ふうL@Fu_L12345654321
学コン1傑いただきました！
1010: とても嬉しいです！ https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg https://twitter.com/Fu_L12345654321/status/1144528199654633477 (deleted an unsolicited ad)
1011:１３２人目の素数さん
19/07/03 22:36:21.98 gmfcCeF+.net
まあ有耶無耶に逃げ切るっていうのはもう無いからね
文元が出した啓蒙本のせいで、アクセプトか誤魔化しか、動きがあったら必ず日本のマスコミは反応する
今年度中には何か起こるだろう
1012:１３２人目の素数さん
19/07/03 23:13:33.63 cBOT5KQf.net
論文に対してのスタンスや総合的な情勢の解釈を間違えたから挽回はできないだろう
急先鋒のFでさえ大人しくなってるのに
1013:１３２人目の素数さん
19/07/03 23:17:11.42 tlbTB8gt.net
>>945
まともな批判と受け取られなくてもいいと開き直ってるのなら、
フェイクニュースだろうがなんだろうがお好きにどうぞ。
1014:１３２人目の素数さん
19/07/03 23:39:46.67 CFWFpfGx.net
言葉って便利だよな
批判と誤りを履き違えて平然としてるのもどうかと思うが
1015:１３２人目の素数さん
19/07/04 00:00:03.04 e0s7SjJC.net
>>953 そういや何やってんだろうなあいつ笑 存在を忘れてたわ
1016:１３２人目の素数さん
19/07/04 08:50:15.13 uq4SM7D9.net
>>950
> 圏論の連中は怪しいと言ってるけどね＞IUT
なるほどやはりそうですか
1017:１３２人目の素数さん
19/07/04 12:16:24.43 WVvlIGKU.net
論点はある程度明確なのだから少なくとも形式的に書き下せば認識のズレみたいな今の状況は進展するとは思うが形式的に書き下せないみたいな事を暗に望月さん言っちゃってるしなw
IUTを形式化するところがまず今後やるべき事なんでしょう
1018:１３２人目の素数さん
19/07/04 12:25:48.56 r9BoI4Q1.net
lepergeやDupuyも今年は足繁くMのもとに通ってるらしいし、今年後半にはノッティンガムから南出が戻ってくんだろ？特定助教でw
あとは共同研究してるフェセンコの院生が特定研究員かもなww
Mファミリーwwww
1019:１３２人目の素数さん
19/07/04 13:14:59.23 q50OUQFv.net
俺は数学できないけどIUTやってみた。
したがって、”教授のメンツとそれらから定まる予算の計算の仕組み”を保つものが存在すれば、所望の研究所が得られるはずだということです。
1020:１３２人目の素数さん
19/07/04 13:39:25.72 CsQjDDgF.net
STOP IUT はありま～す
1021:１３２人目の素数さん
19/07/04 13:44:36.47 uvSAa4Sp.net
身内評価永久機関の試み
1022:１３２人目の素数さん
19/07/04 14:14:34.42 pMW0ZGlk.net
>>958 要は本人も単なるまやかしだと認めているわけだ藁
1023:１３２人目の素数さん
19/07/04 14:40:29.79 6LGlUzx7.net
ことここに至ればもう何らかのハードランディングしか残ってなさげ
1024:１３２人目の素数さん
19/07/04 14:46:22.23 pMW0ZGlk.net
大理論、難解、真偽判定には時間がかかると銘打って
取り巻き連で結託すれば人事予算とやりたい放題になるという悪しき前例を作ってしまったよね、r*msは。
慎重に判断すべきと煙に巻くのに、この手の話に勇み足なのはなんでだろう
1025:１３２人目の素数さん
19/07/04 15:44:32.78 3ZhQIMPA.net
完成してないのがわかってるからアクセプト➡
予算獲得➡優秀な人材を多数確保➡拡張と
確定を狙ったんだろう
1026:１３２人目の素数さん
19/07/04 15:50:54.08 u7Swe+1+.net
姑息だよね～
>>959 特定助教や特定研究員とはいっても採用に際して現状の指摘事項に
対するレポートや多少の質疑応答は�
1027:K須だよねえ
1028:１３２人目の素数さん
19/07/04 16:43:07.71 FVoBAriS.net
>>966
それでご本尊や取り巻き連中がダンマリ戦法なのか
1029:１３２人目の素数さん
19/07/04 16:52:01.94 chXgx/+D.net
だったら何なんだよ、お前らは女性が化粧してたら怒り出すのか
1030:１３２人目の素数さん
19/07/04 16:59:29.02 x00U3Nsp.net
誰か意訳して
1031:１３２人目の素数さん
19/07/04 17:40:28.51 NlSu9whV.net
ここは鮮人が多過ぎる。
組織的な書き込みのよう。
1032:１３２人目の素数さん
19/07/04 18:06:50.80 PYOSW5iJ.net
もういい加減次スレ建てるのやめようぜ
オーバードクターの鬱憤晴らしの場になっているだけ
1033:１３２人目の素数さん
19/07/04 19:08:01.46 opHQDpJX.net
出鱈目な内容のIUTへ毅然とした姿勢で
対応し ノーと発信すべき。
このスレで大切なことは
記録に残す
1034:１３２人目の素数さん
19/07/04 19:20:04.64 24BqSlfM.net
もし誤りだったら前代未聞の稀有なハプニングなので、単なるストレス発散の叩きと片付けるのは無理がある
どうせ今年度が山なら適当に行っちゃっていいんじゃないか。落ちないし
1035:１３２人目の素数さん
19/07/04 22:06:13.01 pMW0ZGlk.net
朝日スッパ抜きといい、誰かが入れ知恵してるのはまず間違いないからな。
とうの昔に被害妄想や批判者へのレッテルばりで片付けられる問題じゃないわ。
1036:１３２人目の素数さん
19/07/05 08:53:27.78 0oh2mTfH.net
朝日すっぱ抜きのおかげで予算が付いて人員も増えるってウハウハだもんな
1037:１３２人目の素数さん
19/07/05 14:27:29.18 SMgdAclR.net
F藁先生はIUTをどう評価しているのか、ご存知の方はいますか？
面識のある方はちょっと尋ねてみてください。
1038:１３２人目の素数さん
19/07/05 14:55:44.95 L48BejiI.net
遺伝的アルゴリズムが近いってのに異論はないんだけど、もっと近い感じだと
「遺伝情報理論的遠アーベル幾何学」って感じだねw 凄くしっくり来る
たまたま情報理論めくっててそう思ったよ。宇宙際の理屈もそうだけど、雰囲気は情報科学っぽいね。雰囲気は
1039:１３２人目の素数さん
19/07/05 20:43:02.58 Q+m44D4z.net
>>977
さては知ってて、あえて訊いてるだろ
1040:１３２人目の素数さん
19/07/05 23:07:14.93 2LcLaaDX.net
次スレ
Inter-universal geometry と ABC予想 40
URLﾘﾝｸ(rio2016.2ch.sc)
1041:１３２人目の素数さん
19/07/05 23:21:24.35 K9VxBE6D.net
>>978
望月がループ式入れ子宇宙を作ろうと考えた時、“simulate ∈-loops”から最初は基礎の公理に違反すると考え、
恐らくですが、anti-foundation axiomsやNon-well-founded set theoryを考えたのだろうと思うのですよ
つまり、最初期の発想は計算機科学者のそれにかなり近い
これは、IUT構想初期の講演原稿から読み取れます。その時点でラベルの使用も考えています
しかし、さすがに基礎の公理に反するのはマズいと考えて、種と突然変異を持ち出したのでしょうね
で、そのような宇宙はどうやって成立するかと考えて出来たのが充満多重同型であり、それをどうやって構成するのかというのが
単遠アーベル的復元/構成です(実際は手続きであり復元可能性であるので、クンマー理論とくっつける必要がある)
さらに、充満多重同型のようなフラフラしたヌエ的な同型（もどき）にはラベルが「必要とされる」と
ロバーツがMOで意味深なことを書いていましたね。望月は圏論をやってないし、高次圏も使ってないとしたうえで、
URLﾘﾝｸ(mathoverflow.net)
＞Just because a computer scientist uses natural numbers, it doesn't mean they are doing number theory.
ロバーツもIUTの動機付けや理論構築過程をよく分かっているのでしょう
遠アーベルの専門家じゃないヤツに用はない、と邪険に扱われていましたが・・・
1042:１３２人目の素数さん
19/07/05 23:22:17.77 K9VxBE6D.net
>>980
スレ立て、乙です
1043:１３２人目の素数さん
19/07/05 23:37:16.33 K9VxBE6D.net
上でロバーツの一文についての補足なんですが、もちろん、
「望月が圏論の概念を（部分的に）使っているからと言って、彼が圏論をやっているわけではない」という意味です
リテラルに読めばそうなります。しかし、ここでなぜcomputer scientistを例に持ち出したのかということですね
まあ、私の深読みだと思うのですが・・・
1044:１３２人目の素数さん
19/07/06 00:58:55.79 yKHKprzS.net
>>979 kwsk
1045:１３２人目の素数さん
19/07/06 09:17:02.47 +Ho8rao1.net
専門を考えたら、単遠アーベル的復元/構成から、
先に考えてたのじゃないの？
1046:１３２人目の素数さん
19/07/06 15:51:42.23 SzxByl/K.net
結論ありきで辻褄合わせやってるうちにめちゃくちゃな議論でデタラメな結果になってしまうのはよくあること藁
1047:１３２人目の素数さん
19/07/06 16:01:31.87 5dvSg4jK.net
>>986
査読してても長大な技術的な論文で結果が間違っていると直感しても
間違いを指摘できないことはありますからね
やっと間違いを指摘したら今度はまた長い修正論文を送ってきたりするし
（事情があって）さっさとrejectできない場合は辛い
1048:１３２人目の素数さん
19/07/06 16:56:47.74 SzxByl/K.net
取り巻きとつるんで開き直って広告活動や政治工作打たれたりするとなおさらね。
もう痛みを伴う手荒な解決しか残されていないと自分はおもっています。
慎重に判断すべき、理解には時間がかかると煙に巻く癖に、予算や人事の権力闘争には勇み足、すべてこれが真実を物語っているのだと思います。
R*msがいつ引導を渡すのか、注目ですね。
2020に多額の税金をつぎ込んだ大規模プロジェクトがあるわけで、
当然その分の説明責任と成果に対する責任があるわけだから、そこが一つの転換期となるでしょう。
ここで詰め間違えたらR*msは数学界や日本国民からの信用を大きく失い失望させることになるでしょう。
1049:１３２人目の素数さん
19/07/06 17:02:07.79 JQlwrsWC.net
>>988
多額wwんな規模じゃねーよww
1050:１３２人目の素数さん
19/07/06 17:09:47.08 lQHJNu5p.net
方向やアイデアはある種自然で正しい(とも思える)
ただそれを今の数学の枠組みでやるには無理があるしギャップがうまれる
だから遠回りでも望月か周辺が基礎付けをやるしかない
1051:１３２人目の素数さん
19/07/06 17:47:23.95 vf7Keayn.net
IUT論文を取り下げ 書き直して再提出するべき、と言われてきたのにさ。
「修正」の上書きを繰り返しているうちに
外堀が埋まった感じがする。
圏論のこの点を指摘されたら更にどうなんだろ？と何となくわかるようになったw
1052:１３２人目の素数さん
19/07/06 18:04:16.97 5dvSg4jK.net
>>655
／/ 1 . {. . .ヽ. . ヽ. . ',. .ヽヽ
/ .:/ ﾊ: :!: :.:ﾄ､:.:. :＼:...l:.. :}: : |_⊥ 、
j . {: .:{ :l､:l､: :.ﾄ-ヽ､_:..｀ヽ､j__イ_つノ
l 1:ﾊ.::{ゝl=くヽ:.ヽ ﾄｨjr}Tｧ┬ァ:.:´|
|ハ :ヽlｧ{ﾄｨrj ＼i ｰ_'っ /:.ｲ-､:｡:|
ヽ｡ﾊ^rぅ' 丶 ｀ ノ', く } }:.olﾟ o
。 ｀ﾊ ｡ {ｧ´ヽ ,ｰ o':.へl お客様の中にIUTを修正できる方は
ﾟ ´ﾉi＼ ー' ィ:;:.ｨ/|/ﾟ 。 いらっしゃいませんか？？
。 o ｡ ﾟﾊﾍ;:＞ｰ--＜_rv〈､_
/￣ヽ ＼/ll }l}｀'^'ﾄ､
/ ::Y77l j l !_｀７
l, ---::､〉 jl l ハゝ-i
ヽ Vi } ,' ﾉ, ｰ_ヽ
} , -‐ｧl ノ / ﾚ´,.- j
j イ !l ／ / ﾊ -,.く!
1053:１３２人目の素数さん
19/07/06 18:49:16.01 EErN+KeY.net
この飛行機に
単遠アーベルを直せる客は、乗ってません orz
1054:１３２人目の素数さん
19/07/06 18:53:56.27 1Jk9ck24.net
無限ループにありがちな自己同型矛盾の問題と可能性は●●だか教えてやらん
1055:１３２人目の素数さん
19/07/06 18:59:08.79 Sde7L8On.net
ダメなの！
死にそうだから●●を教えて！ お・ね・が・い
1056:１３２人目の素数さん
19/07/06 21:00:30.51 mexKV3lm.net
結局偉そうに批判している連中もショルツ様が言うまで自分では何も言えなかったモブ
1057:１３２人目の素数さん
19/07/06 21:35:50.04 VjsFe2sY.net
>>981
実際には、宇宙際の関係は集合と要素という関係よりもラベルによる種の管理はHigherだから構わないと、
つまりZFCとは特に矛盾しないという言い方に落ち着きましたね。宇宙Uを各々「言語」と見なすと、
これは個人的には、存在論的には確かに面白い性質にはなっていると思います
ここで宇宙が言語であるといっても、一次言語は絶対遠アーベル幾何学的な共通語になっている
それを通じて任意の宇宙は別の宇宙を内部から解釈することができる
それについてラベルを導入するというのも含めて、要は計算機科学的というのはここでは構成的、
直観主義論理的な考えとして相性は良いのかもしれない。拝中律は直観主義では統制的な縛りではないが、
同じようにIUTでは圏論的な普遍性というのは階層性の見方次第で縛りではなくなるのかもしれない
ただ、スキーム論的な情報も実解析的な情報も下部構造である位相群の同型に依存しているはずなんですけどね
どちらかというと、狙い通りにするための強引な構成と、色々な要素をぶっこんで万能感を満たしたい欲求が
見て取れるような気はしますけどね、意地悪かもしれませんが
>>996
というか、それまで真剣に読んでた人がどれだけいたのかもよくわからんからね
ショルツはディオファントス幾何が専門ではないのにさすが勉強熱心だった
1058:１３２人目の素数さん
19/07/06 21:37:42.77 VjsFe2sY.net
↑ZFCと矛盾しないという言い方に落ち着いた、ではなく「という感じに落ち着いた」です
つまり単なる印象で具体的なエビデンスの話ではない
1059:１３２人目の素数さん
19/07/06 22:23:23.41 VjsFe2sY.net
SSがクンマー理論の自然同型云々と言っているのは、結局フロベニウス射とも密接な関係があるんだけども、
スキーム論的なデータを復元するための基本的な算法構造、一次言語が何なのかという事
おおざっぱに言えば結局「同じ素材」でできているものだが、そ�
1060:ｱで全域定義されているはずの写像が何故 精妙な非同型として区別された非自明な特異性を持ちうるのか？ フロベニウス射と遠アーベル幾何を無理やり使っても自明な全域写像しか成立しない かといって、IU形式主義というのも実は必ずしもラベル云々の議論を必然的には導かない 色々無理をして何とかABC予想の証明に結び付く例の不等式が構成されたわけだ
1061:１３２人目の素数さん
19/07/06 22:23:52.66 vd7YBARF.net
>IUTでは圏論的な普遍性というのは階層性
の見方次第で縛りではなくなるのかもしれない
トンデモかも？
1062:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 38日 3時間 6分 0秒
1063:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています