[過去ログ] Inter-universal geometry と ABC予想 30 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
47: 2018/08/28(火)17:50 ID:DB6RqlB7(1/3) AAS
10年後の若林に期待しようず
54
(2): 2018/08/28(火)22:14 ID:DB6RqlB7(2/3) AAS
>>50-51
51の言ってることも違う。
「有限記号列に表現した時点で情報量が落ちてしまうのではないか」ということを望月は言っている。
Cor.3.12の証明が有限記号列で表現できないという話でもない。

>「数学」を完全に記録し、伝達するには論文(=PDFファイル)だけでは不十分であり、どこかに
>「抜け落ちている情報」があるのではないか、
>と強く感じております。まさにそのことが以前から気になっているからこそ、
省7
57: 2018/08/28(火)23:00 ID:DB6RqlB7(3/3) AAS
>>55
お前なぁ、どう読めば「一部の仲間はわかってるのに」という文脈が読み取れるんだよ…
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.028s