会場に私は30分遅れで到着、18時半より21時半まで。参加者3人、終了30分前にN君が到着する。p.12第2段落-p.15第2段落。 不完全性の話、証明不可能な算術の命題やCHに関するコーエンの証明など。不完全性定理については（わざわざ）ロッサー・タルスキ・モス…

よく晴れる。相変わらず10月とは思えない暑さ。 起床は8時、とても眠い。郵便局に寄ってから出勤。コード書きの続き、午後に上司と打ち合わせ。昨日の Type が Set1 になる件は、Set1 のまま続行することになった。17時に退所、大学へ。読書会出席後、帰宅は…