決定不能の論理パズル : ゲーデルの定理と様相論理
著者
書誌事項
決定不能の論理パズル : ゲーデルの定理と様相論理
白揚社, 1990.11
- タイトル別名
-
Forever undecided : a puzzle guide to Gödel
- タイトル読み
-
ケッテイ フノウ ノ ロンリ パズル : ゲーデル ノ テイリ ト ヨウソウ ロンリ
大学図書館所蔵 件 / 全166件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
原著(New York : A.Knopf, 1987)の全訳
索引: 巻末
内容説明・目次
内容説明
『ゲーデル、エッシャー、バッハ』、『数学から超数学へ』につづきまた１冊、現代数学の巨人ゲーデルの世界を明快に解説。
目次
- １ 意外な展開！？
- ２ 偽と真の論理学
- ３ 騎士・奇人・命題論理
- ４ 慎重にいこう
- ５ 整合性のジレンマ
- ６ 自己充足信念とレーブの定理
- ７ さらなる深みへ
- ８ 決められない！
- ９ 可能世界
- １０ 事件の核心
- １１ フィナーレ
「BOOKデータベース」 より