Опасная идея Дарвина: Эволюция и смысл жизни

В частности, теорема Гёделя ничего не может сообщить нам о том, могут ли в Библиотеке «Тошиба» содержаться алгоритмы, способные со впечатляющей эффективностью «вырабатывать как истинные» или «определять как истинные или ложные» определенные арифметические предложения. Если математики-люди могут со впечатляющей эффективностью «просто видеть» при помощи «математической интуиции», что определенные положения истинны, то, возможно, компьютер может имитировать этот талант так же, как он может имитировать игру в шахматы и непринужденную беседу: несовершенно, но впечатляюще. Именно в этом и убеждены специалисты в области искусственного интеллекта: существуют ненадежные, эвристические алгоритмы для общего воспроизведения деятельности человеческого разума, как есть алгоритмы, позволяющие машинам хорошо играть в шашки, шахматы и решать множество других задач. И именно тут Пенроуз и допустил свою грубую ошибку: он проигнорировал этот набор возможных алгоритмов – единственный набор алгоритмов, когда-либо интересовавших разработчиков искусственного интеллекта, – сконцентрировавшись на том наборе алгоритмов, о которых теорема Гёделя нам и в самом деле что-то сообщает.

Математики – говорит Пенроуз – используют «математическую интуицию», чтобы увидеть, что из корректности определенной системы следуют определенные положения. Затем он некоторое время рассуждает, что «для» математической интуиции не может быть алгоритма (или, по крайней мере, алгоритма, осуществимого на практике). Но, озаботившись этим, он упускает возможность того, что некий алгоритм (на самом деле, множество разных алгоритмов) может быть источником математической интуиции, несмотря даже на то, что созданы он был «не для этого». Мы можем ясно увидеть эту ошибку на примере параллельного рассуждения.

Шахматы – игра конечная (поскольку есть правила, позволяющие закончить партию, которая ни к чему не ведет, – например, объявление ничьей). Это значит, что, в принципе, существует алгоритм, определяющий, как закончить любую партию победой или ничьей – понятия не имею, чем именно. По сути дела, я могу определить этот алгоритм для вас довольно просто: 1) нарисуйте все древо решений для всех возможных партий в шахматы (Чрезвычайно большое, но конечное число); 2) отправляйтесь к моменту окончания каждой игры; то будет либо победа белых или черных, либо ничья; 3) «раскрасьте» этот момент черным, белым или серым в зависимости от исхода игры; 4) отправляйтесь назад, делая один полный шаг за раз (один ход белых и один ход черных); если на предшествующем шаге все пути от любого из ходов белых вели через все ответные ходы черных к белому исходу игры, то закрасьте узел, отражающий текущий момент, белым и снова сделайте шаг назад, и т. д.; 5) сделайте то же для любых путей развития игры, обеспечивающих победу черных; 6) все остальные узловые моменты закрасьте серым. В конце концов (куда позже, чем Вселенная отправится на покой) вы раскрасите все узловые моменты на древе всех возможных шахматных партий вплоть до самого первого хода белых. Теперь пришло время поиграть. Если какой-нибудь из двадцати допускаемых правилами ходов раскрашен белым – сделайте его! Впереди – гарантированная победа, достичь которой можно, всего лишь всегда выбирая белые узлы. Разумеется, остерегайтесь любых черных ходов, ибо это позволит вашему противнику гарантированно поставить вам шах и мат. Если доступных белых ходов нет – выбирайте серые и надейтесь, что позднее в какой-то момент игры у вас появится возможность сделать белый ход. В худшем случае вас ожидает ничья. (Если все доступные белым ходы закрашены черным, что весьма маловероятно, то единственный ваш шанс – пойти наобум в надежде, что впоследствии ваш играющий черными противник допустит оплошность и позволит вам ускользнуть, избрав белый или серый путь.)

Ясно, что это – алгоритм. Ни один из шагов в данном рецепте не требует какой-либо прозорливости, и я выразил его в конечной форме и недвусмысленно. Проблема в том, что алгоритм этот совершенно невыполним и непрактичен, ибо древо, которое он тщательнейшим образом обыскивает, Чрезвычайно велико. Но, полагаю, приятно знать, что, в принципе, существует алгоритм, позволяющий в совершенстве играть в шахматы – как бы бесполезен он ни был. Для той же цели может существовать осуществимый на практике алгоритм. Его еще никто не обнаружил – и слава Богу, ибо это превратило бы шахматы в игру немногим интереснее крестиков-ноликов. Никто не знает, существует ли такой осуществимый на практике алгоритм, но, по общему мнению, это весьма маловероятно. Не зная этого наверняка, выберем предположение, наименее благоприятное для искусственного интеллекта. Предположим, что не существует никакого осуществимого на практике алгоритма, обеспечивающего победу в шахматах или ничью.