GEB
En d'autres termes
Gödel, Escher, Bach
Définition
Ouvrage de référence de Douglas Hofstadter, sur la logique formelle, construit autour de l'autoréférence pour amener au théorème d'incertitude de Gödel, riche en exemples pris dans l'univers de l'IA. La construction formelle du livre, analogue à une fugue de Bach, en fait un chef d'oeuvre de la littérature informatique, et de la littérature scientifique de vulgarisation en général.
Noter que la version française est plus complète que l'original US, l'auteur - francophone - l'ayant entièrement remanié pour l'édition française.
