Gödel, Escher, Bach: Un eterno y grácil bucle
Douglas R. Hofstadter·1979·no ficcion
Mientras que Hilbert busca axiomatizar la geometría con una claridad asombrosa, Hofstadter explora la auto-referencia y la formalización en sistemas complejos, incluyendo las matemáticas. La conexión no es un libro de geometría per se, sino la búsqueda de los fundamentos y las implicaciones de las estructuras formales y lógicas, mostrando cómo las ideas de incompletitud pueden surgir incluso en sistemas aparentemente completos.























