最近、漫画がわりにってことで、ゲーデルの半生とその業績を簡便にまとめた「ゲーデルの世界―その生涯と論理」を読んでいる。むか〜し、自分が無謀な頃に、ゲーデルの例の証明を追おうとしたことがあって、それなりに挫折しているのだが、最近では簡便な入門…

台風シーズン到来というのはまだ早いような気がするのだが、台風がきているのだから、仕方ない。 夕方にかけて外出して、けっこう面倒くさい（しかし面白い）ミーティングの後、いったん帰社してから、台風にもかかわらず飲み会の約束があったので、神楽坂へ…