決定不能の論理パズル―ゲーデルの定理と様相論理

決定不能の論理パズル―ゲーデルの定理と様相論理

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判／ページ数 279p／高さ 22X16cm
  • 商品コード 9784826900447
  • NDC分類 410.9
  • Cコード C0041

内容説明

『ゲーデル、エッシャー、バッハ』、『数学から超数学へ』につづきまた１冊、現代数学の巨人ゲーデルの世界を明快に解説。

目次

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