数学屋さんは日常の中で算譜を弄る習慣が無いだけ。
その数理的分析力、理論構成能力は侮らん方がいいっす。
コーエンが趣味で連続体仮説の決定問題で遊んだら解けてしまった。
これからも同様な事が起きると思います。