本/雑誌
スマリヤンのゲーデル・パズル 論理パズルから不完全性定理へ / 原タイトル:THE GODELIAN PUZZLE BOOK
レイモンド・M・スマリヤン/著 川辺治之/訳
2640円
| ポイント | 1% (26p) |
|---|---|
| 発売日 | 2014年11月発売 |
| 出荷目安 | メーカー在庫見込あり:1-3週間
※出荷目安について |
- 追跡可能メール便 送料無料
著者・出版社・関連アーティスト
商品説明
出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
関連記事
収録内容
| 1 | 第1部 パズル、パラドックス、無限(とりとめのない自己紹介 |
| 2 | 騎士と悪漢の島 |
| 3 | 不思議なムジカ島 |
| 4 | メタパズル4題 |
| 5 | 認められた騎士と悪漢 ほか) |
| 6 | 第2部 証明可能性、真理、決定不能性(真理と証明可能性 |
| 7 | 構文論的不完全性定理 |
| 8 | 段階的証明可能性 |
| 9 | 形式体系と再帰的関数論 |
| 10 | 不完全性と決定不能性 ほか) |
