Rafael Lahoz-Beltra - Размышления о думающих машинах. Тьюринг. Компьютерное исчисление

В будущее мы можем заглянуть только на короткий срок, но и этого достаточно, чтобы увидеть, сколь много еще должно быть сделано.

Алан Тьюринг. «Вычислительные машины и разум»

Несколько лет спустя ученый задался вопросом, можно ли какой-то аспект человеческого мозга, например волю, объяснить механизмами нейронных сетей. Его идеи были близки идеям других гениев эпохи, например Курта Гёделя: тот полагал, что на определенных этапах доказательства математической теоремы человек прибегает к интуиции, которая не может быть представлена в виде алгоритма и поэтому не может быть реализована с помощью машины Тьюринга. С тех пор некоторые ученые считали, что отдельные функции мозга могут быть объяснены только с точки зрения квантовых процессов в мозговых или нейронных клетках. В конце XX века британский физик Роджер Пенроуз (р. 1931) и американский врач Стюарт Хамерофф (р. 1947) высказали идею о том, что человеческая совесть может быть объяснена квантовыми процессами в структурах, сформированных белками, так называемых микротубулах, имеющихся в нейронах. Следовательно, феноменами квантовой механики могут быть объяснены не только воля, интуиция, совесть, но и способность человеческого мозга решать невычислимые задачи.

Эти рассуждения не могут не привести к поистине необычному выводу: на сегодняшний момент мозг человека представляет собой единственную машину, способную решать вычислимые и невычислимые задачи. К вычислимым задачам относятся такие, которые можно решить с использованием алгоритма, то есть с помощью универсальной машины Тьюринга, или компьютера. Второй тип задач невозможно представить в виде алгоритма и, следовательно, решить на компьютере. Например, мы можем написать программу для компьютера, которая, применив ряд Тейлора, распечатает нам все десятичные числа √2 или π:

π = 4(1 - 1/3 + 1/5 - 1/7 + ... + (-1)k • 1/(2k+1))

Однако не существует алгоритма, с помощью которого компьютер записал бы все десятичные числа других существующих чисел с бесконечной последовательностью знаков после запятой. Еще один пример невычислимой задачи — определение траектории электрона, движущегося из точки А в точку В. Простой опыт, с помощью которого можно доказать, что человеческий мозг способен практически мгновенно определить невычислимость задачи, состоит в том, чтобы попробовать найти два четных числа, сумма которых была бы нечетной. Через пару секунд, после нескольких попыток вычислений в уме, мы придем к выводу, что эта задача не имеет ответа, но невозможно написать программу для компьютера, способную прийти к такому же выводу. И дело здесь не в умениях программиста или длине программного кода.

В вычислимой задаче, например написать все десятичные значения числа π, некоторые аспекты могут показаться любопытными, например то, что количество команд программы, генерирующей десятичные знаки числа π, будет короче, чем сама генерируемая последовательность:

3,141592653589793238462643383279502884197169399375105820974944592307816406286208998628034825342117067982148086513282306647093844609550582231725359408128481117450284102701938521105559644622948954930381964428810975665933446128475648233786783165271201909145648566923460348610454326648213393607260249141273724587006606315588174881520920962829254091715364367892590360011330530548820466521384146951941511609...

Квантовые компьютеры однажды помогут ликвидировать это ограничение машин Тьюринга, то есть будут готовы обрабатывать так же, как наш мозг, вычислимые и невычислимые задачи в традиционном понимании термина. Квантовая машина Тьюринга может воспроизводить и квантовые, и традиционные вычисления. Квантовые компьютеры помогут справиться с задачами, решение которых сегодня вызывает много трудностей и требует рассмотрения огромного количества переменных и уравнений. Так, например, обстоит ситуация с климатическими моделями и сложными химическими реакциями. Применение таких компьютеров в криптографии сделает практически невозможной расшифровку перехваченных сообщений, что вполне удавалось Тьюрингу и его коллегам в Блетчли-парке. Шифрование сообщений с помощью квантовых алгоритмов позволит сделать коммерческие операции в интернете и через другие средства связи совершенно безопасными. Конечно, как это было всегда, еще одним способом использования новых компьютеров наверняка станут военные нужды, например моделирование ядерного взрыва. В сфере искусственного интеллекта уже существуют искусственные квантовые модели нейронов. Их возможности будут очень полезны для моделирования в астрономии, физике и химии. Найдут они применение и в сфере развлечений, например при создании спецэффектов в кино.