ゲーデル本食い歩き - hiroyukikojimaの日記の付記や、完全性定理って、素人には、そんなにむずかしいわね、確かに。 - hiroyukikojimaの日記でリンクを貼った(2011-12-14 - /dev/wd0a）の主が、(あの有名な)鴨浩靖さんだと今頃、気づいた。確かに書評のリン…