- ゲーデル不完全性発見への道
-
- 価格
- 1,980円（本体1,800円＋税）
- 発行年月
- 2011年05月
- 判型
- Ｂ６
- ISBN
- 9784768703915
この商品をご覧のお客様は、こんな商品もチェックしています。
- 数理解析学概論 新訂版
-
価格：4,950円（本体4,500円＋税）
【2016年12月発売】
- フーリエ解析の話
-
価格：3,080円（本体2,800円＋税）
【2007年11月発売】
- 位相空間とその応用
-
価格：3,080円（本体2,800円＋税）
【2007年01月発売】
- わかりやすい数理計画法
-
価格：2,420円（本体2,200円＋税）
【2010年03月発売】
のマークが目印です。
[BOOKデータベースより]
不完全性定理とは何か
形式的自然数論
命題計算の無矛盾性
命題計算の完全性
述語計算の無矛盾性
述語計算の完全性
ゲーデルナンバリング
証明の再帰性
証明の数値的表現
ゲーデル述語
数学は矛盾している？
自己言及と矛盾性