不完全性定理―数学的体系のあゆみ (ちくま学芸文庫)

404 Blog Not Found:書評 - 不完全性定理

著者の野崎昭弘は、「詭弁論理学」の著者にして、「Gödel, Escher, Bach(GEB)」の訳者。安野光雅と「石頭コンピューター」を共著した人でもある。私は「πの話」以来のファンなのだが、その野崎昭弘が不完全性定理にガチで対峙したのが本書だ。 目次 本書は、「不完全性定理とは何か」だけではなく、「公理とは何か」「定...