岩波文庫で撃沈したが、本書から攻めたらすんなり入れた。数式を使わずアナロジーを用いることで、不完全性定理のイメージを上手く伝えている。同時にゲーデルの生涯を追いながら、不完全性定理の哲学的帰結までたどっている。 哲学的帰結は以下のとおり。 全数学を論理学に還元することは不可能である 全数学を公理化することも不可能である この完全な理解にはほど遠いものの、感覚的に分かった。おかげで、あれほど確固なものだった「数学」が、実は「信念」を積み重ねた楼閣に見えてしようがない。わたしは、「数」を信じるように、不完全性定理を信じる。 ■01 受験数学の呪い 「要するにどういうことか」は、理解をすッ飛ばして記憶した。数学は暗記科目――受験数学の呪いは骨の髄まで浸透している。公理と定理を暗記して、adaption パターンを習得するのが「数学」だと思い込んでいた。 そこには、自ら定理を導出する喜びや、新たな