Interuniversal geometry とABC 予想61
(419ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
412(2): 07/22(水)07:36 ID:d0DXYLLw(1) AAS
ようやく国外でも報道があったよ
外部ﾘﾝｸ:www.newscientist.com
Effort to solve biggest controversy in mathematics has made no progress
『進展なし』だってさｗ
＞“Most people believe that there is a serious gap,”
＞“And I think that this particular report is fully consistent
＞with that: it has not managed to formalise it, which is what
＞we would expect if this big theory had some serious gaps.”
結局「人間に理解できる証明がないのに形式化なんて出来るわけない」
って前々から言われてた通りの結果になったよね
省4
414: 07/22(水)08:51 ID:Zr/Df7zJ(1/2) AAS
>>412
加藤の安っちいポエムとかなw
418: 07/22(水)11:13 ID:u5VrSqGL(1/2) AAS
>>412
そう。IUTは望月新一語で書かれたポエム。
LANAが示したのはポエムは形式化できないという当然の結果に過ぎない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s