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