2007-09-14から1日間の記事一覧

ラッセルのパラドックス:傾向と対策 (1.5) : NFと自己言及性に関する補足

ラッセル・パラドックスの解決法というとZFが有名ですが、他にもマイナーな解決法がいろいろあります。せっかくなのでそれらを紹介しようというこのシリーズ、前回はRestriction of basic principles に分類される解決法をご紹介いたしました。 今回は、時間…

起床は8時、家を出るときは雨が降っていたが、駅に着くと雨がやんでいた。結局、一日傘を抱えて過ごすことに。 出勤して論文およびチュートリアル読み。平和に一日が過ぎる。19時に研究所を出て、20時に三宮でCと待ち合わせ、久しぶりにHangでハンバーグを食…