: Случайные процессы в работе программы формально всегда можно заменить на случайные внешние данные.
:
: Но, на мой взгляд, аргумент Пенроуза не в этом. Программа работает детерминированно по строгой логической схеме.
Как ни начни описывать нервную систему человека, она все равно будет состоять из конечного количества элементарных объектов, отсюда следует принципиальная конечность/формализуемость сознания, конечно, если не привлекать потусторонние силы. Другой вопрос, что сама по себе принципиальная возможность формализации никак не связана с возможностью сделать это "здесь и сейчас".
: Теорема Геделя утверждает, что не все утверждения выводимы логически.
<сабж> Теорема Геделя "о неполноте" утверждает лишь, что формальная арифметика невыводима исключительно логическими средствами и, следовательно, она неполна. Это же относится к любой контекстозависимой системе.
Но ведь есть и теорема Геделя "о полноте" - любая формальная система изоморфная классическому исчислению предикатов выводима логически и, следовательно, полна.
: Однако человек, как показывает практика каким-то образом решает подобные задачи.
"Подобные", это какие?
: Этот аргумент Пенроуза -- не доказательство. Это скорее убеждение...
Согласен. |