Сейчас. Физика времени - [88]
Принцип неопределенности основан на том, что мы не можем наблюдать природные явления, не нарушая хода вещей. Это прямое следствие квантовой теории.
Таким было мое первое знакомство с принципом неопределенности Гейзенберга; когда Салливан писал свою книгу, этот принцип еще не получил современного названия. Фразу «не нарушая хода вещей» сегодня было бы точнее записать так: «…не вызвав коллапса волновой функции». Оказалось, наука не умеет предсказывать, а может только оценивать вероятности. Я был страшно разочарован.
В то время я, конечно, не понимал: меня тревожит, в сущности, то же самое, что в свое время беспокоило Эйнштейна. Он был не в состоянии примириться с концепцией неполноты физики, согласно которой эта наука не есть полное описание реальности, равно как и прошлое не полностью определяет будущее.
Пока Эйнштейн сражался с этими вопросами, тон в науке задавало еще одно недавнее событие, возможно, даже более удивительное, чем ограниченность физики. Эйнштейн знал, что все математические теории неполны. Этот факт открыл и доказал в 1931 году приятель Эйнштейна по Принстону Курт Гёдель[240].
Шок от Гёделя
Гёдель доказал математическую теорему, глубоко ранившую не только математиков и физиков, но также философов и специалистов по логике. Эта теорема не упоминается в книге Салливана от 1933 года – вероятно, потому что на тот момент она была еще новой и мало кто ее понимал. Или, может быть, мало кто в нее верил. А из тех, кто поверил, многие надеялись, что ее еще удастся опровергнуть либо обойти. Или, возможно, Салливан не считал математику наукой: в Европе ее часто рассматривают как своего рода свободное искусство, наряду с музыкой и философией. Прошло время, и теперь теорема Гёделя считается и захватывающе интересной, и необычайно важной; многие считают ее величайшим математическим достижением XX столетия.
Теорему Гёделя можно сформулировать обманчиво просто: все математические теории неполны. По существу это означает, что в любой придуманной вами математической системе будут присутствовать истины, доказать которые невозможно – мало того, их невозможно даже обозначить как истины.
Гёдель не доказал, что математика как таковая неполна; он доказал лишь, что любой набор определений, аксиом и теорем обязательно неполон. К примеру, существуют теоремы, которые невозможно доказать с использованием действительных чисел, – к примеру, возможность того, что число πe иррационально. (Здесь π – это отношение длины окружности к ее диаметру, а e – основание натурального логарифма.) Тем не менее если расширить числовую систему так, чтобы она включала также и мнимые числа, не исключено, что появится возможность доказать эту теорему. (На самом деле мы не знаем, иррационально число πe или нет; я привожу это утверждение только для того, чтобы проиллюстрировать результат Гёделя.) Но как только вы расширите свою математику, обязательно окажется, что есть еще одна теорема, которая верна, но недоказуема.
Еще один возможный пример – гипотеза, выдвинутая немецким математиком Кристианом Гольдбахом[241]; суть ее в том, что любое четное число можно записать в виде суммы двух простых целых чисел. Эта идея тоже пока не доказана, и не существует эмпирического способа определить, верна ли она. Возможно, она просто недоказуема средствами современной математики. (Если вы считаете, что можете осилить эту задачу, пожалуйста, пошлите свое доказательство какому-нибудь профессору математики, а не мне.) Но не исключено, что когда-нибудь – возможно, после будущего расширения математики – эту гипотезу удастся доказать или опровергнуть.
Причина, по которой вы не можете назвать определенные теоремы верными, но недоказуемыми, проста: если бы вы могли это сделать, это было бы доказательством их истинности. Многие теоремы могут быть опровергнуты одним-единственным контрпримером, но с теоремой Гёделя это не пройдет.
Поскольку современная физика пользуется математикой как одним из главных своих инструментов, всякая физическая теория обязательно неполна. Непременно существуют истинные утверждения, которые невозможно доказать или истинность которых невозможно продемонстрировать. Стивен Хокинг сокрушается по этому поводу, но утешается признанием того, что к любому неизвестному можно подступиться, разработав более полную теорию или добавив еще несколько постулатов или принципов. Из теоремы Гёделя следует, рассуждает он, что все существующие теории (и, он наверняка согласился бы, которые еще будут сформулированы) неполны. Он с иронией заключает, что у теоретиков всегда будет работа.
Теорема Гёделя заставляет задуматься о полноте физики – не какой-то конкретной теории, а науки как таковой. Или какие-то аспекты реальности, помимо тех, которые затрагивает принцип неопределенности, принципиально недоступны? Стоит об этом задуматься, и сразу же выясняется, что многие аспекты реальности не только не затронуты современной физикой, но, кажется, никогда не будут ею затронуты, как бы она ни продвинулась вперед. Очевидный пример можно найти в обычном вопросе о том, как что-то выглядит
Миром правят числа. Все чаще и чаще решения принимают не люди, а математические модели. В числах измеряется все – от наших успехов в образовании и работе и состояния нашего здоровья до состояния экономики и достижений политики. Но числа не так объективны, как может показаться. Кроме того, мы охотнее верим числам, подтверждающим наше мнение, и легко отбрасываем те результаты, которые идут вразрез с нашими убеждениями… Анализируя примеры обращения с численными данными в сферах здравоохранения, политики, социологии, в научных исследованиях, в коммерции и в других областях и проливая свет на ряд распространенных заблуждений, нидерландский журналист, специалист по числовой грамотности Санне Блау призывает мыслить критически и советует нам быть осмотрительнее, о чем бы ни шла речь – о повседневных цифрах, управляющих нашим благополучием, или о статистике, позволяющей тем, кто ее применяет, достичь огромной власти и влияния. «Числа влияют на то, что мы пьем, что едим, где работаем, сколько зарабатываем, где живем, с кем вступаем в брак, за кого голосуем, как решаем вопрос, брать ли ипотеку, как оплачиваем страховку.
В эпоху тотальной цифровизации сложно представить свою жизнь без интернета и умных устройств. Но даже люди, осторожно ведущие себя в реальном мире, часто недостаточно внимательно относятся к своей цифровой безопасности. Между тем с последствиями такой беспечности можно столкнуться в любой момент: злоумышленник может перехватить управление автомобилем, а телевизор – записывать разговоры зрителей, с помощью игрушек преступники могут похищать детей, а к видеокамерам можно подключиться и шпионить за владельцами.
Виктор Пронин пишет о героях, которые решают острые нравственные проблемы. В конфликтных ситуациях им приходится делать выбор между добром и злом, отстаивать свои убеждения или изменять им — тогда человек неизбежно теряет многое.
О чем это? • о ключевых словах современной науки; • о самых страшных экспериментах; • о сущности цивилизации. «Любому человеку нужен просто разговор – о важном, научном. Это задача научных журналистов. И один из самых ярких, самых ясных, самых ответственных – Григорий Тарасевич». Александр Архангельский, телеведущий, писатель, профессор Высшей школы экономики «…Книга вызывает множество противоречивых чувств: с рядом моментов хочется спорить, от большинства историй смеялась в голос, а от некоторых глав становилось безумно грустно».
История машинного обучения, от теоретических исследований 50-х годов до наших дней, в изложении ведущего мирового специалиста по изучению нейросетей и искусственного интеллекта Терренса Сейновски. Автор рассказывает обо всех ключевых исследованиях и событиях, повлиявших на развитие этой технологии, начиная с первых конгрессов, посвященных искусственному разуму, и заканчивая глубоким обучением и возможностями, которые оно предоставляет разработчикам ИИ. В формате PDF A4 сохранен издательский макет.
Что значат для демократии добровольные общественные объединения? Этот вопрос стал предметом оживленных дискуссий после краха государственного социализма и постепенного отказа от западной модели государства всеобщего благосостояния, – дискуссий, сфокусированных вокруг понятия «гражданское общество». Ответ может дать обращение к прошлому, а именно – к «золотому веку» общественных объединений между Просвещением и Первой мировой войной. Политические теоретики от Алексиса де Токвиля до Макса Вебера, равно как и не столь известные практики от Бостона до Санкт-Петербурга, полагали, что общество без добровольных объединений неминуемо скатится к деспотизму.