ゲーデルと20世紀の論理学が完結

Posted on by

ゲーデル生誕100年にあたる昨年に刊行が始まった「ゲーデルと20世紀の論理学」（東京大学出版会）が完結しましたね。私のサイトには「ゲーデル」をキーワードに来られる方も多いので。各巻3990円、高いなあと思いながらも・・・ええ、

  1. ゲーデルの20世紀
  2. 完全性定理とモデル理論
  3. 不完全性定理と算術の体系
  4. 集合論とプラトニズム

413064095X413064096841306409764130640984

Related posts:

  1. ゲーデル生誕100年

コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です

*

次のHTML タグと属性が使えます: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>