Змея, кусающая свой хвост, — древний символ замкнутого круга. Именно такую петлю создали математики: логическая формула, отрицающая саму себя. Набор из миллиона условий имеет ровно одно верное сочетание переменных. Добавим крошечную правку: «это единственное решение запрещено». Внешне формула не изменилась, но внутри пуста — ответ исчез. И ни один взгляд на малую часть не заметит ловушки.
Чтобы доказать противоречие, приходится перебирать почти все варианты. Число шагов растёт взрывным образом — как 2 в степени N. Для миллиона переменных это больше, чем атомов в видимой Вселенной.
Квантовые компьютеры и алгоритм Шора ускоряют перебор, но не отменяют его экспоненциальный рост. Машинное обучение, численное моделирование, стохастический анализ — всё упирается в стену: коллективное поведение системы нельзя свести к простым правилам. Даже вся квантовая информация бессильна.
Так логический уроборос замыкает круг. Дефицит сведений — энтропия — заложен в самой природе задачи. Это не техническая трудность, а принципиальный предел, как в теореме Гёделя о неполноте. Змея, глотающая хвост, напоминает: глобальную истину не ухватить, разглядывая осколки.
В 1956-м Курт Гёдель спросил умирающего Джона фон Неймана, можно ли быстро проверять логические формулы. Ответа не дождались. Теперь ясно: разгадка — в той самой неполноте, которую Гёдель открыл ранее.
Та же самоотсылка, которую Дуглас Хофштадтер в «Гёдель, Эшер, Бах» назвал «странной петлёй» и ключом к сознанию, очерчивает предел для искусственного интеллекта.