Идеи с границы познания. Эйнштейн, Гёдель и философия науки - Джим Холт
Шрифт:
Интервал:
Закладка:
Пока что все сходится: одни тавтологии. Так что перейдем к следующему очевидному вопросу: а сколько их, этих простых чисел?
Этот вопрос задал еще Евклид в III веке до нашей эры, и ответ содержится в предложении 20 книги IX его «Начал»: простых чисел бесконечно много. Доказательство этого предложения, которое приводит Евклид, – пожалуй, первое по-настоящему элегантное рассуждение в истории математики. Оно укладывается в одну фразу: если бы простых чисел было конечное множество, то можно было бы перемножить их все, прибавить единицу и получить новое число, которое не делится ни на одно простое число, а это противоречие. (Новое число делилось бы с остатком 1 на любое число из якобы конечного списка простых, так что оно либо само было бы простым числом, либо делилось бы на какое-то простое число, не вошедшее в список. Так или иначе, изначальный конечный список простых чисел оказался бы неполным. Значит, не существует конечного списка, который охватил бы все простые числа. Следовательно, их бесконечно много).
Итак, мы знаем, что ряд простых чисел тянется бесконечно. Но тогда естественным образом возникает следующий вопрос: как эти атомы арифметики разбросаны среди всех прочих чисел? Есть ли какая-то закономерность? Среди относительно небольших чисел простые попадаются довольно часто, но чем дальше уходишь по числовой оси, тем они реже. Четыре из первых десяти чисел простые (2, 3, 5 и 7). Из первых 100 чисел простых 25. Если немного перепрыгнуть вперед, окажется, что между 9 999 000 и 10 000 000 девять простых чисел, из следующей сотни, от 10 000 000 до 10 000 100, – только два (10 000 019 и 10 000 079). Можно найти сколь угодно длинные отрезки числовой оси, где простых чисел вовсе нет. Но есть и очень большие простые числа, стоящие по соседству, например, 1 000 000 009 649 и 1 000 000 009 651. (Простые числа, отличающиеся всего на 2, называются числами-близнецами; конечно или бесконечно их количество, вопрос открытый.) Такое ощущение, что простые числа рассыпаны практически случайно, словно сорная трава среди остальных чисел. «Похоже, нет никаких причин, по которым одно число простое, а другое нет, – объявил математик Дон Цагир на инаугурационной лекции в Боннском университете в 1975 году. – Напротив, если посмотреть на эти числа, складывается впечатление, что перед тобой необъяснимая тайна бытия».
Простые числа, несмотря на свое несложное определение, видимо, живут в своей вечной и сложной реальности, независимой от нашего сознания. Они обладают трансцендентной загадочностью, той самой, которой начисто лишено высказывание Рассела «четвероногое животное – это животное». Но неужели они не подчиняются совсем никаким законам? Это было бы неожиданно, учитывая их роль строительного материала арифметики. И на самом деле у них есть свой закон. Но для того, чтобы его обрести, нужно, как ни странно, подняться на много этажей в небоскребе математики – от скромных натуральных чисел через целые, дроби, действительные числа до самых комплексных чисел с мнимой частью. (Исторически это восхождение заняло больше двух тысяч лет). И вот тогда, на самом-самом верху, мы и наталкиваемся на головоломку, которая называется дзета-гипотезой Римана.
∞
Практически все математики согласны, что дзета-гипотеза Римана – величайшая нерешенная задача во всей математике. Вероятно, это самая сложная задача, порожденная разумом человека. Риман – это Бернхард Риман, немецкий математик, живший в XIX веке. Дзета – это дзета-функция, творение высшей математики, которая, как первым установил Риман, таит в себе тайну простых чисел. В 1859 году Риман в краткой, но невероятно глубокой статье сформулировал гипотезу о дзета-функции. Если эта гипотеза верна, то простые числа подчиняются скрытой гармонии, причем довольно красивой. Если ложна, мелодия простых чисел несколько неблагозвучна – словно ее играет расстроенный оркестр.
Как же все обстоит на самом деле? Последние полтора века математики тщетно пытались доказать дзета-гипотезу Римана. Давид Гильберт включил ее в список из 23 важнейших задач математики в своей знаменитой речи на математической конференции в 1900 году в Париже (а позднее объявил, что это важнейшая задача «не только математики, а вообще»). Гипотеза Римана была единственной из списка Гильберта, которая так и осталась нерешенной за целых сто лет. В 2000 году, в столетнюю годовщину речи Гильберта, группа ведущих математиков планеты провела пресс-конференцию в Колледж де Франс и назвала новый набор из семи «Задач тысячелетия», за решение любой из которых назначалась награда в миллион долларов. (Призовой фонд обеспечивает Математический институт Клэя, основанный бостонским инвестором Лэндоном Т. Клэем.) Никого не удивило, что гипотеза Римана попала и в этот список.
Дзета-гипотеза Римана – не просто ключ к пониманию природы простых чисел. Она настолько важна для математического прогресса, что заранее считается истинной (вероятно, опрометчиво) в предварительных доказательствах тысяч теорем (которые, как говорят математики, «обусловлены» этой гипотезой). Если она окажется ложной, рухнет целая область высшей математики, построенная на ней. (Великая теорема Ферма, доказанная в 1995 году, не играла в математике такой структурной роли и поэтому значительно менее важна.)
Естественно, происхождение у дзета-функции музыкальное. Если ущипнуть скрипичную струну, она при вибрациях порождает не только ноту, на которую настроена, но и все возможные обертоны. Математически эта комбинация звуков соответствует бесконечной сумме ζ(s)=1+(1/2)'+(1/3)'+(1/4)'+…, которая называется гармоническим рядом. Если взять каждый член этого ряда и возвести его в степень s, получится дзета-функция от переменной s:
Эту функцию придумал около 1740 года Леонард Эйлер, который затем сделал замечательное открытие. Он обнаружил, что дзета-функция, бесконечная сумма, проходящая через все числа, может быть записана как бесконечное произведение, проходящее только через простые числа, которые появляются в виде обратных величин:
Эйлер был величайшим математиком своего времени, но и он не вполне осознал потенциал открытой им формулы бесконечных произведений. «До сегодняшнего дня математики тщетно пытались выявить какой-то порядок в последовательности простых чисел, – писал Эйлер, – и у нас есть причины полагать, что это тайна, в которую человеческий разум никогда не проникнет».
Полвека спустя Карл Фридрих Гаусс сделал первый настоящий прорыв в понимании простых чисел со времен Евклида. Мальчиком Гаусс обожал подсчитывать, сколько простых чисел содержится в каждом отрезке по тысяче. Такие размышления были приятным способом скоротать «скучные четверть часа, – писал он другу, – но потом я бросил это занятие, не добравшись и до миллиона». В 1792 году, в пятнадцать лет, Гаусс заметил интересную закономерность. Хотя на первый взгляд простые числа располагались на числовой оси в случайном порядке, в их потоке в целом