"Logic Logic Logic" p383-388. とても短いし、内容も平易。Berryのparadoxを使ってGodelのincompleteness theoremを導出する。短い。Godelのやり方もBoolosのやり方も the unprovable truth... can both be seen as obtained by the substitution of a name…

急速に寒くなる。外は北風の舞う音がする。トイレに行くのも寒い。おかげで活動休止状態、事務仕事をするだけの一日。 帰宅は19時。夕食はカレーの残り。風呂上がりにBoolosを読む。