Gödel, Escher, Bach: Un eterno y grácil bucle
Douglas R. Hofstadter·1979·no ficcion
Mientras que Knuth desentraña la estructura subyacente de la computación, Hofstadter explora la estructura subyacente de la cognición y la recursión. Ambos abordan la formalización de sistemas complejos, pero Hofstadter lo hace en un contexto mucho más amplio y filosófico que lo puramente algorítmico, y no se limita a la informática, lo que lo hace una elección no obvia pero conectada por el espíritu de la formalización.























