今期開講される論理学／数学の哲学関連の授業 [趣味の数学]

今期、以下の論理学／数学の哲学関連の授業が開講されるようです。

• 計算機科学のための圏論
• 論理学の哲学
• 数学の基礎（集合論／数理論理学／圏論の初歩）
• 証明論

「論理学の哲学」と「数学の基礎」は学部向けの授業なのでとりあえずパスするとして、「計算機科学のための圏論」と「証明論」はよゆうがあれば受けたいなあと思っています（圏論は、これまで趣味的にあれやこれやつまみ食いはしてきたけど、体系的に勉強したわけではないので初歩的な定理の証明もすらすらできないレベルだと思われるし、それに、博論の一部に圏論が関係してくるので。証明論は、これまたつまみ食いはしてきたけど体系的に勉強したことがないということと、あと、師匠の授業なので）。

ただ、今期は、博論執筆にさらに追われるであろうことに加え、モデル理論の勉強会にも参加する予定なので、「よゆう」があるかどうか、はなはだあやしいのですが。

※「計算機科学のための圏論」は、ガロア理論のグロタンディーク的取り扱いがおもなトピックになるとのこと。めちゃくちゃ気になる……。

※※ というか、ガロア理論のグロタンディーク的取り扱いって、計算機科学にそこまでかかわりがあるのだろうか。