ｽﾏﾘﾔﾝの決定不能の論理ﾊﾟｽﾞﾙ (ｽﾏﾘﾔﾝのけっていふのうのろんりﾊﾟｽﾞﾙ)

みんなのｲﾁｵｼ25万件!関心空間

ｽﾏﾘﾔﾝの決定不能の論理ﾊﾟｽﾞﾙ

原題は､
Forever Undecided: A Puzzle Guide to Gdel

ﾚｲﾓﾝﾄﾞ･M･ｽﾏﾘﾔﾝ著の
論理ﾊﾟｽﾞﾙ本にして
ｹﾞｰﾃﾞﾙの不完全性定理の入門書｡

ﾊﾟｽﾞﾙﾗﾝﾄﾞのｱﾘｽの
第二部鏡の国の論理
8章そこがすてきなところなんだ!
と
ｹﾞｰﾃﾞﾙの不完全性定理の
第章自己言及体系
とを
併読することを推奨しておきます｡

-------------------------------------------------

【目次】

はじめに

　意外な展開!?
　　第1章　悪魔のﾊﾟｽﾞﾙ
　　第2章　びっくり仰天?
　偽と真の論理学
　　第3章　国勢調査員
　　第4章　ｳｰﾅを探して
　　第5章　惑星間錯綜
　騎士･奇人･命題論理
　　第6章　命題論理を少々
　　第7章　騎士･奇人･命題論理
　　第8章　論理的閉包と整合性
　慎重にいこう
　　第9章　ﾊﾟﾗﾄﾞｯｸｽ?
　　第10章　問題はより深く
　整合性のｼﾞﾚﾝﾏ
　　第11章　自分自身について推論する論理学者
　　第12章　整合性のｼﾞﾚﾝﾏ
　　第13章　ｹﾞｰﾃﾞﾙ的ｼｽﾃﾑ
　　第14章　さらに整合性のｼﾞﾚﾝﾏについて
　自己充足信念とﾚｰﾌﾞの定理
　　第15章　自己充足信念
　　第16章　ﾗｰｼﾞｬのﾀﾞｲﾔﾓﾝﾄﾞ
　　第17章　ﾚｰﾌﾞの島
　さらなる深みへ
　　第18章　G型の推論者
　　第19章　謙虚さ､反射性､そして安定性
　決められない!
　　第20章　永遠に決められない
　　第21章　さらに決定不可能性について
　可能世界
　　第22章　必ずしもそうじゃない!
　　第23章　可能世界
　　第24章　必然性から証明可能性へ
　事件の核心
　　第25章　ｹﾞｰﾃﾞﾙ化された宇宙
　　第26章　驚異の論理機械
　　第27章　様相ｼｽﾃﾑの自己適用
　ﾌｨﾅｰﾚ
　　第28章　様相ｼｽﾃﾑ､機械､そして推論者
　　第29章　おかしな推論者たち
　　第30章　全篇をふり返って

　　訳者あとがき
　　索引

-------------------------------------------------