Случайные процессы в работе программы формально всегда можно заменить на случайные внешние данные.
Но, на мой взгляд, аргумент Пенроуза не в этом. Программа работает детерминированно по строгой логической схеме. Теорема Геделя утверждает, что не все утверждения выводимы логически. Однако человек, как показывает практика каким-то образом решает подобные задачи.
Этот аргумент Пенроуза -- не доказательство. Это скорее убеждение, подкрепленное блестящим анализом-обзором современной теоретической физики. Его анализ, конечно, субъективен. Но привлечение теории алгоритмов к проблемам физики является новым и представляется перспективным. А все рассуждения о случайности там достаточно мутные, но не по вине Пенроуза, а по причине далеко не ясного представления о природе случайности в современной науке.
Пенроуз обходит стороной динамический хаос. Наверное от того, что в этом направлении пока больше надежд, чем точных ответов. |