2008-12-09から1日間の記事一覧

"Weak theories and essential incompleteness" (Vitezslav Svejdar)

The Logica Yearbook 2007, pp.213-224. 著者のwebsiteはこちら。ゲーデルの不完全性定理は魔力を持つようで、先日の一件のように、誰もが(深く考えもせずに)何か気の利いたことを言いたがります。ご多分に漏れず、当Blogでも、不完全性定理について、エラ…

入院生活(五日目)

昨日とほぼ同じ、規則正しい毎日。朝食は海苔の佃煮と野菜の煮物、昼食は白身魚のカレームニエル、夕食は厚揚げの煮物。