2010-02-01から1ヶ月間の記事一覧

"Extensionality and Restriction in Naive Set Theory" (Zach Weber)

最近、論文はつまみ食いばかりで一本丸々読みきる時間がなく、ご無沙汰しておりました。徐々にまた紹介記事を書いていきたいと思います。 Studia Logica誌の online first 論文、こちらから入手可能。数学的に興味深いというよりは、矛盾許容論理上で包括原…

比較的暖かい日。出勤してプレゼン準備の続き、他に飛び込みの用事色々。帰宅して夕食、マグロトロロ丼。

朝は暖かいが、夕方から冷たい雨が降る。出勤して、一日中プレゼン原稿と書類書き。なんとかドラフト第一版が完成する。 帰宅して夕食、白菜とチキンのトマトスープのリゾーニ入り。