Erano molti anni che avevo questo libro in wishlist, fin da quando ho letto GEB. Alla fine però ho letto "Gödel's Proof" di Newman e Nagel, una (breve) esposizione semplificata del noto teorema, discretamente comprensibile (dovrei rileggere la parte centrale, però).
Leggendo i vari libri in cui si pseudo-dimostra il teorema (me ne vengono in mente almeno tre, due di Hofstadter), si tende a dimenticare che non leggiamo la vera dimostrazione ma una semplificazione. I due autori secondo me vanno un po' più avanti degli altri e mettono meglio in chiaro quali sono le parti che non è possibile seguire senza ricorrere a tecnicismi non digeribili dal profano. In più la prefazione di Hofstadter è particolarmente godibile. Mi è piaciuto.
