2007-12-16から1日間の記事一覧

ラッセルのパラドックス:傾向と対策 (3.4.1.1):  John Myhillの "Paradoxes" (1)

皆様、いかがお過ごしでしょうか。ラッセルのパラドックスについて、ZFCなどの公理的集合論以外の解決法をいろいろ紹介しようというこのシリーズ、第三シリーズは論理を制約することでラッセルのパラドックスを解決しようという方法を紹介しています。前回で…

天気は晴れ、しかし雲も多め。起床は13時、さすがに寝過ぎ。昼食はキャベツとソーセージのパスタ。午後は部屋の片付け(棚を設置)と論文読み、その間Cはクリスマスクッキーを焼いていた。夕食はトマトスープのマカロニ入り。