宣伝：2013年8月5日（月）-7日（水） に慶応の三田キャンパスで数学基礎論サマースクール 2013 が開かれる

2013年8月5日（月）-7日（水） に慶応の三田キャンパスで数学基礎論サマースクール 2013 が開かれるらしい. テーマは「証明と構成」とのこと. これ だ.

Twitter の TL の話題によると, スピーカーも豪華らしいので行ってみたいとは思うのだが, 平日というのは市民には厳しい. ただしそもそも対象にされていないという説もある.

tri_iro さんのこんな話 もあった.

数学基礎論サマースクール2013 http://www.kurims.kyoto-u.ac.jp/~terui/school2013.html 今年のテーマは証明論と聞いていたので、順序数解析とかの話を聞けるのかな、と思いきや、 そっち系じゃなくて非古典論理系がメインなのかな。 あらい先生は順序数解析の話してくれないのかー……。

順序数, 学部 1 年の集合論で超限帰納法絡みで一瞬出てきて以降全く満たことない. まだまだ私の知らない魔境がある.