スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論

書誌事項

スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論

レイモンド・スマリヤン著 ; 田中朋之, 長尾確訳

白揚社, 2008.5

タイトル別名

Forever undecided : a puzzle guide to Gödel

決定不能の論理パズル

タイトル読み

スマリヤン ノ ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ リロン

大学図書館所蔵 件 / 全59件

この図書・雑誌をさがす

注記

「決定不能の論理パズル」(白揚社 1990年刊) の改題新装版

Knopf, 1987の全訳

内容説明・目次

内容説明

悪魔のパズル、騎士と奇人のパズル、鳥女のパズル、数々の難問から学ぶ不完全性定理と様相論理。

目次

  • 1 意外な展開!?
  • 2 偽と真の論理学
  • 3 騎士・奇人・命題論理
  • 4 慎重にいこう
  • 5 整合性のジレンマ
  • 6 自己充足信念とレーブの定理
  • 7 さらなる深みへ
  • 8 決められない!
  • 9 可能世界
  • 10 事件の核心
  • 11 フィナーレ

「BOOKデータベース」 より

詳細情報

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

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