Атомное вычисление

В положении и скорости атома газа содержится информация. Именно положения и скорости атомов были самыми первыми величинами, к которым были применены базовые формулы информации. Атомы хранят биты.

Но как обрабатывается эта информация? Когда сталкиваются два атома газа, информация, которую они содержат, преобразуется и обрабатывается. Соотносится ли обработка информации при столкновения атомов с обработкой информации, которую выполняют логические элементы, о которых мы говорили в первой части книги?

Как показали Эдвард Фредкин из Университета Карнеги-Меллона и Томмазо Тоффоли из Бостонского университета, столкновения атомов естественным образом совершают логические операции «и», «или», «не» и «копировать». На языке обработки информации столкновения атомов являются универсальными в вычислительном отношении.

В модели Фредкина и Тоффоли каждое возможное столкновение атомов выполняет операцию «и», «или», «не» и «копировать» над подходящим образом определенными входными и выходными битами. Назначая соответствующие начальные положения и скорости атомам газа, можно создать любую логическую схему. Сталкивающиеся атомы газа в принципе способны производить универсальные цифровые вычисления.

На практике, конечно, очень сложно заставить атомы газа выполнять вычисления. Даже если мы бы имели контроль над положениями и скоростями отдельных атомов, квантовая механика ограничивает точность, с которой можно одновременно указать их положение и скорость. Кроме того, столкновения между атомами газа являются неустранимо хаотическими; это значит, что даже небольшая ошибка в указании начальных положений и скоростей атомов, как правило, со временем будет увеличиваться, благодаря эффекту бабочки, пока не «загрязнит» все вычисления. Однако, как мы увидим в следующих главах, оба эти ограничения можно преодолеть, если использовать для производства вычислений более подходящие квантово-механические системы.

Хотя ограничения практического плана не позволяют использовать столкновения атомов газа для вычислений, тот факт, что столкновения атомов в принципе позволяют вести вычисления, подразумевает, что долгосрочное поведение атомов газа непредсказуемо в силу внутренних причин. Проблема остановки (см. гл. 2) мешает не только обычным компьютерам, но и любой системе, способной к выполнению цифровых логических операций. Сталкивающиеся атомы по сути своей выполняют цифровые логические операции, а потому их поведение в будущем невычислимо.

Такая способность сталкивающихся сфер к вычислениям проливает свет на возможность существования третьего демона – его вызвал к жизни маркиз Пьер-Симон де Лаплас. В труде, посвященном использованию ньютоновой механики для прогнозирования будущего поведения небесных тел, Лаплас писал:

«Мы можем рассматривать настоящее состояние Вселенной как следствие его прошлого и причину его будущего. Разум, которому в каждый определенный момент времени были бы известны все силы, приводящие природу в движение и положение всех тел, из которых она состоит, будь он также достаточно обширен, чтобы подвергнуть эти данные анализу, смог бы объять единым законом движение величайших тел Вселенной и мельчайшего атома; для такого разума ничего не было бы неясного и будущее существовало бы в его глазах точно так же, как прошлое».

Существо, способное совершать такие потрясающие предсказания, называют демоном Лапласа.

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

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

Глава 5

Дата добавления: 2015-11-14