- ゲーデルの不完全性定理
-
Ｇｏ¨ｄｅｌ’ｓ Ｉｎｃｏｍｐｌｅｔｅｎｅｓｓ Ｔｈｅｏｒｅｍｓ．
- 価格
- 4,180円（本体3,800円＋税）
- 発行年月
- 1996年07月
- 判型
- Ａ５
- ISBN
- 9784621042045
この商品をご覧のお客様は、こんな商品もチェックしています。
- 理性の限界
-
価格：1,100円（本体1,000円＋税）
【2008年06月発売】
- 愛の論理学
-
価格：924円（本体840円＋税）
【2018年06月発売】
- パラドックス
-
価格：990円（本体900円＋税）
【2021年01月発売】
- スマリヤン不完全性定理 改訳版
-
価格：2,640円（本体2,400円＋税）
【2019年12月発売】
のマークが目印です。
[BOOKデータベースより]
驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。
第１章 ゲーデルの証明の基礎概念
第２章 数論におけるタルスキーの定理
第３章 累乗法に基づくペアノの数論における不完全性
第４章 累乗法に基づかない数論
第５章 ω無矛盾性に基づくゲーデルの証明
第６章 ロッサー体系
第７章 シェファードソンの表現定理
第８章 定義可能性と対角化
第９章 無矛盾性の証明不可能性
第１０章 証明可能性と真理性に関する一般概念
第１１章 自己言及体系