■

起床は8時。午前はDavidsonを読む。毎度泥縄だ。また5年ぶりにSETI@homeを大学のマシンで再開始。
昨日のエントリーの書き間違いに気づき、あわてて修正。内容が正反対になっていました（汗）。しかしincompleteness theoremについて何か言うのはとても難しい。何か言おうとすると、結局は

1. 明白な間違いか
2. とても当たり前なことか
3. 羊頭狗肉か

のうちのどれかになってしまう。ダメットは3で、結局「自然数概念の際限なき拡張可能性」と言いたいだけのようにも見える･･･それは決して「狗肉」ではないけれど。