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

Author(s)

• Smullyan, Raymond M.
• 田中, 朋之 タナカ, トモユキ
• 長尾, 確 ナガオ, カタシ

Bibliographic Information

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

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

白揚社, 2008.5

Other Title

Forever undecided : a puzzle guide to Gödel

決定不能の論理パズル

Title Transcription

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

Note

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

Knopf, 1987の全訳

Description and Table of Contents

Description

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

Table of Contents

• １　意外な展開！？
• ２　偽と真の論理学
• ３　騎士・奇人・命題論理
• ４　慎重にいこう
• ５　整合性のジレンマ
• ６　自己充足信念とレーブの定理
• ７　さらなる深みへ
• ８　決められない！
• ９　可能世界
• １０　事件の核心
• １１　フィナーレ

by "BOOK database"

• NCID: BA86149963
• ISBN:
  • 9784826901420
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: 281p
• Size: 21cm
• Classification:
  • NDC8 : 410.9
  • NDC9 : 410.9
• Subject Headings:
  • BSH : 不完全性定理
  • LCSH : Gödel, Kurt, 1906-1978