Logic Journal of the IGPL, vol.14, No.5, 2006. 詳細はここ参照のこと。我らがPutnam大先生の最新作。内容は思い出話とKripkeの結果の短い紹介と「Chomskyによる 『人間のScientific competenceはすべてTuring machineで表現できる』という20年前のコメン…

起床は8時。曇り空。午前は論文を読んだり、本を読んだり。昼休みは「ハルヒ」を見る。午後はA教授の授業、本日はΔ_0=LTH。その後は雑用および部屋の片づけ。 夜から雨が降り出す。空気がなま暖かい。Cが会社の忘年会で帰宅が遅いので、スーパーで豆腐と餃子…