いつものように、Twitterにメモしようと思ったのだが、予想外に長くなりそうなのでここにメモしておくことにする。 下村寅太郎は数理哲学者として研究者のキャリアをスタートさせた。その際、師匠の田辺と同様、数学に出てくる諸概念を哲学的に基礎付けてい…