それで数学基礎論とか今日の長い会議とか

哲学系の演習に出たらTriangleはModesの一つであるという話から数学の話になった。数自体はプラトン風な理解のされ方が一般的であるという風になった。
適当に数学基礎論の文献を漁ろうかと思ったりして、計算機関係の勉強は進まないのであった。南無。プログラムの不動点意味論とか去年やったんだけど復習しないといけないのよね。あぁ、CPO。