>>33
ん？俺に言ってんのか？笑
俺は学部は数学科で院は情報科学だが、専門は集合論、証明論とかもかかわりがある。
詳しくは書かないが。
俺は上で「聞くぐらいならやめとけ」と書いたから、俺の過去の話をさせてもらうが、俺は学部の時の数学は極めてつまらなかった。特に1、2年はきつかった。代数系やガロア理論を習ったあたりから楽しくなったが、それでも微分方程式とかの授業はしんどかったな。
学部にモデル理論の先生がいたから、よく話に行った。
周りは誰も数理論理学に興味が無かったから、話が合うやつもいないし、単位を取るのはしんどかったな。今でこそ普通に研究できているが。