このまま本日の日記を終わるのもなんなので、既に多くの方がご存知のことかもしれませんが、興味深い本の近刊情報を掲げておきます。 田中一之編 『ゲーデルと２０世紀の論理学 1 ゲーデルの２０世紀』、東京大学出版会、2006年07月中旬発売予定、予価税込39…

本日はお休み。何も勉強しない。何も読まない。ちょっと間を置きます。