Книга Дугласа Хофштадтера непосредственно посвящена природе «карт» или связей между формальными системами. Однако, по мнению Хофштадтера, формальная система, лежащая в основе всей мыслительной деятельности, превосходит поддерживающую ее систему. Если жизнь сможет вырасти из формального химического субстрата клетки, если сознание сможет возникнуть из формальной системы активирующих нейронов, то компьютеры тоже достигнут человеческого интеллекта. Гёдель, Эшер, Бах – это замечательное исследование увлекательных идей, лежащих в основе когнитивной науки: значения, редукции, рекурсии и многого другого.