スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

書誌事項

スマリヤンのゲーデル・パズル : 論理パズルから不完全性定理へ

レイモンド・M・スマリヤン著 ; 川辺治之訳

日本評論社, 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データベース」 より

詳細情報

  • NII書誌ID(NCID)
    BB17431416
  • ISBN
    • 9784535787544
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 原本言語コード
    eng
  • 出版地
    東京
  • ページ数/冊数
    iii, 344p
  • 大きさ
    19cm
  • 分類
  • 件名
ページトップへ

AltStyle によって変換されたページ (->オリジナル) /