>>50-51
51の言ってることも違う。
「有限記号列に表現した時点で情報量が落ちてしまうのではないか」ということを望月は言っている。
Cor.3.12の証明が有限記号列で表現できないという話でもない。

＞「数学」を完全に記録し、伝達するには論文（＝PDFファイル）だけでは不十分であり、どこかに
＞「抜け落ちている情報」があるのではないか、
＞と強く感じております。まさにそのことが以前から気になっているからこそ、
＞その「抜け落ちている情報」が忠実に表現されている可能性があるように感じる別系統の媒体＝例えば、
＞　・2017-01-06付けの記事で取り上げた「サイマジョ」、
＞　・2017-11の二つの記事で取り上げた「芸術」や「バベルの塔の説話」、
＞　・今回の記事で取り上げた「インフルエンサー」
＞の検証に、数年前から特に強い関心を抱くようになりました。
https://plaza.rakuten.co.jp/shinichi0329/diary/201801040000/

こんな簡単な文章ですら正確に意味を読み取れないの？