18/12/09 18:00:48.40 JFfNTUko.net
普通は数学って解釈では揉めないから困るよな
ショルツと望月の齟齬は、やはり記述的な問題でもあるんだけど
当の論点について論文もレポートも一応労は払ってるという点を所謂アンチさん達は知らないからなあ
極端な話、全ての数学がモノイドのトートロジーに過ぎないかと言ったらそうじゃないだろ
所謂充満多重同型についても問題は同様なんだが、ホッジシアター間の壁についてこんなに揉めるとはな
ちなみに望月さんが「群論的ソフトウェア」と言ってることとブログの「心の壁と対話」みたいな話は
さりげなく遊びで理論のアナロジーの話をしてるんじゃないかな