スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
著者
書誌事項
スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ
日本評論社, 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
内容説明・目次
内容説明
出発点はウィットに富む論理パズル、到達点はゲーデルの不完全性定理の完全な証明。スマリヤンだから書きえた、意欲的な書。
目次
- 第1部 パズル、パラドックス、無限(とりとめのない自己紹介;騎士と悪漢の島;不思議なムジカ島;メタパズル4題;認められた騎士と悪漢 ほか)
- 第2部 証明可能性、真理、決定不能性(真理と証明可能性;構文論的不完全性定理;段階的証明可能性;形式体系と再帰的関数論;不完全性と決定不能性 ほか)
「BOOKデータベース」 より