スマリヤンの決定不能の論理パズル

ゲーデルの定理と様相理論
Ｆｏｒｅｖｅｒ　ｕｎｄｅｃｉｄｅｄ．

白揚社
レイモンド・スマリヤン　田中朋之　長尾確　

• 価格: 3,080円（本体2,800円＋税）
• 発行年月: 2008年05月
• 判型: Ａ５
• ISBN: 9784826901420

内容情報

[BOOKデータベースより]

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

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