今度こそわかるシリーズ 今度こそわかるゲーデル不完全性定理

著者名：本橋信義【著】

講談社（2014/07発売）

• ISBN：9784061565067

内容説明

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

ゲーデルは、何を証明しようとしたのか？　不完全性定理を初学者が一歩ずつ着実に理解できるように、平易な言葉遣いで説明。初学者がつまずくところを熟知した著者が丁寧に解説した。この難解な定理を、「ふつうの言葉」で説き明かす！

目次

第１章　自然言語
第２章　理論の完全性とわかりやすさ
第３章　表現可能性
第４章　初等自然数言語の不完全性定理の証明
第５章　古典的理論と現代的理論
第６章　形式化
第７章　完全性
第８章　ゲーデルの不完全性定理
第９章　ゲーデルの第２不完全性定理
第１０章　新しい論理学

感想・レビュー

※以下の感想・レビューは、株式会社ドワンゴの提供する「読書メーター」によるものです。

[BIN]

ゲーデルの不完全性定理について今度こそわかるかなと読んでみましたが、さっぱりわかりませんでした。初っ端の新しい論理学の定義の時点でわかりにくい。しっかり読んで整理すればわかるのかもしれませんが、読む気が失せました。

2021/08/04

[tanukiarslonga]

著者の言う「新しい論理学」なるものの何が新しいのかよくわからなかったがそもそも新しくない論理学もよくわからないのだった。

2016/11/26