Самая известная и заслуженная нейроученая России Татьяна Черниговская часто повторяет утверждение, которое приписывает Курту Гёделю: «ни одна система не может изучать систему сложнее себя».

С точки зрения как нейробиологии, так и математики, это утверждение — абсолютная бессмыслица. Теоремы Гёделя о неполноте касаются исключительно формальных аксиоматических систем и формальной доказуемости. Он никогда не формулировал правил об изучении одними системами других на основе относительных шкал сложности.

Тем не менее, если отбросить эту псевдонаучную интерпретацию, остается фундаментальный вопрос о самореференции и когнитивных ограничениях, который занимал выдающихся мыслителей в области математики, информатики и философии:

Курт Гёдель продемонстрировал внутренние границы формальных аксиоматических систем, доказав, что непротиворечивость и полнота не могут сосуществовать в рамках одной и той же системы.

Алан Тьюринг сформулировал проблему остановки (Halting Problem), доказав, что никакой универсальный алгоритм не может определить, завершит ли произвольная программа свою работу или будет циклиться вечно, тем самым установив абсолютные пределы для вычислительного самоанализа.

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

Дэвид Чалмерс и Томас Нагель тоже вставили свои пять копеек. Они обратились к «провалу в объяснении» (explanatory gap) в когнитивных науках и заработали себе на зарплату рассуждениями о том, что физикалистский редукционизм пасует, когда наблюдающий разум пытается проанализировать свой собственный субъективный опыт.

Алан Уотс сформулировал парадокс внутреннего самонаблюдения через простую анатомическую метафору: глаз не может увидеть сам себя напрямую, как и зуб не может укусить сам себя.

По мере того как мы продолжаем картировать динамику нейронных популяций и проектировать автономные архитектуры ИИ, крайне важно отделять подлинные вычислительные ограничения от научно-популярной безграмотности.

https://m.nkj.ru/archive/articles/21334/

#Нейронаука #Информатика #ФилософияСознания #Математика #Логика #ИИ