Aunque no es un tratado de lógica formal, Hofstadter aborda de manera creativa y multidisciplinaria la naturaleza de la verdad, la recursión y los sistemas de símbolos, resonando con la preocupación de Tarski por la estructura lógica del lenguaje de una forma inusualmente accesible y expansiva, lejos de la densa prosa académica de la lógica matemática pura.
Gödel, Escher, Bach: Un Eterno y Nudo Dorado
Douglas Hofstadter·1979·no ficcion
Aunque no es un tratado de lógica formal, Hofstadter aborda de manera creativa y multidisciplinaria la naturaleza de la verdad, la recursión y los sistemas de símbolos, resonando con la preocupación de Tarski por la estructura lógica del lenguaje de una forma inusualmente accesible y expansiva, lejos de la densa prosa académica de la lógica matemática pura.























