МультиЖизнь будды-киборга

Те, кто здесь берется обсуждать сабж, похоже, поверхностно знакомы с темой. Очень рекомендую им для первоначального ознакомления изучить книгу Ж.-П. Лорьер "Системы искусственного интеллекта" (М.:Мир, 1991), а в ней - главу 3 "Формальные системы" целиком, а остальные - по возможности. Специально подчеркиваю, что Первая и Вторая теоремы Гёделя о неполноте, а так же ее инварианты в виде теорем Тарского (1935 г.), Чёрча (1936 г.), Тьюринга (1937 г.) - относятся ИСКЛЮЧИТЕЛЬНО к формальным системам, представивимым в виде формальной арифметики, или предикатов первого порядка, или эквивалентной им (подчеркиваю!) специализированной машины Тьюринга. Уже предикаты второго порядка, или универсальная машина Тьюринга, и тем более самоприменимая универсальная машина Тьюринга - выходят за рамки этой теоремы. Суть проблемы - в процедуре т.н. "геделизации" (она тоже подробно описывается в указ. книге). Смысл геделизации - когда все возможные команды процессора кодируются натуральными числами, и сама программа кодируется единым очень большим числом, потом оказывается только по самому числу - невозможно определить, что это - метка, данное или команда. Поэтому теорема Геделя затыкается на рефлексии.
Далеко не факт, что "персептронная" нейропарадигма работы нашего мозга эквивалентна формальной арифметике или экв. ей логике предикатов первого порядка, но отсюда никак не следует, что мозг принципиально непознаваем и немоделируем, и требуется привлекать мистику. Просто модель специализированной МТ оказывается для него очень простой - вот и все!