うまい。もちろん「ねじまき鳥」の方が名作だけど、とにかくうまい。

宿舎の部屋からネットにつなげないので、なかなか更新できませんが、とりあえず生きてます。エクスカーションのハイキングで大雨にうたれたときはさすがにどうかと思いましたが。 発表は好評でした。名前を論文でしか知らない人たちから「今日の話は論文を書…

本日の目玉はこちら。 Towards Metamathematics of Weak Arithmetic over Fuzzy Logic (Petr Hajek) Hajekさんの論文Mathematical Fuzzy Logic and Natural Numbers の内容紹介。ファジイ論理上、Robinson算術を弱めた（関数を三項関係にした）体系FQ-におい…

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