古森雄一、小野寛晰 『現代数理論理学序説』、日本評論社、2010年 「ラムダ計算」「部分構造論理」「論理学への代数的アプローチ」など，最新の話題を盛り込んだ新しい入門書が誕生。教科書にも最適。 古森先生、小野先生のこの新刊は、論理学の新しい傾向を…

次の本を予約する。 Penelope Maddy Defending the Axioms: On the Philosophical Foundations of Set Theory, Oxford University Press, Due in January 2011 Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assu…

ここのところ漠然と、Frege に関する論文を読んだり考えたりしています。特に結論らしきものは出てきませんが…。