スマリヤンのゲーデル・パズル

論理パズルから不完全性定理へ
Ｇｏ¨ｄｅｌｉａｎ　ｐｕｚｚｌｅ　ｂｏｏｋ．

日本評論社
レーモンド・Ｍ．スマリヤン　川辺治之　

• 価格: 2,640円（本体2,400円＋税）
• 発行年月: 2014年11月
• 判型: Ｂ６
• ISBN: 9784535787544

内容情報

[BOOKデータベースより]

出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。

第１部　パズル、パラドックス、無限（とりとめのない自己紹介；騎士と悪漢の島；不思議なムジカ島；メタパズル４題；認められた騎士と悪漢　ほか）
第２部　証明可能性、真理、決定不能性（真理と証明可能性；構文論的不完全性定理；段階的証明可能性；形式体系と再帰的関数論；不完全性と決定不能性　ほか）

[日販商品データベースより]

出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだからなし得た、意欲的なパズル本。楽しいパズルを通して、ゲーデルの先駆的発見を解説する。