Aunque no trata directamente con la arquitectura de computadoras, este libro profundiza en las bases conceptuales que subyacen a la computación moderna: la lógica, la recursión, los sistemas formales y el procesamiento de información. La 'interfaz entre hardware y software' a la que alude el libro de referencia puede verse como una manifestación de los bucles entre niveles de abstracción que Hofstadter explora, desde los teoremas de incompletitud de Gödel hasta la estructura de un programa de computadora. Es una mirada más filosófica a los ladrillos fundamentales de la computación.




















