内容説明
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。
ゲーデルは、何を証明しようとしたのか? 不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣いで説明。初学者がつまずくところを熟知した著者が丁寧に解説した。この難解な定理を、「ふつうの言葉」で説き明かす!
目次
第1章 自然言語
第2章 理論の完全性とわかりやすさ
第3章 表現可能性
第4章 初等自然数言語の不完全性定理の証明
第5章 古典的理論と現代的理論
第6章 形式化
第7章 完全性
第8章 ゲーデルの不完全性定理
第9章 ゲーデルの第2不完全性定理
第10章 新しい論理学