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

Рассмотрим набор всех машин Тьюринга – иными словами, набор всех возможных алгоритмов. Или, скорее, чтобы упростить задачу, стоящую перед вашим воображением, представьте себе вместо этого Чрезвычайно большой, но конечный подраздел множества таких машин, объединенный конкретным общим языком и состоящий из «томов» определенной длины: набор всех возможных последовательностей 0 и 1 (последовательностей байтов) длиной до одного мегабайта (восемь миллионов нолей и единиц). Пусть эти последовательности читает мой старый портативный компьютер, «Тошиба T-1200», с его двадцатимегабитным жестким диском (чтобы установить прочные границы, наложим запрет на использование дополнительной памяти). Не следует удивляться тому, что Чрезвычайно значительное большинство этих последовательностей байтов не делает ничего, достойного упоминания, если попытаться запустить их на «Тошиба» в качестве программ. Программы все-таки не случайные последовательности байтов, но их тщательно спланированные очередности, результат тысяч часов проектно-конструкторской работы. Самая сложная из всех возможных программ все равно может быть представлена как та или иная последовательность нолей и единиц, и хотя мой старый «Тошиба» слишком мал, чтобы запустить на нем некоторые из по-настоящему огромных ныне существующих программ, он вполне способен проигрывать их большой и репрезентативный подраздел: текстовые редакторы, электронные таблицы, программы для игры в шахматы, симуляторы Искусственной жизни, логические системы автоматического доказательства теорем и, да, даже некоторые автоматические программы проверки арифметических истин. Назовем все такие программы, которые можно запустить на портативном компьютере «Тошиба», существующие в действительности и воображаемые, интересными программами (это подмножество примерно аналогично подмножеству книг, которые можно прочитать, в Вавилонской библиотеке или жизнеспособным генотипам из Библиотеки Менделя). Не стоит беспокоиться о границе, отделяющей интересное от неинтересного; смело отбрасываем все сомнительное. Как бы мы ни принимали решения, в Библиотеке «Тошиба» есть Чрезвычайно много интересных программ, но их Чрезвычайно сложно «отыскать» – вот почему компании-разработчики программного обеспечения дали миру порядочное число миллионеров.

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

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