Автореферентность, ИИ, литографии Эшера, музыкальное приношение Баха, теоремы Черча, Геделя, Лестера, диалоги Ахилла и черепахи, генетика, парадоксы, самосознание...
Это не бессмысленный набор фраз, а краткий список тем, которые поднял в своей книге Хофштадтер. И во всем этом он попытался найти закономерности не забывая про юмор и работы других выдающихся людей...
Любая достаточно мощная формальная система является противоречивой. Парадокс Эпименида - "Я говорю неправду". Если это правда, то он врет, если он врёт, значит его слова правда...
