>>254
ちなみに今数学業界で最も熱いのは再帰理論とモデル理論ね
証明論はつんだってかんじ
再帰はランダム性がでてきてカオス化してる
https://twitter.com/tri_iro
現役研究者のツイッターあるから情報おってたほうがいいよ
タオもこの世界に入ってきてるし
あとモデル理論はかなりやばくて
数学業界では環とか体なんていう超難解な概念が頻出するんだけど
この分類よりさらに細かく分類できる便利すぎるツール
なぜなら論理式（数学システム）からモデルを構成して
人工的数学対象を形成するっていうある種身もふたもないことしてるからね！