18時より21時半まで。参加者4人。週末は学会とかで、皆さん（特にh師が）大変そう。 p.257第3パラグラフ-p260最終パラグラフまで。今回は訳が長いところばかり当たる。p259第1パラグラフの意味を巡って頭を抱えそこは結局保留に。ついでにp260に出てくる"tar…

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