スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
Author(s)
Bibliographic Information
スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
日本評論社, 2014.11
- Other Title
-
Gödelian puzzle book : puzzles, paradoxes & proofs
Gödelian puzzle book : puzzles, paradoxes and proofs
The Godelian puzzle book : puzzles, paradoxes and proofs
スマリヤンのゲーデルパズル : 論理パズルから不完全性定理へ
- Title Transcription
-
スマリヤン ノ ゲーデル・パズル : ロンリ パズル カラ フカンゼンセイ テイリ エ
Available at / 89 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Gödelian puzzle book : puzzles, paradoxes and proofs (Dover, 2013) の全訳
その他のタイトルは標題紙裏にあり
参考文献: p333
Description and Table of Contents
Description
出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
Table of Contents
- 第１部 パズル、パラドックス、無限（とりとめのない自己紹介；騎士と悪漢の島；不思議なムジカ島；メタパズル４題；認められた騎士と悪漢 ほか）
- 第２部 証明可能性、真理、決定不能性（真理と証明可能性；構文論的不完全性定理；段階的証明可能性；形式体系と再帰的関数論；不完全性と決定不能性 ほか）
by "BOOK database"