【感想・ネタバレ】証明と論理に強くなる ～論理式の読み方から、ゲーデルの門前まで～のレビュー

小島寛之

論理的に考えるとはどういうこと？証明するってどういうこと？という問いに簡潔に答える論理と証明のための徹底解説本です。論理に強くなるためには，論理記号に対するアレルギーを克服することが第一です。本書は，「かつ」「ならば」などの基本的な論理記号からまず入ります。論理記号や論理式には解釈を逐語訳のように併記するので，臆することなく読み進めてもらえます。そして数学の問題で出てきた「証明」の考え方へと話を進めます。論理と証明の考え方を習得することがゲーデル不完全性定理の理解につながることにも言及します。

[ブクログ · ★★★☆☆]

この人の書く本はいつもわかりやすい。だけど１割くらいはよくわからないところもある。たぶんわかりやすすぎて、ついついハイペースで読んじゃうからじゃないかな、と思う。