[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 39 (1002ﾚｽ)
Inter-universal geometry と ABC予想 39 http://rio2016.5ch.net/test/read.cgi/math/1559125072/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
837: １３２人目の素数さん [] 2019/06/29(土) 19:28:23.30 ID:6MnOjJoq 現役のフィールズ授賞者がそんなことしないでしょ 擁護側の取り巻き連中以下みたいなことはしない http://rio2016.5ch.net/test/read.cgi/math/1559125072/837
838: １３２人目の素数さん [] 2019/06/29(土) 19:29:41.39 ID:XHR4+ste >>836 あなたと似たにおいのする取り巻きやご本尊と、もう関わりたくないんだろ。 B本ではたとえを多用しているが、電車の中にごくまれにいる、すごく臭かったり奇声を発していたりする人に関わりたいか？ http://rio2016.5ch.net/test/read.cgi/math/1559125072/838
839: １３２人目の素数さん [] 2019/06/29(土) 20:26:26.19 ID:cIvUksKY >>837 黙っているよｗ the argument of §2.2, is completely falseと、 公開のコメント文書に、説明付きで書かれて、 どう「Falseでないか説明せず」に、まだ黙っているから。 まずは自身の書いたレポートへの質問の回答からだよね。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/839
840: １３２人目の素数さん [sage] 2019/06/29(土) 20:46:40.32 ID:eM2nthZQ >>833 このことについては以前にバザードが、IUTについてはまだまだだと、否定的見解をコメントしていましたね ヴォイトのブログの“Latest on abc”のコメント欄（このブログはコメントが多いと1ページには収まらないんですね） ttp://www.math.columbia.edu/~woit/wordpress/?p=9871&cpage=1#comments バザードのコメント(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. ----------------- http://rio2016.5ch.net/test/read.cgi/math/1559125072/840
841: １３２人目の素数さん [sage] 2019/06/29(土) 21:23:42.27 ID:jtcUPIcD >>840 しかしできることは間違いないですからね HoTTと代数的整数論を押さえる、つまりVoevodskyに近い人材を集めれば、少なくとも議論を洗練させることは できる。それも重要だと思います。ケーススタディの一としてはっきりさせていく ただ、今の形式化は手間がかかりすぎますね。非常に原始的な段階だからなかなかできない 前形式化云々というよりは基礎論および形式化のソフトウェアの整備でしょうね この点で今一番必要な人材は、グロタンディークとフォン・ノイマンやラッセル、フレーゲを 合わせたような存在、または流れでしょう http://rio2016.5ch.net/test/read.cgi/math/1559125072/841
842: １３２人目の素数さん [sage] 2019/06/29(土) 21:42:30.66 ID:eM2nthZQ >>841 いやいや（笑）、そんな数学史に残るような大天才たちがIUTに集まるわけはないと思うのでｗ 現行のIUTでは普通に優秀な数学者でも見向きもしませんよ（ゲテモノ好きは除く） バザードが言っているようなことは望月自身がやらなければいけないことです 所謂理解者には期待できません。ただ、IUTを形式化出来るかは疑問ですね 私はIUTをレトリック集、ナンセンス集としてしか見ていませんから、個人的には形式化したら価値がなくなりますね ここで言う価値は、数学的な価値ではありません。勿論、哲学的な価値でもありません http://rio2016.5ch.net/test/read.cgi/math/1559125072/842
843: １３２人目の素数さん [sage] 2019/06/29(土) 22:22:38.92 ID:80pJPXmm バザードってなんかかっこいい名前だな きっとバザードのほうがただしい http://rio2016.5ch.net/test/read.cgi/math/1559125072/843
844: １３２人目の素数さん [sage] 2019/06/30(日) 06:46:20.39 ID:M0Nqv3qh 飲み屋で身体も動かんようなじじいが、調子の悪い野球選手を叩いているようなもんと思えば、このスレの偉そうなバカたちの存在も許せるのかも http://rio2016.5ch.net/test/read.cgi/math/1559125072/844
845: １３２人目の素数さん [] 2019/06/30(日) 07:28:17.66 ID:GNflWkMb さあ高級焼肉喰って精力と勢力増すニダ不利な点はスルーして延々と回答こないことを正当化するニダ 今週も手頃なカモをマインドコントロールして適当にわかったフリをする人間を増やすニダ ∧＿∧ 国内からの決定的な反論や異論は答えられないから徹底的に説明責任回避するニダ論点すり替えてケムに巻くニダ <丶｀∀´> ∧＿∧ 反論は無理ポだし見てないフリするニダ検証されると困るからいつもの僻みフーリガン工作員使うニダ ／ ＼ （ ）詭弁と強弁とポストチラつかせて寄生ﾀﾞﾆ工作員増やすニダ .＿＿| | .| |＿ / ヽ ||＼ ￣￣￣￣ ／ .| | | なに言ってんだこのゴミクズ太鼓持ちの傲慢エセ数学ドカタ野郎が身内の反論検証はよ ||＼..∧＿∧ (⌒＼|_＿./ ./ 明示的定数とかホザいてたピエーロ・ヒトバシーラは音信不通かよ ||. （ ） ~＼___＿_ノ| ∧＿∧ 幕末の志士気取りでおこぼれ狙いがミエミエでさもしいんだよクズ野郎が / ヽ 厚顔無恥の馬鹿？＼| （ ） 不利な点は徹底してスルーで数日で復活とかハイエナゴキブリ並みの生命力 | ヽ ＼/ ヽ. 無防備な学生やら利得関係者ばかりにゴリ押し洗脳新興宗教かよ | |ヽ、二⌒) ／ .| | | 数々の指摘の反論ができないってどういう事だよ .| ヽ ＼∧＿∧ (⌒＼|_＿./ / 説明責任回避して逃げるだけのペテン師ハイエナ野郎 . 洗脳本の出版で潮目が変わるんじゃなかったのかクソ野郎 . 決定的な否定論を活発な議論とかでごまかすハイエナ野郎クズいんだよ . http://rio2016.5ch.net/test/read.cgi/math/1559125072/845
846: １３２人目の素数さん [sage] 2019/06/30(日) 08:20:33.89 ID:mpdPendQ 研究室で論文もサーベイも書けん若手が、オツムの悪い擁護連中を後ろから蹴飛ばしてるようなもんと思えば、このスレのクソ偉そうな 個人権威の崇拝主義たちの存在も容認できるかも ポスドクゲットのニンジン争奪戦でアンチ叩きのポイントが加算されるから http://rio2016.5ch.net/test/read.cgi/math/1559125072/846
847: １３２人目の素数さん [] 2019/06/30(日) 09:47:35.67 ID:Mb+tV1O4 > 個人権威の崇拝主義たち 「個人主義の権威崇拝者たち」くらいの方がまだいくらか言葉の流れはよいかも (これでも意味はよくわからないけど、おそらく罵倒が目的の文脈のように見えるから) http://rio2016.5ch.net/test/read.cgi/math/1559125072/847
848: １３２人目の素数さん [] 2019/06/30(日) 09:59:05.72 ID:u3sAtnUH 確かに日本語がおかしいな。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/848
849: １３２人目の素数さん [sage] 2019/06/30(日) 11:07:27.22 ID:dhj+D6X6 某国営HKもBやFのインタビューすでに撮ってっから、あとはタイミングだけ http://rio2016.5ch.net/test/read.cgi/math/1559125072/849
850: １３２人目の素数さん [] 2019/06/30(日) 11:25:59.33 ID:w4Iq1GYn >>842 いや、自分もIUT自体にはそういう人材は集まらないかなとは思いますよw というよりは自動化に向けた期待です。怪しい理論とはいうものの、圏論や整数論の基本的な使用に 少し理論内容を付加すれば検証できるでしょうし、HoTT路線がそういう強いシステムにまずなったら良い で、例えば京都の関係者である照井氏や文元氏が協力して、数論幾何とコンピュータ科学をブリッジできる 人材を育成してみたら良い。つまり二重の発展が望まれる コンピュータ科学と相性が良いはずのIUTの性質が確認できたら万々歳だし、形式化できないとか 明らかにエラーにしかならないとなったら、それはそれで良い。まああまり学派が今みたいなやり方を 貫くなら十年後そうなるのが一番だろうという期待ですね。その必要もないかもしれませんが http://rio2016.5ch.net/test/read.cgi/math/1559125072/850
851: １３２人目の素数さん [] 2019/06/30(日) 11:37:09.51 ID:SwSeoAcb ScholzeはStixに見捨てられた？ http://rio2016.5ch.net/test/read.cgi/math/1559125072/851
852: １３２人目の素数さん [] 2019/06/30(日) 11:41:40.61 ID:w4Iq1GYn >>851 SSの議論が殆ど公的に周知な以上、Stixが明確に宣言しない限りは遠アーベルの京都の会合に来ても 寝返りはフェイクでしかないよ むしろ京都側が再び説得する機会にしたいのでは？ http://rio2016.5ch.net/test/read.cgi/math/1559125072/852
853: １３２人目の素数さん [] 2019/06/30(日) 12:07:52.32 ID:BX97gpZj Remark 3.11.1がだいぶ追記されて増えた。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/853
854: １３２人目の素数さん [] 2019/06/30(日) 12:21:16.85 ID:wrQdryZd >>845 >.洗脳本の出版で潮目が変わるんじゃなかったのかクソ野郎 ネタにマジレスだが洗脳本の出版は非数学者の理系人を含む一般人には 好意的に受け止められた IUTの外にいる数学者には否定的というか無責任と感じた人が多かったのではないか 問題のある記述は避けてはいるので逆になぜ著者が避けたかということにはなる http://rio2016.5ch.net/test/read.cgi/math/1559125072/854
855: １３２人目の素数さん [] 2019/06/30(日) 12:26:42.39 ID:wrQdryZd もう1年くらい話題になっているのだから過去にサーベイレポートを書いたり講演をした人が Corollary 3.12周辺の解説をしても良いはずだな 本当に「自らが理解者である」ことを示す必要があろう そこがないのが不信感の大きな一因でもある http://rio2016.5ch.net/test/read.cgi/math/1559125072/855
856: １３２人目の素数さん [] 2019/06/30(日) 12:58:58.67 ID:SwSeoAcb Scholzeが黙ってるのはStixに捨てられたから。 http://rio2016.5ch.net/test/read.cgi/math/1559125072/856
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 146 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s