この商品をご覧のお客様は、こんな商品もチェックしています。
- 数学検定準２級に面白いほど合格する本 改訂版
-
価格：1,650円（本体1,500円＋税）
【2024年01月発売】
- 楽算メソッド
-
価格：1,650円（本体1,500円＋税）
【2020年03月発売】
- 複素関数三幕劇
-
価格：4,950円（本体4,500円＋税）
【1990年06月発売】
- 微分積分学
-
価格：3,080円（本体2,800円＋税）
【1996年12月発売】
のマークが目印です。
[BOOKデータベースより]
専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、Ｈｉｌｂｅｒｔのプログラム、Ｇ¨ｏｄｅｌの加速定理、算術の超準モデル、Ｋｏｌｍｏｇｏｒｏｖ複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学的問題を説く。
第１章 序：物語の起源
[日販商品データベースより]第２章 命題論理
第３章 述語論理
第４章 算術と集合論
第５章 計算可能性
第６章 定義可能性と表現可能性
第７章 不完全性定理
第８章 幾つかの話題
第９章 跋：形式主義のふたつのドグマ
専門的な予備知識は仮定せずに、完全性定理や計算可能性から論じ、第一および第二不完全性定理、Ｒｏｓｓｅｒの定理、算術の超準モデルなどを紹介。不完全性定理の数学的意義と、その根源にある哲学的問題を説く。