2009-02-11から1日間の記事一覧

『ゲーデルの世界』読書会

新しい読書会が始まるようです．マ・シーンさんの呼びかけで『ゲーデルの世界』を読んでいこうということです．この本は手元にあり，『数学対話』の「対角線論法」を書くときに参考にした．あれを書くときもう少し考えたいところもあったので一緒に読んでい…