Gödel, Escher, Bach: Un eterno y grácil bucle
Douglas R. Hofstadter·1979·no ficcion
Aunque no es un libro de texto de matemática discreta, Hofstadter profundiza en los fundamentos lógicos y recursivos que subyacen a la computación y las matemáticas discretas. Conecta conceptos abstractos como indecidibilidad y autorreferencia, que son esenciales para comprender la teoría de la computación, de una manera completamente original y transdisciplinar, lejos de los tratamientos usuales.









