Interuniversal geometry とABC 予想61 
 (427レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

272: 07/19(日)18:57 ID:tZJSVLSb(1/9) AAS
>>247
>その証明の部分を今後追加していける可能性があるんだよね?
すべての未解決問題がそうだけど?

>望月新一憎しの怨磋だけで叩いてこき下ろしてるとしか思えん
ショルツェ憎しの怨磋だけで叩いてこき下ろしてるのが望月な
274
(1): 07/19(日)19:02 ID:tZJSVLSb(2/9) AAS
>>249
>PRIMSは証明なしでABC予想を解決したとする論文を受理したが、まだギャップがあると断定してないので撤回する必要もない
>RIMSの形式化作業を待つしかない
IUT理解者の星参加で形式化できなかったんだから望月論文はギャップありで確定やろ
今後の可能性は別の話だ
278: 07/19(日)19:19 ID:tZJSVLSb(3/9) AAS
>>254
解かない可能性もある
数学で可能性をあーだこーだ言ってもしかたない
ってみんな言ってるんだけど、君、馬鹿?
280
(1): 07/19(日)19:27 ID:tZJSVLSb(4/9) AAS
>>258
>まだアウトじゃない
加藤本人が解決には無限時間かかる(=解決できない)かもしれないって言ってるんだから何の意味も無いんだよ
282: 07/19(日)19:30 ID:tZJSVLSb(5/9) AAS
>>260
その通り。
今後の話は別の話。だって今後どうなるかは誰にも何も分かってないんだから。
283
(1): 07/19(日)19:36 ID:tZJSVLSb(6/9) AAS
>>264
星氏は理解者じゃないと?
284: 07/19(日)19:41 ID:tZJSVLSb(7/9) AAS
>>264
>すごく役立ってるらしいっすよ
コミュニケーションツールとしてな 検証ツールとしてとは書かれてない
285: 07/19(日)19:42 ID:tZJSVLSb(8/9) AAS
>>266
じゃ返事しなきゃよい
288
(1): 07/19(日)19:52 ID:tZJSVLSb(9/9) AAS
>>275
対話で埋まるギャップならとっくに埋まってるやろ 望月は証明が正しいことを完全に理解してるはずなんだから
埋めるための対話じゃないのは明白
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.659s*