Наука говорит НЕТ

Наука говорит «нет»

В 1900 году великий математик Давид Гильберт обнародовал список из 23 проблем, которые, по его мнению, должны были определить развитие математики XX века. За этим списком стояло убеждение, разделявшееся многими учеными того времени: для любого корректно поставленного вопроса существует ответ, а задача науки состоит лишь в том, чтобы этот ответ найти. «Мы должны знать, и мы будем знать», говорил Гильберт.

Прошло чуть больше века. За это время человечество действительно узнало неизмеримо больше. Мы открыли расширение Вселенной, научились определять возраст далеких звезд, зарегистрировали гравитационные волны, обнаружили бозон Хиггса, расшифровали геном человека и научились редактировать ДНК. Однако одновременно произошло другое, менее заметное событие. Наука стала не только открывать новые явления, но и доказывать невозможность некоторых из них.

Это звучит непривычно, потому что научный прогресс обычно представляют как бесконечное расширение списка открытий. Каждый год появляются сообщения о новых экзопланетах, новых материалах, новых частицах, новых лекарствах. Создается впечатление, будто наука постоянно отвечает на вопрос: «Что еще существует?». Но существует и второй, не менее важный вопрос: «Чего существовать не может?». Именно на него современная фундаментальная наука отвечает все увереннее.

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

История науки знает немало примеров подобных разочарований. В 2011 году эксперимент OPERA сообщил о регистрации нейтрино, которые, казалось, двигались быстрее света. Новость вызвала огромный интерес: если бы результат подтвердился, пришлось бы пересматривать один из краеугольных камней современной физики, специальную теорию относительности. Однако вскоре выяснилось, что причиной сенсации оказался плохо подключенный оптоволоконный кабель в системе синхронизации времени. Ошибка измерений исчезла, а вместе с ней исчезло и «сверхсветовое» движение нейтрино. Ограничение, установленное Эйнштейном еще в 1905 году, осталось в силе.

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

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

Две судьбы любой смелой гипотезы

Любая фундаментальная гипотеза начинается с утверждения о существовании некоторого объекта, процесса или закономерности. «Существует бозон Хиггса». «Существуют гравитационные волны». «Существует алгоритм, быстро решающий задачу коммивояжера». «Существует способ передавать информацию быстрее света». «Существует универсальный метод предсказать поведение любой компьютерной программы». Несмотря на различие предметов, логическая структура всех этих утверждений одинакова: они предполагают, что природа допускает существование некоторой новой возможности.

Дальнейшая судьба такой гипотезы может сложиться двумя способами. Первый хорошо известен. Если гипотеза подтверждается экспериментом или строгим математическим доказательством, она становится частью научной картины мира. Так произошло с бозоном Хиггса, существование которого было предсказано почти за полвека до открытия. Так же были обнаружены гравитационные волны, существование которых следовало из общей теории относительности и было окончательно подтверждено лишь в 2015 году.

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

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

Хорошей иллюстрацией служит история алхимии. На протяжении многих столетий попытки превратить свинец в золото казались вполне разумной научной задачей. Алхимики исходили из того, что металлы отличаются некоторыми внутренними качествами вещества, которые можно изменить с помощью особых реакций. Современная физика показала, что сама постановка задачи была ошибочной. Химические реакции действительно способны радикально менять свойства вещества, но они не изменяют число протонов в атомном ядре, а именно оно определяет химический элемент. Поэтому химическим путем получить золото из свинца невозможно. Ядерные реакции действительно позволяют превращать одни элементы в другие, однако стоимость такой трансмутации во много миллионов раз превышает стоимость самого золота. Таким образом, проблема оказалась не технической, а концептуальной: искомый путь просто не существует в рамках химии.

Именно такие результаты получили название no-go теорем, или теорем невозможности. Их значение трудно переоценить. Они не просто отвечают на очередной научный вопрос. Они навсегда исключают из рассмотрения целые классы гипотез, избавляя будущих исследователей от бесплодных поисков. В некотором смысле no-go теоремы играют ту же роль, что и правила в игре. Пока человек не знает правил шахмат, он может бесконечно искать способ провести ладью по диагонали. Узнав правила, он сразу понимает, что подобные поиски лишены смысла. Современная наука постепенно открывает аналогичные правила для самой природы, и именно поэтому список доказанных невозможностей растет сегодня едва ли не быстрее списка новых открытий.

Чёрный список невозможного: Физика и космология

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

Физика и космология

Гипотеза: «Может существовать способ передачи информации быстрее света»

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

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

Особенно показательна история квантовой запутанности. После экспериментов с запутанными фотонами многие журналисты, а за ними и популяризаторы науки объявили, что Эйнштейн ошибался и информация наконец научилась путешествовать быстрее света. Заголовки кричали о «телепортации» и «мгновенной связи». Однако дальнейший анализ показал обратное. Корреляции между запутанными частицами действительно возникают мгновенно, но использовать их для передачи осмысленного сообщения невозможно. Измерение одной частицы даёт случайный результат, и получатель, глядя на свою частицу, не может узнать, какое сообщение хотел передать отправитель. Именно поэтому квантовая криптография работает — она использует фундаментальную случайность как защиту, — а сверхсветовой интернет не существует и существовать не может.

Интересно, что этот запрет не мешает современным технологиям, а наоборот, помогает их создавать. Система спутниковой навигации GPS ежедневно учитывает эффекты специальной и общей теории относительности. Без этих поправок ошибка определения координат увеличивалась бы примерно на десять километров в сутки. Ограничения, открытые фундаментальной физикой, давно стали частью повседневной инженерной практики. Мы не просто смирились с ними — мы научились извлекать из них практическую пользу, превращая фундаментальные «нельзя» в работающие приборы, которыми пользуется каждый владелец смартфона.

Вердикт: опровергнуто.

Гипотеза: «Существуют скрытые параметры, полностью определяющие поведение квантовых частиц»

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

Долгое время этот спор носил сугубо философский характер. Казалось, что эксперимент никогда не сможет отличить одну картину мира от другой. Обе теории — и квантовая механика с её вероятностями, и теория скрытых параметров — давали одинаковые предсказания для всех мыслимых измерений. Нильс Бор и Альберт Эйнштейн обменивались аргументами, но никто не видел способа поставить решающий эксперимент. Спор великих физиков рисковал навсегда остаться в области метафизики.

Ситуацию радикально изменил Джон Белл. В 1964 году он вывел математические неравенства, которым обязана удовлетворять любая теория с локальными скрытыми параметрами — то есть теория, где информация не передаётся быстрее света. Квантовая механика предсказывала нарушение этих неравенств. Впервые в истории спор перестал быть философией и превратился в экспериментальную задачу, допускающую прямую проверку в лаборатории. Это был момент огромной важности: выяснилось, что сама структура реальности может быть протестирована приборами.

За следующие десятилетия физики многократно проверяли предсказания Белла. Работы Алена Аспе, Антона Цайлингера и десятков других исследователей последовательно устраняли возможные лазейки — от недостаточной чувствительности детекторов до гипотетической связи между приборами. Итог оказался неожиданным даже для многих специалистов: локальная картина мира действительно несовместима с наблюдениями. Природа на самом фундаментальном уровне оказалась устроена иначе, чем предполагала классическая интуиция. Частицы не имеют заранее заданных свойств — свойства возникают лишь в момент измерения, и этот процесс неустранимо случаен.

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

Вердикт: опровергнуто для локальных теорий.

Гипотеза: «Достаточно построить более мощный телескоп, чтобы однажды увидеть всю Вселенную»

Каждое поколение телескопов отодвигало границы наблюдаемого космоса все дальше. Галилей увидел спутники Юпитера. Гершель разглядел структуру Млечного Пути. Хаббл обнаружил другие галактики и их разбегание. Космический телескоп «Хаббл» позволил увидеть галактики, существовавшие спустя менее миллиарда лет после Большого взрыва. Телескоп James Webb заглянул еще глубже в прошлое, к эпохе формирования первых звёзд. Кажется естественным предположить, что следующий инструмент приблизит нас к полной картине Вселенной — что инженерный прогресс рано или поздно позволит составить исчерпывающий каталог всего сущего.

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

Это ограничение особенно необычно тем, что оно не связано с несовершенством техники. Можно вообразить телескоп любого размера и любой чувствительности — размером с Солнечную систему, с детекторами, регистрирующими единичные фотоны, — но он все равно не сможет зарегистрировать свет, которому сама структура пространства-времени запрещает достичь наблюдателя. Часть мироздания фундаментально, окончательно и бесповоротно скрыта от нас. И с каждым годом ускоренного расширения эта скрытая часть становится всё больше. Мы живём внутри горизонта, за который нельзя выглянуть не потому, что у нас слабые глаза, а потому, что пространство-время имеет определённую геометрию, и эта геометрия не допускает всезнания.

Вердикт: опровергнуто.

Гипотеза: «Когда компьютеры станут достаточно мощными, можно будет точно предсказывать погоду на месяцы и годы вперед»

Еще несколько десятилетий назад неточные прогнозы погоды объясняли главным образом недостатком наблюдений и вычислительной мощности. Логика была простая: атмосфера подчиняется уравнениям гидродинамики, уравнения известны, остаётся лишь измерить начальное состояние с хорошей точностью и обсчитать его на мощном компьютере. Если сегодня прогноз на неделю хромает — дайте больше данных и более мощный процессор, и через десять лет будем предсказывать погоду на год вперёд. Эта идея казалась настолько очевидной, что в середине XX века метеорологи всерьёз обсуждали создание глобальной системы управления климатом.

Сегодня ситуация изменилась радикально. Атмосферу непрерывно отслеживают тысячи метеостанций, спутников, радиозондов, самолетов и океанических буев, а расчеты выполняют суперкомпьютеры, способные производить квадриллионы операций в секунду. Объём данных и вычислительная мощь выросли на порядки по сравнению с 1960-ми. Тем не менее прогноз на три недели всё ещё остаётся ненадёжным, а прогноз на месяц — практически невозможным.

Причина заключается в хаотическом характере атмосферных процессов. Атмосфера представляет собой классическую хаотическую систему, в которой ничтожная ошибка в определении начального состояния со временем многократно усиливается. Именно этот эффект Эдвард Лоренц сделал знаменитым под названием «эффект бабочки»: взмах крыла бабочки в Бразилии может через две недели вызвать торнадо в Техасе. Даже если удастся уменьшить погрешность измерений в тысячу раз, через достаточно продолжительное время она снова вырастет до масштабов, полностью меняющих прогноз. Экспоненциальный рост ошибки — это математическое свойство системы, а не следствие несовершенства приборов.

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

Вердикт: опровергнуто.

Гипотеза: «Можно получить абсолютно чистое измерение»

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

На практике этого не происходит, и современная физика объясняет, почему достижение абсолютной точности невозможно в принципе. Любое измерение сопровождается шумом, а при переходе к атомным и субатомным масштабам начинают проявляться фундаментальные квантовые ограничения. Принцип неопределённости Гейзенберга утверждает, что существуют пары величин, которые невозможно измерить одновременно с произвольной точностью. Чем точнее мы определяем координату частицы, тем неопределённее становится её импульс — и это не дефект измерительного прибора, а свойство самой природы.

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

Именно поэтому в современной науке практически не существует понятия «точное значение». Любой экспериментальный результат сопровождается оценкой погрешности и доверительного интервала. Это не признак несовершенства экспериментальной техники, а отражение фундаментальных ограничений, с которыми сталкивается любое измерение. Мы никогда не узнаем «истинную» массу электрона с бесконечным числом знаков после запятой — и дело не в слабости наших инструментов, а в том, что само понятие «бесконечно точного измерения» противоречит квантовой природе мира.

Вердикт: опровергнуто.

Гипотеза: «Можно создать материал, который вообще невозможно разрушить»

Каждый раз, когда появляется новый сверхпрочный материал, возникают разговоры о «неразрушимом» будущем. Так происходило со сталью, титаном, углеродными волокнами, графеном, углеродными нанотрубками и другими современными материалами. Кажется, что достаточно открыть еще более прочную кристаллическую структуру — и проблема разрушения будет окончательно решена. Интуиция подсказывает: прочность химических связей можно увеличивать, дефекты устранять, пока не получится идеальный материал.

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

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

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

Вердикт: опровергнуто.

Математика и информатика

Гипотеза: «Можно написать программу, которая заранее определит, завершится ли любая другая программа»

Для неспециалиста это утверждение выглядит странно и даже контринтуитивно. Кажется совершенно естественным написать достаточно умную программу-анализатор, которая изучает чужой код и заранее отвечает: «эта программа когда-нибудь остановится», «эта будет работать бесконечно». Современные компиляторы умеют находить синтаксические ошибки, статические анализаторы выявляют подозрительные места в коде — почему бы не сделать следующий шаг и не создать универсальный детектор зависаний? Многие программисты интуитивно чувствуют, что такая задача разрешима, нужно лишь достаточно сложное и умное программное обеспечение.

Именно такую задачу поставил перед собой Алан Тьюринг в 1936 году. Ему было двадцать четыре года. Он размышлял о природе вычислений и пытался формализовать само понятие алгоритма. Проблема остановки возникла как побочный вопрос — но ответ на неё оказался одним из самых глубоких результатов в истории математики.

Доказательство Тьюринга считается одним из красивейших в математике XX века. Он предположил, что универсальный анализатор существует, а затем предложил ему проанализировать специально сконструированную программу. Эта программа была написана так, чтобы вести себя противоположно предсказанию анализатора. Если анализатор обещает остановку, программа специально зацикливается. Если анализатор предсказывает бесконечную работу, программа немедленно завершается. Возникает неразрешимое логическое противоречие: анализатор не может выдать правильный ответ, потому что сам факт предсказания меняет поведение анализируемой программы. Именно возможность подобных самоссылок — когда программа анализирует другую программу, которая знает о факте анализа и действует вопреки его результату — делает задачу принципиально нерешаемой.

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

Сегодня это доказательство лежит в основе всей теоретической информатики. Оно объясняет, почему невозможно создать универсальный антивирус, который гарантированно обнаруживает любой вредоносный код. Почему невозможен универсальный оптимизатор программ, который доводит любой алгоритм до идеальной эффективности. Почему невозможен идеальный автоматический отладчик, который для любой программы находит все ошибки. Все реальные системы анализа программ — от компиляторов до верификаторов формальных доказательств — неизбежно работают лишь для ограниченных классов задач. Они используют эвристики, приближения, частичные решения. И это не временное положение дел, которое исправит прогресс. Это фундаментальное свойство вычислимой вселенной.

Вердикт: опровергнуто.

Гипотеза: «Существует полная и непротиворечивая система аксиом, из которой можно вывести все математические истины»

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

Эта программа выглядела вполне реалистичной для своего времени. К тому моменту удалось успешно аксиоматизировать геометрию, быстро развивалась математическая логика, создавались всё более строгие основания анализа. Аксиоматика Пеано описывала натуральные числа. Аксиоматика Цермело-Френкеля формализовала теорию множеств. Логицисты — Расселл, Уайтхед и их последователи — пытались свести всю математику к логике. Многие ожидали, что через несколько десятилетий математика станет почти завершённой системой, где любая задача имеет решение, а любое утверждение может быть либо доказано, либо опровергнуто.

В 1931 году двадцатипятилетний австрийский математик Курт Гёдель опубликовал работу, которая навсегда похоронила эту мечту. Его знаменитые теоремы о неполноте утверждают поразительную вещь: всякая достаточно мощная формальная система, способная описывать обычную арифметику целых чисел, сталкивается с неизбежным и трагическим выбором. Либо она содержит противоречия — и тогда в ней можно доказать что угодно, включая ложные утверждения. Либо она непротиворечива — но тогда в ней обязательно существуют истинные утверждения, которые невозможно доказать средствами самой этой системы. Третьего не дано.

Идея кажется почти невероятной. Представьте энциклопедию, которая обещает ответить на любой вопрос о целых числах. Вы задаёте вопрос: «Верно ли утверждение А?» Энциклопедия некоторое время работает и отвечает: «Да, А истинно». Вы задаёте другой вопрос. Энциклопедия снова отвечает. Кажется, что если энциклопедия устроена правильно, она рано или поздно ответит на любой корректно сформулированный вопрос. Гёдель доказал, что такой энциклопедии существовать не может. Какими бы совершенными ни были правила вывода, всегда найдутся утверждения, для которых внутри этих правил нельзя получить окончательный ответ. Они истинны, но недоказуемы — и это не временный пробел в знаниях, а неизбежное свойство любой достаточно богатой формальной системы.

Метод, которым Гёдель доказал свою теорему, столь же поразителен, как и сам результат. Он построил утверждение, которое, грубо говоря, заявляет: «Я недоказуемо в этой системе». Если бы это утверждение было ложным, то оно было бы доказуемо — и система доказала бы ложное утверждение, то есть оказалась бы противоречивой. Если же утверждение истинно, то оно действительно недоказуемо — и перед нами пример истинного, но недоказуемого утверждения. Это самоссылающееся построение — математический аналог парадокса лжеца «Это утверждение ложно» — но в отличие от парадокса, конструкция Гёделя логически безупречна.

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

Влияние этой идеи давно вышло далеко за пределы математики. Теоремы Гёделя обсуждают философы, биологи, физики, специалисты по искусственному интеллекту. Они стали одной из важнейших интеллектуальных вех XX века, заставив иначе взглянуть на пределы формальных методов вообще. Если даже арифметику нельзя полностью формализовать — что говорить о более сложных областях знания?

Вердикт: опровергнуто.

Гипотеза: «Можно построить вычислительную машину, превосходящую машину Тьюринга»

После появления электронных компьютеров многим казалось, что ограничения вычислений носят исключительно технический характер. Достаточно увеличить скорость процессоров, нарастить объём памяти, придумать новую архитектуру — и любые задачи окажутся решаемыми. Каждое новое поколение компьютеров действительно решало задачи, немыслимые для предыдущего. Если тенденция сохранится, рассуждали оптимисты, то в пределе мы получим машину, способную вычислить что угодно.

Особенно бурно подобные идеи обсуждались после появления квантовых компьютеров. В популярной литературе до сих пор можно встретить утверждения, будто квантовый компьютер способен «вычислить всё», перебирая все возможные варианты одновременно благодаря суперпозиции. Журналисты любят писать, что квантовый компьютер «думает во всех параллельных вселенных сразу» и поэтому для него нет нерешаемых задач.

Это глубочайшее заблуждение. Квантовые компьютеры действительно способны радикально ускорить решение некоторых специальных классов задач. Алгоритм Шора позволяет эффективно разлагать большие числа на множители — задача, которая угрожает современной криптографии. Алгоритм Гровера ускоряет поиск в неструктурированных базах данных. Существуют квантовые алгоритмы для моделирования квантовых систем, что важно для химии и материаловедения. Но ни один известный квантовый алгоритм не отменяет проблему остановки Тьюринга и не делает вычислимыми функции, которые принципиально невычислимы на классической машине Тьюринга. Квантовый компьютер мощнее классического для некоторых задач — но он не всесилен.

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

Сегодня большинство специалистов по теории вычислений и квантовой гравитации придерживается так называемого тезиса Чёрча-Тьюринга в его физической формулировке. Он гласит: все процессы, которые физически реализуемы в нашей Вселенной, могут быть смоделированы вычислениями машины Тьюринга — возможно, с потерей эффективности, но без принципиального расширения класса вычислимых функций. Это не доказанная математическая теорема — это чрезвычайно хорошо подтверждённая научная гипотеза, основанная на всём массиве знаний о фундаментальной физике. За десятилетия интенсивных поисков не найдено ни одного надёжного физического процесса, который нарушал бы этот принцип. Все реально существующие вычислительные устройства — от механического арифмометра до квантового процессора — тьюринг-эквивалентны. И хотя нельзя исключить, что будущая теория квантовой гравитации откроет лазейку, ставки на такой исход с каждым годом становятся всё ниже.

Вердикт: опровергнуто.

Гипотеза: «Можно построить распределенную компьютерную систему, которая одновременно всегда доступна, всегда согласована и устойчива к любым сетевым сбоям»

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

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

Оказалось, что это невозможно. В 2000 году Эрик Брюэр сформулировал знаменитую CAP-теорему, которая затем была строго доказана. Она утверждает: в распределённой системе, где возможны разрывы связи между узлами, нельзя одновременно гарантировать три свойства: согласованность данных (Consistency), доступность сервиса (Availability) и устойчивость к разделению сети (Partition tolerance). Можно выбрать только два из трёх.

Этот результат быстро перестал быть академической теоремой и превратился в суровую инженерскую реальность. Банковские системы обычно выбирают согласованность и устойчивость к разделению, жертвуя доступностью — проще временно приостановить операции, чем допустить расхождение балансов. Крупные интернет-сервисы, наоборот, выбирают доступность и устойчивость, допуская кратковременные расхождения данных — лучше показать немного устаревшую ленту новостей, чем сообщение об ошибке. Архитектура современных блокчейнов тоже во многом определяется этим ограничением — разные сети выбирают разные компромиссы между скоростью, децентрализацией и безопасностью.

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

Вердикт: опровергнуто.

Гипотеза: «Можно создать искусственный интеллект, который будет безошибочно отвечать на любой вопрос»

Появление больших языковых моделей — GPT, Claude, Gemini и их аналогов — породило в обществе новую волну технооптимизма. Миллионы людей впервые столкнулись с системами, способными поддержать осмысленный разговор, написать код, перевести текст, объяснить сложную концепцию. Немедленно возникло ожидание, что дальнейший рост вычислительной мощности и объёма обучающих данных постепенно приведёт к созданию системы, которая перестанет ошибаться вовсе. Казалось, что достаточно сделать нейронную сеть ещё больше, показать ей ещё больше текстов — и проблема будет решена окончательно.

Однако современная теория вычислений говорит о другом. Чтобы гарантировать правильность ответа на любой произвольный вопрос, система должна была бы заранее определять корректность собственных рассуждений, безошибочно анализировать произвольные алгоритмы и распознавать все возможные логические противоречия в собственных выводах. Именно здесь она неизбежно сталкивается с фундаментальными ограничениями, известными со времён Тьюринга, Райса и Гёделя.

Проблема остановки Тьюринга запрещает универсальный анализ произвольных программ. Теорема Райса утверждает, что любое нетривиальное свойство программы алгоритмически неразрешимо. Теоремы Гёделя о неполноте показывают, что в любой достаточно богатой формальной системе есть истинные, но недоказуемые утверждения. Эти ограничения не являются техническими — они математически строги. Не существует алгоритма, который для произвольного утверждения и произвольной системы аксиом всегда определяет, истинно ли это утверждение, и никогда не ошибается.

Это не означает, что искусственный интеллект перестанет совершенствоваться. Напротив, его ответы будут становиться всё точнее в конкретных областях знаний. Уже сегодня языковые модели превосходят среднего человека в ответах на экзаменационные вопросы по множеству дисциплин. Они будут продолжать улучшаться. Но универсальная система, которая *никогда* не ошибается и *всегда* знает, что права, противоречит фундаментальным ограничениям вычислимости и формальной логики. Всякая достаточно сложная система, способная рассуждать о себе и своих выводах, либо иногда ошибается, либо иногда не может прийти к определённому выводу. В этом смысле современные языковые модели с их склонностью к галлюцинациям и ошибкам оказались не досадным исключением из классических теорем XX века, а их неожиданным практическим подтверждением.

Вердикт: опровергнуто.

Гипотеза: «Можно создать идеальную систему голосования»

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

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

Первое: если все избиратели предпочитают кандидата А кандидату B, то общество в целом тоже должно предпочесть А. Второе: предпочтение между А и B не должно зависеть от появления в бюллетене третьего кандидата С. Третье: не должно существовать «диктатора» — человека, чьё индивидуальное предпочтение автоматически становится общественным решением независимо от мнения остальных. Четвёртое: система должна работать для любого возможного распределения голосов.

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

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

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

Именно поэтому разные страны используют разные избирательные системы: мажоритарную в англоязычных странах, пропорциональную в большинстве европейских государств, смешанные варианты в Германии и Новой Зеландии. Все они представляют собой различные компромиссы между несовместимыми требованиями. Теорема Эрроу не говорит, что демократия невозможна. Она говорит, что невозможно одновременно получить все свойства, которые мы интуитивно считаем желательными. Любая реальная демократия — это не идеал, а осознанный выбор между противоречащими друг другу ценностями.

Любопытно, что похожие ограничения встречаются далеко за пределами политологии. В экономике невозможно одновременно добиться максимального роста, минимальной инфляции и полной занятости без компромиссов — это называют «магическим треугольником» экономической политики. В инженерии невозможно сделать материал одновременно самым лёгким, самым прочным и самым дешёвым — классическая трилемма проектирования. По мере развития науки становится всё яснее: искусство проектирования любых сложных систем почти всегда заключается не в устранении ограничений, а в выборе наиболее удачного компромисса между несовместимыми требованиями. Теорема Эрроу — лишь одно из самых элегантных доказательств этого универсального принципа.

Вердикт: опровергнуто.

Биология и медицина

Гипотеза: «Антибиотики позволят окончательно победить бактериальные инфекции»

Когда в середине XX века антибиотики начали массово применяться в клинической практике и спасать миллионы жизней, многим врачам и учёным казалось, что человечество стоит на пороге окончательной победы над бактериальными заболеваниями. Пенициллин, открытый Флемингом в 1928 году и запущенный в массовое производство к концу Второй мировой войны, творил чудеса. Инфекции, которые веками считались смертным приговором, излечивались за несколько дней. Хирургические операции перестали быть смертельной лотереей. Послеродовой сепсис, уносивший жизни сотен тысяч женщин, стал излечимым. Некоторые инфекционные болезни действительно отступили настолько быстро и решительно, что оптимизм казался вполне оправданным. В 1967 году главный хирург США Уильям Стюарт даже заявил, что пришло время «закрыть книгу инфекционных болезней».

Однако бактерии оказались не просто пассивным объектом лечения, а активным участником эволюционной гонки. Они обладают теми же свойствами, которые сделали возможной всю биологическую эволюцию на планете: огромной численностью популяций, коротким временем смены поколений и способностью к генетическим изменениям. В любой, даже самой большой колонии бактерий постоянно возникают случайные мутации. Большинство из них бесполезны или вредны для самой бактерии. Но если мутация случайно даёт устойчивость к антибиотику, она становится бесценным преимуществом. Когда антибиотик уничтожает чувствительные бактерии, устойчивые мутанты выживают. Они размножаются. Их потомство наследует защитную мутацию. Чем шире применяется препарат, тем сильнее давление отбора в пользу устойчивости.

Этот процесс — не теоретическая модель, а задокументированная реальность, разворачивающаяся в масштабе реального времени. Первые устойчивые к пенициллину штаммы стафилококка были обнаружены уже в конце 1940-х годов. Сегодня существуют штаммы, устойчивые не к одному, а к нескольким группам антибиотиков одновременно — так называемые полирезистентные микроорганизмы. Всемирная организация здравоохранения называет устойчивость к антибиотикам одной из десяти главных угроз глобальному здравоохранению. По некоторым оценкам, к 2050 году смертность от инфекций, вызванных устойчивыми бактериями, может превысить смертность от онкологических заболеваний.

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

Вердикт: опровергнуто.

Гипотеза: «Можно создать организм, одинаково хорошо приспособленный ко всем условиям среды»

На протяжении долгого времени эволюцию нередко представляли как непрерывное движение к совершенству. Казалось естественным ожидать, что естественный отбор будет постепенно создавать организмы, превосходящие своих предшественников по всем параметрам сразу. Если одни виды выживают, а другие вымирают, рассуждали ранние эволюционисты, то выжившие должны быть во всех отношениях совершеннее вымерших. Эта идея глубоко укоренилась в массовом сознании — достаточно вспомнить популярные изображения «лестницы эволюции», где человек венчает пирамиду всё более совершенных существ.

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

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

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

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

Подобные компромиссы настолько универсальны, что стали одним из центральных принципов эволюционной биологии. Природа не создаёт универсальных победителей. Она создаёт решения, оптимизированные для конкретной среды и конкретного набора ограничений. Идеально приспособленный ко всему организм оказался столь же недостижимым, как вечный двигатель или абсолютная справедливость в теореме Эрроу. Эволюция — это не восхождение по лестнице совершенства, а бесконечное балансирование между противоречивыми требованиями среды, и в этом балансировании каждый выигрыш в одном означает проигрыш в другом.

Вердикт: опровергнуто.

Гипотеза: «Можно полностью исключить ошибки при копировании генетической информации»

Каждая клетка человеческого организма постоянно копирует свою ДНК. При каждом делении необходимо воспроизвести более трёх миллиардов пар нуклеотидов — генетических букв, из которых состоит инструкция по сборке и эксплуатации человеческого тела. На первый взгляд кажется, что эволюция должна была давно создать механизм, полностью устраняющий любые ошибки копирования. Ставки слишком высоки: одна мутация в неправильном месте может вызвать рак или наследственное заболевание. Почему же естественный отбор не устранил саму возможность ошибок?

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

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

Парадоксально, но именно эта неизбежная изменчивость сделала возможной саму эволюцию. Если бы копирование наследственной информации происходило абсолютно безошибочно, новые наследственные варианты практически не возникали бы, а естественный отбор лишился бы материала для своей работы. Жизнь застыла бы на уровне первых репликаторов и никогда не породила бы того головокружительного разнообразия форм, которое мы наблюдаем сегодня. Получается, что несовершенство механизма копирования является не случайным недостатком живой природы, не досадной инженерной ошибкой, а необходимым условием её многомиллиардолетнего развития. Эволюция не терпит ни абсолютной точности, ни абсолютной хаотичности — она процветает где-то посередине, в тонком балансе между сохранением достигнутого и возможностью изменений.

Вердикт: опровергнуто.

Гипотеза: «Можно изменить один ген и изменить только один признак организма»

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

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

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

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

Чем глубже развивается генетика, тем яснее становится, что принцип «один ген — одно свойство» оказался удобной, педагогически полезной, но в корне неверной моделью. Геном — это не набор независимых переключателей, а сложнейшая регуляторная сеть, где всё связано со всем. И в этой сети точечное вмешательство редко остаётся точечным по своим последствиям.

Вердикт: опровергнуто.

Гипотеза: «Редактирование ДНК позволит произвольно конструировать любые признаки организма»

После появления технологии CRISPR-Cas9, за которую Дженнифер Дудна и Эммануэль Шарпантье получили Нобелевскую премию по химии в 2020 году, в публичном пространстве зазвучали чрезвычайно смелые прогнозы. Казалось, что человечество вплотную приблизилось к эпохе «дизайнерских организмов». Научившись изменять отдельные участки ДНК с беспрецедентной точностью и дешевизной, учёные, как предполагалось, смогут постепенно создавать организмы с любыми заранее заданными свойствами: сельскохозяйственные культуры с удвоенной урожайностью, животных с улучшенными характеристиками, а в перспективе — и людей с повышенным интеллектом, идеальным здоровьем, выдающейся физической силой или устойчивостью ко всем известным заболеваниям.

Однако первые же годы широкого применения CRISPR показали, что проблема значительно сложнее, чем представлялось на старте. Большинство важных признаков человека и других сложных организмов не определяется одним или несколькими генами. Рост, память, предрасположенность к диабету, сердечно-сосудистым заболеваниям, интеллектуальные способности, эмоциональная устойчивость — всё это зависит от взаимодействия тысяч участков генома, условий внутриутробного развития, факторов среды, питания, социального окружения и множества случайных событий. Изменение одного гена нередко влияет сразу на десятки процессов, многие из которых заранее невозможно полностью предсказать даже с использованием самых мощных компьютеров и баз геномных данных.

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

Сегодня CRISPR успешно используется для лечения некоторых наследственных заболеваний, вызванных мутацией одного конкретного гена — серповидноклеточной анемии, бета-талассемии, некоторых форм врождённой слепоты. Это огромное достижение, которое уже меняет жизни реальных пациентов. Но сама идея произвольного «проектирования» сложных организмов с заданным набором желаемых свойств оказалась значительно дальше от реальности, чем представлялось десять лет назад. Чем больше биологи узнают о работе генома, тем меньше он напоминает набор независимых деталей конструктора и тем больше — сложнейшую вычислительную сеть, где каждое изменение может иметь каскадные и неожиданные последствия.

Вердикт: опровергнуто.

Гипотеза: «Можно создать организм, полностью защищенный от всех вирусов»

После каждой крупной эпидемии — будь то ВИЧ, атипичная пневмония, свиной грипп или COVID-19 — возникает надежда, что наука сможет найти универсальный способ сделать человека полностью невосприимчивым к вирусным инфекциям. Если иммунная система способна распознавать и уничтожать патогены, то почему бы не «натренировать» её на всё сразу, создать своего рода универсальную вакцину или универсальное противовирусное средство?

Современная иммунология показывает, что подобная защита противоречит самому фундаментальному устройству иммунной системы. Иммунитет постоянно балансирует между двумя противоположными и одинаково опасными крайностями. Если сделать его максимально агрессивным, он начнёт атаковать собственные ткани организма — возникнут аутоиммунные заболевания вроде ревматоидного артрита, системной красной волчанки или рассеянного склероза. Если же ослабить механизмы самоконтроля, чтобы иммунитет распознавал вообще всё чужеродное, он будет реагировать на безвредные вещества — пыльцу, пищевые продукты, собственную микрофлору кишечника, — вызывая тяжёлые аллергии и хроническое воспаление.

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

Вирусы, со своей стороны, эволюционируют вместе с иммунной системой хозяев. У них есть собственное эволюционное преимущество: невероятная скорость размножения и мутагенеза. Пока иммунная система учится распознавать один вариант вируса, появляются новые варианты с изменёнными поверхностными белками. Грипп мутирует так быстро, что вакцину приходится обновлять каждый год. ВИЧ мутирует внутри одного организма быстрее, чем иммунная система успевает выработать эффективный ответ.

Поэтому универсальная невосприимчивость ко всем вирусам — это не просто технически трудная, а принципиально противоречивая задача. Любое усиление иммунного ответа имеет свою цену в виде повышенного риска аутоиммунных заболеваний или хронического воспаления. Любая защита от одних патогенов оставляет брешь для других. Современная медицина научилась эффективно предотвращать многие вирусные заболевания с помощью вакцинации, и это одно из величайших достижений человечества. Однако мечта об абсолютной, универсальной защите от всех существующих и будущих вирусов остаётся недостижимой не из-за недостатка технологий, а из-за фундаментального компромисса, на котором построена сама иммунная система позвоночных.

Вердикт: опровергнуто.

Почему список «нельзя» растёт быстрее

Это не упадок, а симптом зрелости. Ранняя наука исследовала территорию, нанося на карту отдельные горы и реки — «здесь есть кислород», «здесь радиоактивность», «вот бактерия». Когда карта становится подробной, всё чаще открытия принимают форму уточнения границ: «это озеро не бесконечно», «этот горный хребет непроходим».

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

Так появляются целые созвездия no-go теорем — утверждений, которые не предсказывают новые явления, а строго доказывают невозможность определённых гипотетических конструкций. В физике элементарных частиц CPT-теорема, доказанная Людерсом и Паули в 1954 году, утверждает: нельзя нарушить фундаментальную комбинацию зарядового, пространственного и временного сопряжений в любой локальной квантовой теории поля, подчиняющейся специальной теории относительности. Это означает, что масса частицы всегда в точности равна массе её античастицы, а магнитные моменты частицы и античастицы равны по величине и противоположны по знаку. Никакой эксперимент никогда не обнаружит нарушения CPT-симметрии — если, конечно, не рухнет всё здание современной физики.

Теорема Коулмена — Мандулы, доказанная в 1967 году, наложила жёсткие ограничения на возможные объединения фундаментальных взаимодействий. Она утверждает: нельзя нетривиально объединить пространственно-временные симметрии и внутренние симметрии в рамках обычной квантовой теории поля. Единственный способ обойти этот запрет — ввести суперсимметрию, гипотетическую симметрию между бозонами и фермионами, которая до сих пор не подтверждена экспериментально. Теорема Коулмена — Мандулы сузила поле поисков единой теории поля, показав, что большинство наивных подходов обречены на провал.

В информатике FLP-невозможность, доказанная Фишером, Линчем и Патерсоном в 1985 году, утверждает: нельзя построить асинхронную распределённую систему, гарантирующую достижение консенсуса за конечное время при сбое даже одного узла. Это не техническое ограничение, которое можно обойти более мощными процессорами или лучшими сетевыми протоколами. Это математическая теорема, и она справедлива для любой мыслимой распределённой системы. Блокчейны, облачные сервисы, системы распределённых баз данных — все они вынуждены жить с этим ограничением, находя компромиссы и обходные пути, но никогда не достигая абсолютной гарантии.

Мы не просто коллекционируем факты — мы коллекционируем законы, а каждый закон, по удачному выражению одного физика, это «запрет, возведённый в ранг принципа». Закон сохранения энергии — это запрет на создание энергии из ничего. Законы термодинамики — запрет на определённые тепловые процессы. Специальная теория относительности — запрет на сверхсветовые сигналы. Принцип Паули — запрет на нахождение двух фермионов в одинаковом квантовом состоянии. Калибровочная инвариантность — запрет на определённые формы взаимодействий. Вся физика, если вдуматься, представляет собой гигантскую сеть взаимосвязанных запретов — и именно эта сеть делает мир предсказуемым и познаваемым.

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

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

Почему «нельзя» ценнее чем «можно»

На первый взгляд кажется, что подтверждённая гипотеза — это всегда праздник, а доказанная невозможность — всегда похороны. Частица Хиггса открывает новые горизонты, а теорема Эрроу их закрывает. Гравитационные волны вдохновляют, а теорема о запрете клонирования разочаровывает. Но это глубоко ошибочный взгляд, основанный на непонимании того, как работает научный и технологический прогресс. С точки зрения долгосрочного технологического прогресса no-go теоремы обладают парадоксальным преимуществом: они не просто дают знание, они экономят время. Причём время, которое в противном случае было бы потрачено целыми поколениями исследователей — впустую.

Ресурс, который нельзя восполнить

Представьте себе, что теорема о невозможности вечного двигателя второго рода была бы не доказана. Сколько инженерных бюро, лабораторий, стартапов с венчурным финансированием десятилетиями бились бы над машиной, которая «всего лишь» сортирует молекулы и получает работу из тепла океана? Сколько патентных ведомств было бы завалено заявками на конструкции, которые нарушают второе начало термодинамики? Никто не знает точной цифры, но счёт пошёл бы на миллиарды долларов и тысячи человеко-карьер. No-go теорема сэкономила эти ресурсы — причём не один раз, не на десятилетие, а навсегда. Она сняла с повестки целый класс бессмысленных задач и позволила направить интеллектуальные и финансовые ресурсы на то, что действительно возможно.

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

Проблема остановки Тьюринга — ещё более яркий пример. До её доказательства многие математики и инженеры потратили бы десятилетия, пытаясь создать универсальный верификатор программ. Сегодня мы знаем, что эти попытки были бы обречены. Знание о неразрешимости проблемы остановки сэкономило компьютерной науке неисчислимые ресурсы и направило исследования в продуктивное русло: вместо поисков философского камня информатики учёные занялись разработкой частичных верификаторов, статических анализаторов, систем типов — инструментов, которые работают для ограниченных, но практически важных классов программ.

No-go теорема указатель - «копать здесь»

Каждая доказанная невозможность — это не просто запрет, это отрицательная подсказка огромной ценности. Она говорит учёным и инженерам: «То, что вы ищете, — не здесь. Не тратьте время. Но прямо рядом с этой границей, вплотную к ней, лежит то, что возможно — и что без знания о границе вы никогда бы не нашли».

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

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

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

Таким образом, подтверждённая гипотеза открывает одну дорогу — ту, которая подтвердилась. Доказанная невозможность открывает все дороги, которые пролегают вдоль возведённой стены. Это парадоксально, но факт: стена видна издалека, она становится ориентиром для навигации в пространстве идей. No-go теорема — это не тупик, а указатель на карте: «здесь фронтир, ищите рядом».

Фундамент, который не осыпается

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

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

С no-go теоремами такого не бывает. Они не опровергаются новыми экспериментами — они либо остаются верными в рамках своей области применимости, либо, в самом крайнем случае, их граница уточняется. Законы термодинамики никто не отменил — их дополнили пониманием флуктуаций в микросистемах, и оказалось, что второе начало работает и там, просто в вероятностном смысле. Специальная теория относительности не была отменена — её расширили до общей, но запрет на сверхсветовую передачу сигналов сохранился и в ней. Теорема Белла не была опровергнута — были закрыты последние экспериментальные лазейки, и она стала только твёрже.

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

Именно поэтому растущее число no-go теорем — это не повод для уныния, а признак взросления цивилизации. Мы перестаём тратить силы на погоню за химерами и начинаем возделывать сад в пределах познанных границ. А сад этот, как выясняется, гораздо больше, чем можно вообразить. Границы есть, но территория внутри них настолько обширна, что для её освоения потребуются столетия — и именно знание границ позволяет делать это освоение осмысленным и продуктивным.

Почему фантастам надо читать научные статьи

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

Будем откровенны: большинство идей, кочующих из романа в роман, из сценария в сценарий, были придуманы в период с 1930-х по 1960-е годы. Сверхсветовые звездолёты, телепатия, машины времени, параллельные миры, населённые злобными двойниками, андроиды, неотличимые от человека, галактические империи с феодальной структурой — весь этот золотой фонд был создан в эпоху, когда наука ещё не вынесла вердиктов по большинству таких гипотез. Азимов, Кларк, Хайнлайн, Саймак, Стругацкие — все они работали в пространстве открытых возможностей. Квантовая механика была ещё молода, космология только формировалась, генетика ещё не расшифровала структуру ДНК, а информатика не существовала как наука. В этом мире неопределённости фантасты могли предполагать что угодно — и их предположения были легитимны, потому что наука ещё не сказала своего слова.

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

Писатель-фантаст, который в 2020-х годах продолжает эксплуатировать сюжеты о путешествиях быстрее света без малейшей оглядки на причинность, или о телепатии как скрытой способности мозга, или о клонировании личности он просто жулик. Он жульничает с тегами. Он сочиняет в мире, которого никогда не существовало. Это всё равно что писать роман о морском путешествии, герои которого остерегаются свалиться за край плоской Земли - или о воздухоплавателях, пытающихся достичь Луны на воздушном шаре. Такие произведения возможны, они могут быть даже увлекательными, но они неизбежно воспринимаются как балаганная ретро-стилизация, а не как фантастика в собственном смысле слова.

Открытия, которые никто не заметил

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

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

Квантовый дарвинизм — гипотеза, разработанная Войцехом Зуреком, объясняющая, как из квантовой неопределённости возникает классическая реальность, которую мы воспринимаем. Согласно этой идее, информация о состоянии квантовой системы не просто измеряется наблюдателем — она многократно копируется, «размножается» в окружающей среде, как гены в популяции. Наблюдатели считывают уже эти многочисленные копии, а не оригинал. Вопрос для фантаста: что, если кто-то научится подменять копии? Что, если реальность, которую мы видим, — это не оригинал, а специально сфабрикованная версия?

Реконструкция квантовой механики — активно развивающееся направление, в котором уравнения Шрёдингера и другие постулаты квантовой теории не принимаются как данность, а выводятся из более фундаментальных информационных принципов. Вселенная в этой картине предстаёт как своего рода оптимальный вычислитель, подчиняющийся законам теории информации. Чем не сюжет о том, что законы физики — всего лишь программный код, патч, наложенный на более глубокую симуляцию? Или что фундаментальные константы — это параметры, которые кто-то подобрал?

Эмерджентное пространство-время — гипотеза, активно обсуждаемая в квантовой гравитации, о том, что гравитация и само пространство не фундаментальны, а возникают из квантовой запутанности между микроскопическими степенями свободы. Пространство-время как иллюзия, как эмерджентное свойство — что, если эта иллюзия начнёт «рваться» в местах с высокой концентрацией вычислений? Что, если можно манипулировать тканью реальности, меняя паттерны запутанности?

Теорема о запрете произвольного копирования в распределённых системах (FLP) — строгое математическое доказательство того, что в ненадёжной сети нельзя гарантированно прийти к консенсусу. Это не физика, это информатика — но какая социальная драма может развернуться вокруг общества, которое пытается построить абсолютно справедливую систему голосования на блокчейне и упирается в математический предел? Что, если политическая система рушится не из-за злого умысла, а из-за того, что идеальная координация математически невозможна?

Эпигенетическое наследование — растущее направление в биологии, показывающее, что некоторые приобретённые признаки могут передаваться следующим поколениям не через изменения в последовательности ДНК, а через химические модификации хроматина или через малые молекулы РНК. Это не ламаркизм в чистом виде, но и не классическая генетика. Что, если экологическая катастрофа меняет не только среду, но и саму наследственность выживших — причём не в результате отбора, а напрямую? Какое общество возникнет через поколение после такой катастрофы?

Чудо по правилам

Почему же свежие идеи не попадают на страницы книг? Есть в этом горькая историческая ирония. Научная фантастика «Золотого века» была плотью от плоти науки своего времени. Артур Кларк консультировал инженеров по радарам и участвовал в разработке спутниковой связи — его технические описания были точны, потому что он знал предмет изнутри. Айзек Азимов был профессиональным биохимиком и привносил в свои произведения понимание науки как процесса, а не как магического ящика с чудесами. Роберт Хайнлайн изучал инженерное дело в Аннаполисе и писал о космических кораблях с пониманием реальных технических ограничений. Фантастика и наука говорили на одном языке.

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

Но именно в преодолении этого барьера — главный вызов и главная возможность для нового поколения авторов. Перестать пережёвывать жвачку из «варп-двигателей» и телепатов, придуманных до космической эры. Пойти в библиотеку препринтов arXiv, найти свежую статью с заголовком, в котором понятно только слово «the», провести месяц с консультантом-физиком или биологом — и вытащить наружу новую метафору о человеке и мире. Метафору, которая будет резонировать с читателем, живущим в эпоху квантовых компьютеров и редактирования генома.

Награда будет грандиозной. Потому что читатель XXI века интуитивно чувствует фальшь. Он живёт в мире, где смартфон в кармане каждую секунду нарушает интуитивные представления о пространстве и времени с точки зрения человека 1920 года, — но варп-двигатель по-прежнему нарушает причинность с точки зрения Эйнштейна, и это не одно и то же. Первое ощущается как реальность, потому что оно реально. Второе — как усталый анахронизм, потому что оно противоречит не просто известным законам физики, а самой структуре научного знания. Читатель ждёт чуда, которое не противоречит новейшим запретам. Чуда, которое хитро играет по правилам — так же, как это делает сама природа.

No-go теоремы — это не тюрьма для фантазии. Это её новые правила игры. А мы знаем по всей истории культуры: расцвет формы всегда начинается там, где появляются строгие ограничения. Сонет с его четырнадцатью строками и фиксированной схемой рифмовки породил больше великих стихотворений, чем белый стих без ограничений. Фуга Баха подчиняется строжайшим математическим правилам контрапункта — и остаётся вершиной музыкального искусства. Хайку с его семнадцатью слогами создало целую вселенную смыслов. Фундаментальные запреты, доказанные наукой, — это сонет для научной фантастики XXI века. Это не стены, а форма. Дело за теми, кто наполнит её содержанием.

Вместо эпилога

Пессимизм торжествует? Нет.

Нас ожидает — торжество реализма. Когда мы тратим меньше ресурсов на поиски философского камня и всё больше — на те удивительные открытия, которые разрешены законами природы. Квантовый компьютер не нарушает no‑go теорем, он хитро играет по правилам квантовой механики, используя суперпозицию и запутанность там, где классический компьютер бессилен — но никогда не пытаясь вычислить невычислимое. Гравитационные волны не нарушили общую теорию относительности, они стали её высшим триумфом — предсказание, сделанное Эйнштейном за сто лет до того, как технология позволила его подтвердить.

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

А как заметил ещё Аристотель, мудрость состоит в том, чтобы познать не только то, что есть, но и то, чего быть не может. Прошло две с половиной тысячи лет — и мы наконец-то вплотную приблизились к этому идеалу. Мы знаем не только то, что существует, но и многое из того, что не может существовать никогда. И это знание делает нас не слабее, а сильнее.

Ибо только зная границы, можно уверенно двигаться внутри них — к новым, ещё не вообразимым вершинам.