読書 不完全性定理とはなにか

不完全性定理とはなにか （ブルーバックス） [ 竹内 薫 ] 価格：1100円（税込、送料無料) (2021/8/8時点)

お勧め度:★★★★★

ゲーデルの不完全性定理と、チューリングの停止問題の証明の肝の肝、、みたいな部分を

ものすごく分かりやすく、説明した本でした。

不完全性定理や停止問題を理解するための、数学やコンピュータの知識、

そして、証明の方法です。

ゲーデルやチューリング等の天才の逸話や、さらに進んだ話も少々という所です。

ゲーデルの不完全性定理と、チューリングの停止問題、実は、

同じようなアイディアで証明できるとは、びっくり。

この本は、面白かったです。高校生程度の数学の知識があれば、十分読める本だと思います。