スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
Author(s)
Bibliographic Information
スマリヤンの決定不能の論理パズル : ゲーデルの定理と様相理論
白揚社, 2008.5
- Other Title
-
Forever undecided : a puzzle guide to Gödel
決定不能の論理パズル
- Title Transcription
-
スマリヤン ノ ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ リロン
Available at / 60 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
「決定不能の論理パズル」(白揚社 1990年刊) の改題新装版
Knopf, 1987の全訳
Description and Table of Contents
Description
悪魔のパズル、騎士と奇人のパズル、鳥女のパズル、数々の難問から学ぶ不完全性定理と様相論理。
Table of Contents
- 1 意外な展開!?
- 2 偽と真の論理学
- 3 騎士・奇人・命題論理
- 4 慎重にいこう
- 5 整合性のジレンマ
- 6 自己充足信念とレーブの定理
- 7 さらなる深みへ
- 8 決められない!
- 9 可能世界
- 10 事件の核心
- 11 フィナーレ
by "BOOK database"