Aunque no se centra en la lingüística formal como Rado, Hofstadter conecta profundamente las matemáticas y la recursión con la estructura del lenguaje y la cognición, ofreciendo una perspectiva muy original sobre cómo los sistemas formales emergen y se reflejan en diferentes disciplinas. Propone que la 'significación' puede surgir de la complejidad de los sistemas formales, un contraste interesante con el enfoque más pragmático de Rado.



















