スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
著者
書誌事項
スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
白揚社, 2008.5
- タイトル別名
-
Forever undecided : a puzzle guide to Gödel
決定不能の論理パズル
- タイトル読み
-
スマリヤン ノ ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ リロン
大学図書館所蔵 件 / 全59件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「決定不能の論理パズル」(白揚社 1990年刊) の改題新装版
Knopf, 1987の全訳
内容説明・目次
内容説明
悪魔のパズル、騎士と奇人のパズル、鳥女のパズル、数々の難問から学ぶ不完全性定理と様相論理。
目次
- １ 意外な展開！？
- ２ 偽と真の論理学
- ３ 騎士・奇人・命題論理
- ４ 慎重にいこう
- ５ 整合性のジレンマ
- ６ 自己充足信念とレーブの定理
- ７ さらなる深みへ
- ８ 決められない！
- ９ 可能世界
- １０ 事件の核心
- １１ フィナーレ
「BOOKデータベース」 より
