Литмир - Электронная Библиотека
A
A

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

Демон Максвелла хочет описать газ сразу и изнутри, и снаружи. Он хочет знать, где находятся молекулы — и в то же самое время наслаждаться теплом. Но так не получится, даже если вы и демон.

В 1988 году Войцех Зурек задал важный вопрос: а что, если демон настолько хитер, что сначала начинает измерять все молекулы, а затем суммирует все свое полученное знание в очень простом описании, к примеру: «Все молекулы находятся в левой камере»? Эта информация не содержит большого числа бит — на самом деле только один. Избавиться от нее не будет стоить дорого, и тем не менее она содержит знание, которое можно использовать, чтобы выиграть джекпот.

Знание о нашем мире интересно тем, что иногда оно может быть обобщено с такой завораживающей красотой, что великие озарения можно уложить всего лишь в несколько строчек. И демон должен быть в состоянии сделать то же самое — и одновременно наслаждаться своей наградой.

В конце концов — он же демон, а не смертный?

Глава 3. Бесконечные алгоритмы

Если наука может достичь своих целей, то и демон Максвелла тоже может достичь своих целей — пробить дыры в самом фундаментальном законе природы, открытом наукой.

В действительности это последствия вопроса, заданного Войцехом Зуреком в 1988 году: если единственная причина, по которой не работает демон Максвелла, заключается в том, что демону приходится тратить огромное количество энергии на то, чтобы забыть все, что он узнал, демон мог бы суммировать свои знания в новой формуле, которая не потребует за забывание высокой платы. Затем он сможет воспользоваться практически всеми преимуществами своего знания мира на молекулярном уровне: он сможет извлекать тепло из ночного мороза — бесплатно. Второй закон термодинамики будет нарушен, вечный двигатель станет возможным — и привычное научное видение мира окажется под угрозой.

Так что, скорее всего, у демона не получится «сжать» свои знания до нескольких простых формул и данных, которые рассказажут всю историю молекул в контейнере, где действует демон.

Но если демон не сможет этого сделать, это наверняка будет не по силам и человеку? Целью науки всегда было создание наиболее краткого из всех возможных описания мира. Но этой краткости, с которой может быть описан мир, есть свой предел. Иначе с демоном Максвелла будут проблемы.

Это следствие вопроса Войцеха Зурека: если мы сможем доказать, что у нас получится описать весь мир в достаточно краткой форме, самое фундаментальное утверждение в нашем восприятии мира будет сломано: нарушится второй закон термодинамики.

Демон Максвелла — это не просто проблема изучения тепла и термодинамики. Демон Максвелла — это проблема для всей нашей космографии — понятие о том, что весь мир может быть детально описан всего лишь несколькими короткими уравнениями почти божественной красоты, является неверным.

Так и есть. Это было доказано в 1930 году в ходе изучения одной из самых базовых задач, лежащих в основе математики. Это было открытие, которое полностью преобразило ситуацию для математиков и логистиков, открытие, которое заставило ученых признать, что они никогда не смогут ничего доказать в этом мире, что человеческое понимание мира будет навсегда состоять только из интуитивных озарений, когда нельзя будет доказать, что люди знают о мире больше, чем могут объяснить через формальные системы.

Это осознание, которое по понятным причинам было названо самым глубоким из всех когда-либо созданных доказательств, касается пределов уверенности человеческого знания, пределов того, что мы в состоянии доказать. Это доказательство того, что все доказать нам не удастся — даже если мы будем знать, что это правда.

Когда математик Курт Гедель опубликовал доказательство своей теоремы в январе 1931 года, он вряд ли осознавал, что это может соотноситься с термодинамикой и невозможностью построения вечного двигателя. Потребовалось еще полстолетия и стало возможным почти с облегчением осознать, что именно теорема Геделя привела к объяснению того, почему не работал демон Максвелла.

Ведь в теореме Геделя мы просто вплотную подходим к самому порогу всех формальных знаний — и, следовательно, в каком-то смысле к единственному точному знанию, которым мы в состоянии обладать: бесконечность истины никогда не получится охватить одной-единственной теорией.

Только сам мир настолько велик, чтобы понять весь мир. Невозможно создать такую карту всего мира, которая включала бы в себя абсолютно все, если только эта карта не будет являться самой территорией — а в этом случае она, конечно, не будет картой.

Современное представление математики о своих собственных основах было уничтожено одним ударом. Мечты об уверенности увяли.

«Wir Mussen Nur Wissen, Wir Werden Wissen». Это заключительная фраза, которую произнес великий математик Давид Гильберт в своей великой лекции, когда его родной город Кенигсберг сделал его почетным гражданином 9 сентября 1930 года. «Мы должны знать. Мы будем знать».

В течение десятилетий Давид Гильберт высказывался в пользу ясных и определенных логических основ математики. В 1900 он перечислил задачи, решение которых позволит взять основы математики под полный контроль. Необходимо было показать, что математическая наука включает в себя связную, непротиворечивую и исчерпывающую логическую систему.

Снова и снова в течение первых десятилетий 20 столетия Гильберт подчеркивал, что подобное абсолютное разъяснение основ математики не за горами и мысль о том, что любая математическая задача может быть решена, имеет под собой основания. «Мы все в этом убеждены!», — сказал он и продолжил описанием мечты математика: «В конце концов, когда мы посвящаем себя решению математической проблемы, нас привлекает именно зов, который мы слышим внутри себя: вот проблема, ищи решение, ты можешь найти его чистой силой своей мысли, так как в математике нет места понятию «ignorabimus» — «не знаем и не узнаем».

В 1930 году, когда Гильберту было 68 лет, он ушел с поста профессора в Готтингене, столицы немецкой математики, и одна из наград, которой он был удостоен, стала для него особенно ценой — он стал почетным гражданином своего родного города. Церемония проходила осенью, когда Немецкое общество немецких ученых и физиков собралось на свою 91-ю конвенцию в Кенигсберге, который играл очень важную и особую роль в интеллектуальной истории Германии — именно здесь жил и всю жизнь работал философ Иммануил Кант.

Давид Гильберт решил прочитать по этому случаю большую лекцию по случаю получения этого звания — лекцию, в которой он смог бы провести связь с Кантом, одним из самых великих философов современности — а, возможно, и самым великим. В работе под названием «Naturerkennen und Logik» он высказал прямую, хотя и вежливо сформулированную критику величайшего сына Кенигсберга.

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

С этим не согласился Гильберт. «Кант сильно переоценивал роль и размеры априори, — отмечал он по этому поводу. — Теория априори Канта содержит антропоморфический шлак, от которого нужно освободиться. После того, как мы от этого избавимся, останется только то априорное знание, которое является основой чистого математического знания».

14
{"b":"283162","o":1}