Утверждения, подобные созданным Гёделем, истинные, но недоказуемые, могут показаться с математической точки зрения несколько эзотерическими. Не может же быть так, чтобы действительно интересные утверждения о свойствах чисел – гипотеза Римана, гипотеза Гольдбаха, гипотеза PORC – были недоказуемы? Надежда на то, что доказательству не подлежат лишь хитроумные утверждения Гёделя, оказалась ложной. В 1977 г. математики Джефф Пэрис и Лео Харрингтон предъявили вполне настоящее математическое утверждение о свойствах чисел и сумели показать, что оно истинно, но недоказуемо в рамках классической аксиоматики теории чисел. Но в следующей части этой главы мы увидим, что, пытаясь справиться с идеей бесконечности, математики открыли не только недоказуемость некоторых утверждений, но и невозможность определить, истинны они или ложны.
Анекдот
Если вы прочитали «Рубеж третий» и эту главу, вы должны быть готовы к восприятию еще одного анекдота из моих парадоксальных рождественских хлопушек. Единственное, что вам еще нужно знать, – это что американский лингвист и философ Ноам Хомский проводит различие между языковой способностью (лингвистическими знаниями, которыми обладает культура) и языковым поведением (тем, как язык используется в общении). Так вот, анекдот:
Гейзенберг, Гёдель и Хомский заходят в бар. Гейзенберг оглядывает бар и говорит: «Раз нас трое и раз мы в баре, значит, это анекдот. Вопрос только в том, смешной это анекдот или нет». Гёдель, немного подумав, говорит: «Ну, поскольку мы находимся внутри анекдота, мы не можем сказать, смешной ли он. Для этого нам надо посмотреть на него извне». Хомский смотрит на них обоих и говорит: «Конечно, он смешной. Вы просто неправильно его рассказываете».
14
Меня ужасает вечное безмолвие этих бесконечных пространств!
Блез Паскаль. Мысли[119]
Как мы выяснили на четвертом «рубеже», в физической Вселенной, в которой мы живем, есть пределы, дальше которых мы не можем видеть, за которыми мы ничего не можем исследовать. Однако я посвятил всю свою жизнь исследованию не физической Вселенной, а доступной лишь разуму вселенной математических истин. В ней мне не нужны ни телескопы, ни микроскопы, ни космические корабли. У меня есть другие инструменты, достигающие пределов мира. Прежде всего это вопрос о том, способны ли конечные средства, заключенные в моей голове, познать бесконечность. Математика позволяет нам заглянуть далеко за барьеры, останавливающие наши исследования краев физической Вселенной. Не существует никакого самого большого числа. На любую попытку воздвигнуть предел во вселенной чисел я всегда могу ответить прибавлением еще одной единицы. И это простое действие прибавления единицы позволяет мне создавать в моем разуме бесконечные миры.
Но как много я могу знать о таких бесконечных мирах? Есть ли пределы, ограничивающие возможности исследования истин этой бесконечной вселенной чисел при помощи конечных нейронных средств? До XIX в. слово «бесконечный» было равнозначно слову «непознаваемый». И тем не менее человек исследовал бесконечное при помощи своего конечного разума с тех самых пор, когда древние греки изобрели черную магию математики.
Взгляд в бесконечность
Вот еще один из математических анекдотов, которые вылетели из наших рождественских хлопушек:
Учитель. Назовите самое большое число.
Ученик. Семьдесят три миллиона двенадцать.
Учитель. А как же семьдесят три миллиона тринадцать?
Ученик. Ну вот, я был почти прав!
Древние греки понимали, что числа никогда не кончаются, но это понимание еще не означало знания о существовании подлинной бесконечности. Аристотель проводил различие между бесконечностью потенциальной и бесконечностью актуальной. Потенциально существует возможность прибавления единицы к каждому следующему числу, но реальное достижение численной бесконечности невозможно. Тем не менее удивительно, как грекам удавалось исследовать такую потенциальную бесконечность посредством конечных логических рассуждений.
Например, одно из первых великих математических доказательств, содержащихся в «Началах» Евклида, представляет собой объяснение того факта, что в мире чисел имеется бесконечное число неделимых чисел, которые мы называем простыми. Это доказательство по сей день приводит меня в восхищенный трепет: сама мысль о том, что нечто, кажущееся извне бесконечным и неподатливым, тем не менее можно понять. Можно спросить: раз мы допускаем возможность бесконечности чисел вообще, что может быть такого уж необычного в доказательстве существования бесконечного количества простых чисел? В конце концов, в знании о существовании бесконечного количества четных чисел нет ничего удивительного, если уж мы признали, что числа продолжаются бесконечно. И все же это доказательство остается поразительным в связи с тем, что мы на самом деле не понимаем природы простых чисел. Доказательство демонстрирует, что множество простых чисел бесконечно, не имея возможности сказать, что именно они собой представляют. Возможно, вопрос о конечности или бесконечности физической Вселенной требует использования аналогичного подхода: нужен логический аргумент, из которого следовало бы, что Вселенная должна продолжаться бесконечно, хотя мы никогда не сможем физически этого увидеть. Несмотря на все достижения древних греков, вопрос бесконечности оставался проблемным на протяжении тысячелетий. Чаще всего бесконечность считали выражением того, что недоступно нашему пониманию. Фома Аквинский, христианский богослов и философ XIII в., писал:
Существование актуального бесконечного множества невозможно, ибо любое множество вещей, которое мы себе представляем, должно быть множеством некоего вида. К тому же множества вещей определяются числом вещей в них. Однако никакое число не бесконечно, ибо числа порождаются пересчетом множества единиц. Следовательно, никакое множество вещей не может ни быть актуально бесконечным по своей природе, ни случайно стать бесконечным.
Обсуждение бесконечности всегда было близко к проблемам богословия. В V в. христианский философ Августин Аврелий писал в своей наиболее знаменитой работе «О граде Божьем», что бесконечность должна быть оставлена исключительно для божественного разума. Он с презрением отзывался о тех, «которые говорят, что бесконечное не может быть понято даже божественным ведением»:
Что же касается другого их мнения, согласно которому бесконечное не может быть объято даже божественным ведением, то им остается дерзнуть утверждать, что Бог не знает всех чисел, и погрузиться, таким образом, и в эту бездну глубокого нечестия. […] Кто даже из самых безрассудных людей скажет это? […] Кто такие мы, людишки, дерзающие положить предел Его ведению?[120]
Средневековый философ Орем, который обдумывал идею о том, что за небесным сводом, окружающим нашу Вселенную, может существовать бесконечное пространство, также умело обращался и с математическими бесконечностями. Именно он первым доказал тот удивительный факт, что если складывать дроби 1 + 1/2 + 1/3 + 1/4 + …, то можно получить сколь угодно большой результат. Ему также одному из первых пришла в голову идея о возможности сравнения размеров разных бесконечностей. В самом деле, если сравнить бесконечность всех чисел[121] и бесконечность четных чисел, то каждому целому числу можно сопоставить его удвоенное значение. Однако, поскольку множество четных чисел, очевидно, является меньшим подмножеством множества всех чисел, Орем заключил, что сравнение бесконечностей – дело небезопасное.
Несколько веков многие считали, что рассуждения такого рода доказывают невозможность реального существования бесконечности. Английский священник и математик XIV в. Томас Брадвардин использовал похожую идею, чтобы доказать, что мир не вечен. Он рассуждал так: если мир вечен, то число женских душ и число всех душ должны быть бесконечными. Если они бесконечны, их можно соотнести друг с другом. Но тогда не останется места для мужских душ. Таким образом, предположение о бесконечности числа душ приводит к противоречию.
И несколько столетий спустя бесконечность все еще чрезвычайно сильно беспокоит математиков. Галилей столкнулся с затруднениями, похожими на проблемы Орема и Брадвардина, когда рассматривал число квадратов целых чисел. С одной стороны, чисел, которые не являются квадратами, явно больше, чем квадратов. Квадраты – 1, 4, 9, 16, 25, … – встречаются чем дальше, тем реже, и между каждыми следующими двумя квадратами располагается все большее количество неквадратов. Но, с другой стороны, разве каждое число не является квадратным корнем из некоего числа-квадрата? С этой точки зрения можно сказать, что каждому числу можно сопоставить (его) квадрат, откуда следует, что количество квадратов должно быть равно количеству всех чисел.
