[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 30 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
54(2): 2018/08/28(火)22:14 ID:DB6RqlB7(2/3) AAS
>>50-51
51の言ってることも違う。
「有限記号列に表現した時点で情報量が落ちてしまうのではないか」ということを望月は言っている。
Cor.3.12の証明が有限記号列で表現できないという話でもない。
＞「数学」を完全に記録し、伝達するには論文（＝PDFファイル）だけでは不十分であり、どこかに
＞「抜け落ちている情報」があるのではないか、
＞と強く感じております。まさにそのことが以前から気になっているからこそ、
省7
55(1): 2018/08/28(火)22:42 ID:fmQ4lYpp(6/7) AAS
>>54
正確も何も、それ、一部の仲間はわかってるのに、という文脈で書いてるだろ？
その「抜け落ちた情報」とやらも補完して読める人間と読めない人間の違いは何かって話
になるのだから、別に間違いとは思わないが？
64(1): 2018/08/29(水)21:33 ID:5bnLMInb(1/9) AAS
>>54
それ明らかに、数学的真理は論文では伝えられないって言ってるじゃん。
それって結構とんでもないこと言っているぜ。
ほとんど数学者の過去現在にわたる営みを全面的に否定するに等しい。
擁護派は「理解はできないが、ただ望月を信じる」という立場だから気にならないんだろうがｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s