Gödel, Escher, Bach: Un Eterno y Grácil Bucle
Douglas Hofstadter·1979·no ficcion
Aunque no es un libro de matemáticas puras enfocado en un solo campo, aborda la teoría de conjuntos y la lógica desde una perspectiva que revela sus implicaciones en la inteligencia artificial y la cognición. Comparte la rigurosidad conceptual de Halmos pero la extiende a la interconexión de ideas, trascendiendo una mera introducción axiomática.









