2007-08-06から1日間の記事一覧

あづい。夏休み前の一日

暑くて、昼飯食べたら気絶してしまった。 正確には、ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論を寝そべりながら読んでいたせいなのだが。