NCM(最終日)
最終日、午前7時に起床。朝食時に Greg が素朴集合論で矛盾を導く最小証明の話をする。非常に興味深い。本日は午前で会議終了。参加者の多くがプラハに帰る中、宿舎に残ってB氏に質問。夕食後、翌日からの会議のために来た新参加者らと「コンゴ」に行く。
最終日、午前7時に起床。朝食時に Greg が素朴集合論で矛盾を導く最小証明の話をする。非常に興味深い。本日は午前で会議終了。参加者の多くがプラハに帰る中、宿舎に残ってB氏に質問。夕食後、翌日からの会議のために来た新参加者らと「コンゴ」に行く。