Aunque no trata directamente con programación, Hofstadter aborda los conceptos de algoritmos, lógica formal y sistemas computacionales de una manera filosófica y lúdica. La recursividad, fundamental en los algoritmos, es un tema central que se explora en sus profundidades filosóficas y prácticas, ofreciendo una perspectiva muy distinta a un libro de texto convencional.























