今度こそわかるゲーデル不完全性定理 （講談社） [電子書籍]

今度こそわかるゲーデル不完全性定理 （講談社） の 商品概要

• ゲーデルは、何を証明しようとしたのか？　不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣いで説明。初学者がつまずくところを熟知した著者が丁寧に解説した。この難解な定理を、「ふつうの言葉」で説き明かす！※この商品は紙の書籍のページを画像にした電子書籍です。文字だけを拡大することはできませんので、タブレットサイズの端末での閲読を推奨します。また、文字列のハイライトや検索、辞書の参照、引用などの機能も使用できません。
  

• 目次

  序　文
  目次
  第1章　自然言語
  第2章　理論の完全性とわかりやすさ
  第3章　表現可能性
  第4章　初等自然数言語の不完全性定理の証明
  第5章　古典的理論と現代的理論
  第6章　形式化
  第7章　完全性
  第8章　ゲーデルの不完全性定理
  第9章　ゲーデルの第2不完全性定理
  第10章　新しい論理学
  本書で用いられる記号
  参考文献
  あとがき
  索　引
  

今度こそわかるゲーデル不完全性定理 （講談社） の商品スペック