- 数学基礎論入門 復刊
-
- 価格
- 3,740円（本体3,400円＋税）
- 発行年月
- 2006年03月
- 判型
- Ｂ５
- ISBN
- 9784254117233
この商品をご覧のお客様は、こんな商品もチェックしています。
- 記号論理入門 新装版
-
価格：2,420円（本体2,200円＋税）
【2005年12月発売】
- 整数と平面格子の数学
-
価格：1,870円（本体1,700円＋税）
【2015年04月発売】
- 絵ときトポロジー
-
価格：1,650円（本体1,500円＋税）
【2013年12月発売】
- 知っておきたい幾何の定理
-
価格：1,650円（本体1,500円＋税）
【2011年06月発売】
- 線形代数
-
価格：1,650円（本体1,500円＋税）
【2008年11月発売】
のマークが目印です。
[BOOKデータベースより]
数学的理論の形式化
[日販商品データベースより]命題論理
述語論理
等号をもつ述語論理
型の理論
自然数論
自然数の関係および関数についての形式的な表現の可能性
ゲーデルの不完全性定理
補助定理の証明
ゲーデルの第２不完全性定理
帰納的関数
帰納的関数の性質
不完全性定理についてのゲーデルの理論を入門的かつ精密に紹介。〔内容〕数学的理論の形式化／命題論理／述語論理／等号をもつ述語論理／型の理論／自然数論／自然数の関係と関数についての形式的表現の可能性／ゲーデルの不完全性定理／他。初版1977年6月1日刊。