оно станет в сто раз больше, три – в тысячу раз.
Исходный долг составляет всего одну десятую процента (0,1%) от третьего числа, но и в этом, последнем числе только пятнадцать цифр, а у гугола сто нулей. Выходит, полученное нами число по- прежнему очень мало по сравнению с гуголом. Вероятнее всего, гугола, или десяти в сотой степени, вполне хватит для того, чтобы сосчитать все капли дождя, упавшие на Землю за весь геологический период.
Обратимся к другому числу, по сравнению с которым даже гугол покажется совсем крошечным. Это число можно было бы назвать «гуголлион». Записывается оно как десять в степени гугол:
10гугол
или, иначе, как десять в степени десять в сотой степени:
1010^100 .
Чтобы записать это число в полном виде, потребуется добавить к единице гугол нулей. Постичь это способен далеко не каждый. Однажды я объяснял эту мысль одному врачу, и тот никак не мог уловить ее, пока я не сказал, что есть огромная разница между записью миллиона как единицы с девятью нулями и записью числа с миллионом нулей после единицы. После этого он сразу понял смысл.
Чтобы вызвать у вас представление о подобной беспредельности, я попрошу задуматься о том, сколько места потребуется для записи «гуголлиона», то есть строки из гугола нулей. Когда-то я уже обращался с таким вопросом к группе слушателей. Предположим, у нас есть бумажная полоска, и каждый нуль представляет собой кружок диаметром в четверть дюйма. Какую длину будет иметь такая полоска?
Один человек предположил, что ее хватит, чтобы обернуть земной шар по экватору. Другой, более реалистичный, сказал: «Скорее всего, миллион световых лет». Световой год представляет собой то расстояние, которое проходит за один год луч света, движущийся со скоростью 186 тысяч миль в секунду. Однако и эта догадка оказалась сильным преуменьшением. Представьте себе конечную вселенную (какой она является в соответствии с принципами Эйнштейна), поперечник которой составляет три миллиарда световых лет [17]. Вообразите это: огромная сфера диаметром в три миллиарда световых лет. Теперь представьте наши нули как крошечные сферы размерами меньше атома, но чуть больше его ядра. Заполните этими маленькими шариками весь объем сферы вселенной, и тогда у вас как раз хватит нулей, чтобы записать число «гуголлион». Я проверил это расчетами, а позже встретился с подсчетом количества электронов, необходимых для того, чтобы до отказа наполнить ими всю вселенную. Полученная оценка составляла десять в сто десятой степени (10110). Это, конечно, больше, но не намного – всего на несколько порядков, то есть наш расчет не так уж плох*.
Однако и «гуголлион» становится крошечным, когда речь заходит о Бесконечности. Работая с бесконечными числами, математики имеют дело с превосходящей любое воображение беспредельностью. Я имею в виду, что бесконечность как понятие аналогична Осознанию как факту; это помогает оценить ее значимость.
Особый вклад в эту область внесли два человека: Дедекинд и Кантор. Дедекинд первым ввел представление о бесконечности как о многообразии, или множестве, такого характера, что в нем есть определенная часть, содержащая столько же элементов, сколько их содержит все целое, – подобный пример мы рассматривали немного раньше. Когда Дедекинд перешел к формулировке своей теоремы о существовании в рамках этики, то, ставя вопрос о том, существует ли такая бесконечность, он взял в качестве примера человеческое мышление. В разуме возникает некая мысль, а затем может появиться мысль об этой мысли, потом третья мысль о второй и так далее; возникает последовательность:
1 Мысль 1
2 Мысль 2
3 Мысль 3
n Мысль N
Во втором ряду столько же элементов, сколько их в первом. Кроме того, существует один элемент – то самое Я, – который не входит в последовательность мыслей. Таким образом, один ряд является однозначно соответствующей частью другого, то есть равен его полноте. Это значит, что человеческий разум потенциально бесконечен – не только в психологическом, но и в более глубоком смысле.
Сейчас мне хочется познакомить вас с математической индукцией – и не только для того, чтобы узнать новый математический факт. Это позволит нам лучше понять сам разум, так как индукция демонстрирует принцип выявления истины, чрезвычайно важный для всей математики и ее отношения к истине. Одновременно мы сравним этот принцип с законами обычной формальной логики. Пусть, например, этот круг включает в себя все смертные существа (см. рис. 20).
Рис. 20
Все люди смертны. Это равносильно утверждению о том, что люди (множество которых мы изобразим кругом меньшего диаметра) образуют некое подмножество класса смертных существ. Далее можно сказать, что Сократ (отдельный элемент, обозначенный символом «X») – человек. Поскольку он входит в меньший круг, можно прийти к выводу о том, что Сократ смертен. Таков схематический способ изображения этого силлогизма [18]. В данном случае мы воспользовались дедуктивной логикой: спустились из обширной области в более узкую методом исключения. Такая форма логики является не очень творческой, она больше пригодна для целей критического рассмотрения, анализа и так далее.
В индуктивной логике – в том привычном смысле, в каком она применяется в науке, – законы выводятся исходя из ряда наблюдений. Например, увидев набор точек на плоскости, вы можете попытаться придумать некую гипотезу, которая объяснит закономерность или взаимосвязь между положениями этих точек. В одной лекции я говорил о примере поиска подобной закономерности в расположении пяти точек. Если вы наложите на этот закон ограничение и потребуете, чтобы он представлял собой уравнение второй степени, то найдете единственное решение, поскольку пять точек на плоскости однозначно определяют кривую второй степени. Но если вы не будете сковывать свое мышление такими ограничениями (то есть допустите, что закон может быть уравнением третьей, четвертой, пятой и любой другой степени), то через эти пять точек может пройти в буквальном смысле слова бесконечное число кривых.
Иначе говоря, существует бессчетное, потенциально бесконечное число возможных объяснений наших научных наблюдений – потенциально неисчислимое разнообразие. Мы не можем добиться однозначной, определенной истины. Именно по этой причине аксиоматическая наука имеет только прагматическую ценность. Она некоторое время помогает, но рано или поздно становится неверной. После обобщения Ньютона люди считали, что наконец-то постигли истину. Эта точка зрения сохранялась очень долго, но и она была опровергнута. Теории Ньютона не удалось объяснить некоторые измерения после того, как люди смогли провести их точнее. Сегодня более адекватными считаются идеи Эйнштейна, но завтра и они могут смениться новыми представлениями. Таким образом, аксиоматическая наука предлагает не окончательную, а прагматическую истину.
Математическая индукция представляет собой тот процесс, благодаря которому мы можем переходить от чего-то конкретного и единичного к бесконечности в буквальном смысле. Я попытаюсь показать вам простой пример. Рассмотрим сумму:
1 + 3 + 5 + 7+…
и так далее, без конца. Этот ряд представляет собой сумму нечетных чисел. Для обозначения номеров каждой промежуточной суммы этого ряда я буду использовать римские цифры – они отличаются от привычных и потребуются нам для поиска окончательной формулы.
Количество слагаемых: I II III IV… n n+1
Слагаемые: 1+ 3+ 5+ 7+…+ (n-1) + (2n+1) +…
Сумма слагаемых: 1 4 9 16… n2 (n+1)2
Обратите внимание, что первая сумма равна 1, сумма первого и второго членов-4, сумма первых трех слагаемых – 9, сумма первых четырех – 16. Заметили ли вы зависимость между этими суммами и теми числами, которые обозначают количество слагаемых? Во всех случаях суммы равны квадратам этих чисел – довольно неожиданный результат! Теперь вас осеняет мысль: быть может, такое правило выполняется на всем протяжении этого бесконечного ряда. Для того чтобы проверить все суммы, потребуется бесконечное время. Однако математик не скован таким требованием.