Книга Дугласа Гофстадтера безпосередньо стосується природи «карт» або зв’язків між формальними системами. Однак, за Гофстадтером, формальна система, яка лежить в основі всієї розумової діяльності, перевершує систему, яка її підтримує. Якщо життя може вирости з формального хімічного субстрату клітини, якщо свідомість може виникнути з формальної системи запуску нейронів, тоді комп’ютери також досягнуть людського інтелекту. Гедель, Ешер, Бах — це чудове дослідження захоплюючих ідей у центрі когнітивної науки: значення, скорочення, рекурсія та багато іншого.