スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
著者
書誌事項
スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
日本評論社, 2014.11
- タイトル別名
-
Gödelian puzzle book : puzzles, paradoxes & proofs
Gödelian puzzle book : puzzles, paradoxes and proofs
The Godelian puzzle book : puzzles, paradoxes and proofs
スマリヤンのゲーデルパズル : 論理パズルから不完全性定理へ
- タイトル読み
-
スマリヤン ノ ゲーデル・パズル : ロンリ パズル カラ フカンゼンセイ テイリ エ
大学図書館所蔵 件 / 全89件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Gödelian puzzle book : puzzles, paradoxes and proofs (Dover, 2013) の全訳
その他のタイトルは標題紙裏にあり
参考文献: p333
内容説明・目次
内容説明
出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
目次
- 第１部 パズル、パラドックス、無限（とりとめのない自己紹介；騎士と悪漢の島；不思議なムジカ島；メタパズル４題；認められた騎士と悪漢 ほか）
- 第２部 証明可能性、真理、決定不能性（真理と証明可能性；構文論的不完全性定理；段階的証明可能性；形式体系と再帰的関数論；不完全性と決定不能性 ほか）
「BOOKデータベース」 より