ゲーデルと20世紀の論理学が完結 投稿日時: 2007年8月8日 投稿者: inquisitor ゲーデル生誕100年にあたる昨年に刊行が始まった「ゲーデルと20世紀の論理学」(東京大学出版会)が完結しましたね。私のサイトには「ゲーデル」をキーワードに来られる方も多いので。各巻3990円、高いなあと思いながらも・・・ええ、 ゲーデルの20世紀 完全性定理とモデル理論 不完全性定理と算術の体系 集合論とプラトニズム Related posts: ゲーデル生誕100年