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

Когда я говорю “наибольшее число во Вселенной’’, в действительности я имею в виду самое большое значимое число, максимально возможное число, которое в некотором роде полезно. Есть много претендентов на этот титул, но я сразу же предупреждаю вас: в самом деле существует риск того, что попытка понять все это взорвет ваш мозг. И кроме того, с излишком математики, вы получите мало удовольствия.

Гугол и гуголплекс

Эдвард Каснер

Мы могли бы начать с двух, весьма вероятно, самых больших чисел, о которых вы когда-либо слышали, и это действительно два самых больших числа, которые имеют общепринятые определения в английском языке. (Имеется довольно точная номенклатура, применяемая для обозначения чисел столь больших, как вам хотелось бы, но эти два числа в настоящее время вы не найдете в словарях.) Гугол, с тех пор как он стал всемирно известным (хотя и с ошибками, примеч. в самом деле это googol) в виде Google, родился в 1920 году как способ заинтересовать детей большими числами.

С этой целью Эдвард Каснер (на фото), взял двух своих племянников, Мильтона и Эдвина Сиротт, на прогулку по Нью-Джерси Palisades. Он предложил им выдвигать любые идеи, и тогда девятилетний Мильтон предложил “гугол’’. Откуда он взял это слово, неизвестно, но Каснер решил, что или число, в котором за единицей стоят сто нулей отныне будет называться гугол.

Но молодой Мильтон на этом не остановился, он предложил еще большее число, гуголплекс. Это число, по мнению Мильтона, в котором на первом месте стоит 1, а затем столько нулей, сколько вы могли бы написать до того как устанете. Хотя эта идея очаровательна, Каснер решил, что необходимо более формальное определение. Как он объяснил в своей книге 1940 года издания “Математика и воображение’’, определение Мильтона оставляет открытой рискованную возможность того, что случайный шут может стать математиком, превосходящим Альберта Эйнштейна просто потому, что он обладает большей выносливостью.

Таким образом, Каснер решил, что гуголплекс будет равен , или 1, а затем гугол нулей. Иначе, и в обозначениях, аналогичных тем, с которыми мы будем иметь дело для других чисел, мы будем говорить, что гуголплекс — это . Чтобы показать, насколько это завораживает, Карл Саган однажды заметил, что физически невозможно записать все нули гуголплекса, потому что просто не хватит места во Вселенной. Если заполнить весь объем наблюдаемой Вселенной мелкими частицами пыли размером приблизительно в 1,5 микрона, то число различных способов расположения этих частиц будет примерно равно одному гуголплексу.

Лингвистически говоря, гугол и гуголплекс, вероятно, два самых больших значащих числа (по крайней мере, в английском языке), но, как мы сейчас установим, способов определения “значимости’’ бесконечно много.

Реальный мир

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

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

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

Простые числа Мерсенна

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

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

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

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

Компьютеры с тех пор были на охоте, и в настоящее время -е число Мерсенна является самым большим простым числом, известным человечеству. Обнаруженное в 2008 году, оно составляет — число с почти миллионами цифр. Это самое большое известное число, которое не может быть выражено через какие-либо меньшие числа, и если вы хотите помочь найти еще большее число Мерсенна, вы (и ваш компьютер) всегда можете присоединиться к поиску на сайте http://www.mersenne.org/.

Число Скьюза

Стэнли Скьюз

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

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

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

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

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

Итак, насколько велико число , которое делает карликом даже могучий гуголплекс? В словаре The Penguin Dictionary of Curious and Interesting Numbers Дэвид Уэллс рассказывает об одном способе, с помощью которого математику Харди удалось осмыслить размер числа Скьюза:

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

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

Проблема величины

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

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

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

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

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

Это становится все более абстрактным, но дальше будет только хуже. Вы можете подумать, что башня степеней , длина показателя которой равна (более того, в предыдущей версии этого поста я сделал именно эту ошибку), но это просто . Другими словами, представьте, что у вас есть возможность вычислить точное значение степенной башни из троек, которая состоит из элементов, а потом вы взяли это значение и создали новую башню с таким количеством в нем,… которое дает .

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

Теперь подготовим ум к тому, чтобы его действительно взорвать.

Число Грэма (Грехема)

Рональд Грэм

Вот как вы получите число Грэма, которое занимает место в Книге рекордов Гиннеса как самое большое число, которое когда-либо использовали в математическом доказательстве. Совершенно невозможно представить, насколько оно велико, и столь же трудно точно объяснить, что это такое. В принципе, число Грэма появляется, когда имеют дело с гиперкубами, которые являются теоретическими геометрическими формами с более чем тремя измерениями. Математик Рональд Грэм (см. фото) хотел выяснить, при каком наименьшем числе измерений определенные свойства гиперкуба будут оставаться устойчивыми. (Простите за такое расплывчатое объяснение, но я уверен, что нам всем нужно получить по крайней мере две ученые степени по математике, чтобы сделать его более точным.)

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

Теперь повторим этот процесс раза (примеч. на каждом следующем шаге мы пишем число стрелок, равное числу, полученному на предыдущем шаге).

Это, дамы и господа, число Грэма, которое примерно на порядка стоит выше точки человеческого понимания. Это число, которое настолько больше, чем любое число, которое можно себе представить — это гораздо больше, чем любая бесконечность, которую вы могли бы когда-либо надеяться себе представить — оно просто не поддается даже самому абстрактному описанию.

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

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

К бесконечности

Так есть числа больше, чем число Грэма? Есть, конечно, для начала есть число Грэма . Что касается значащего числа… хорошо, есть некоторые дьявольски сложные области математики (в частности, области, известной как комбинаторика) и информатики, в которых встречаются числа даже большие, чем число Грэма. Но мы почти достигли предела того, что, как я могу надеяться, когда-либо смогут разумно объяснить. Для тех, кто достаточно безрассуден достаточно, чтобы пойти еще дальше, предлагается литература для дополнительного чтения на свой страх и риск.

Ну а сейчас удивительная цитата, которая приписывается Дугласу Рею (примеч. честно говоря, звучит довольно забавно ):

“Я вижу скопления смутных чисел, которые скрывается там, в темноте, за небольшим пятном света, которое дает свеча разума. Они шепчутся друг с другом; сговариваясь кто знает о чем. Возможно, они нас не очень любят за захват их меньших братишек нашими умами. Или, возможно, они просто ведут однозначный числовой образ жизни, там, за пределами нашего понимания’’.

Философские проблемы дают себя знать, когда внутри одной бесконечности вдруг обнаруживается другая. Например, выбирая среди всех чисел только четные, мы снова получим бесконечную последовательность 2, 4, 6, … Для того, чтобы не путаться с бесконечностями, математики стали говорить о множествах и мощностях: множество натуральных чисел, хотя и бесконечно, равно по мощности множеству четных. Это следует из существования простого правила, устанавливающего связь между этими двумя множествами: достаточно разделить на 2 любое четное число или умножить на 2 любое натуральное, чтобы убедиться во взаимной однозначности этого правила.

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

Немецкий математик-изгой

Оба эти утверждения доказал немецкий математик Георг Кантор ( , 1845-1918). Раз бесконечности разные, то для них тоже можно ввести свои имена — так сказать, трансфинитные числа. Мощность натурального ряда Кантор обозначил буквой алеф из древнееврейского алфавита с индексом ноль: א o , а для мощности континуума — это непрерывный отрезок прямой или вся прямая — он использовал ту же букву, но с индексом единица: א l , тем самым предполагая, что никакого другого трансфинитного числа между א o и א l быть не может.

О том, что континуум можно считать множеством точек, стало известно незадолго до Кантора, но он смог доказать это еще раз, сумев «перенумеровать» все точки прямой — точнее, единичного отрезка. Только в роли «номеров» в этом случае выступают не натуральные числа, а бесконечные последовательности цифр. Достаточно даже просто нулей и единиц (если считать, что каждый «номер» записан в двоичной системе): множество дробей вида 0,100010100111… полностью воплощает в себе множество всех рациональных чисел вместе с иррациональными от 0 до 1. Однако из теории Кантора следовало и нечто большее: его «алефы» позволяли нумеровать точки, для которых прямая слишком коротка (отсюда и название трансфинитные — то есть находящиеся «за бесконечностью»).

Идеи Кантора стоили ему больших несчастий. Многие из его коллег нашли в теории «алефов» не просто множество математических парадоксов и несуразностей — это было бы полбеды. В рассуждениях Кантора просматривалась его глубокая религиозность и желание постичь «Абсолют». По мере того, как он развивал свою теорию, у него все больше разлаживались отношения с начальством по университету в городе Галле , и от нее отказывались даже те математики, которые поначалу отнеслись к ней восторженно. Центром математической мысли в конце XIX века была Франция , но двое ведущих французских математиков Шарль Эрмит (Charles Hermite , 1822-1901) и Поль Эмиль Аппель ( , 1855-1930) высказывались даже против того, чтобы переводить сочинения Кантора на французский язык . Можно было ожидать, что новые идеи поддержит патриарх французской математики, человек, во многом предвосхитивший её будущее развитие в ХХ веке, — Анри Пуанкаре ( , 1854-1912)… Но нет — и он тоже отказывался разговаривать «об актуальной бесконечности».

К концу века на самого Кантора все чаще нападают приступы депрессии . Постепенно становится очевидно, что речь идет о серьезном заболевании — маниакально-депрессивном психозе. Эмиль Борель (Émile Borel , 1871-1956), один из молодых поклонников теории множеств, постепенно стал чувствовать отторжение к ней, которое только усиливалось от слухов о болезнях других математиков. Спустя много лет после этого он написал своему другу Полю Валери (Paul Valéry , 1871-1945), что ему пришлось отказаться от занятий теорией множеств «из-за переутомления, которое на него навалилось и заставило опасаться серьезных заболеваний, в том случае, если бы он продолжил свою работу».

Вопрос закрыл ещё один авторитетный математик — Жак Адамар ( , 1865-1963), заключивший, что весь сюжет вышел за «пределы математики» и стал относиться «к психологии, к свойствам нашего разума». Это решение многим показалось остроумным, но, по мнению Лорена Грэхэма и Жан-Мишеля Кантора, оно повлекло за собой уход французской математики с передовой. Увидев серьезное математическое содержание в сравнении размеров бесконечных множеств и упорядочении их бесконечных же подмножеств, математики России смогли построить школу, долгое время остававшуюся первой и даже к настоящему времени не до конца утратившую свое значения.

Число Бога

Первые одиннадцать лет своей жизни создатель теории множеств провел в Санкт-Петербурге . Однако климат этого города оказался слишком вредным для его отца, и в 1856 году вся семья перебралась в значительно более благоприятный климат Франкфурта-на-Майне . Изучение естественных и технических наук осуществлялось юным Кантором в самых разных городах Европы — от Дармштадта до Цюриха — и сопровождалась вполне ожидаемой борьбой с родителями, с большей радостью видевших в своем ребенке инженера, а не математика с явными философскими склонностями. Однако постепенно Георг преодолел их сопротивление и, как уже говорилось, очутился в университете Галле.

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

[Я подразумевал] двоякого рода читателей — с одной стороны, философов, которые следили за развитием математики вплоть до новейшего времени, а с другой — математиков, которые знакомы с важнейшими фактами древней и новой философии .

И такого рода читателей он нашел — у себя на родине. Неудивительно, что ими оказались, в первую очередь, также платоники пифагорейского толка и христианские мистики. Самый, пожалуй, известный из них у нас сейчас — (1882-1937) — понимал, в каком смысле мы можем говорить о числе, которое больше любого натурального числа:

В этом же смысле мы можем сказать, что могущество Божие актуально-бесконечно, потому что оно, будучи определенным (ибо в Боге нет изменения), в то же время больше всякого конечного могущества .

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

Прощай, Лузитания!

В 1900 году Флоренский поступил на физико-математический факультет МГУ , но четыре года спустя оставил занятия математикой ради церковной и богословской карьеры. Однако уже в советское время он прекратил занятия также философией и теологией, полностью погрузившись в исключительно практические инженерные вопросы. Он много занимался электротехникой, принимал участие в разработке плана ГОЭЛРО , изучал свойства вечной мерзлоты. Все это не уберегло его от репрессий новой власти, и после нескольких арестов в 1937 году он был расстрелян.

Уход из математики не означал для Флоренского ухода из математического сообщества. Среди наиболее близких ему людей оставались Николай Николаевич Лузин (1883-1950) и Дмитрий Федорович Егоров (1869-1931). Недостаточно сказать, что оба они крупные математики: в 1923 году Егорова выбрали президентом и назначили директором Института математики и механики I МГУ, именно в нем современные историки видят ключевую фигуру в создании и развитии теории функций. Среди выдающихся успехов Лузина не только собственно математические результаты, но и уникальная педагогическая энергия: его учениками или учениками его учеников побывали практически все крупные российские математики. , сложившийся уже в 20-е годы, получил название «Лузитании». Именно им уже в 30-е годы предстояло сделать открытия, открывшие дорогу к таким популярным сегодня темам, как фракталы и хаос.

Очень часто судьбу науки в меньшей степени определяет успех в решении задач, а в большей — правильный их выбор. Кто знает, какие доводы приводит сам себе математик, убеждая себя взяться за решение одной из них, и не браться за решение других. В случае Егорова и Лузина, по мнению Лорена Грэхэма и Жан-Мишеля Кантора, принципиальную важность имели их религиозные взгляды и способность увидеть за игрой в наименования далекие математические перспективы. Философские идеи Кантора, так сильно затруднившие принятие его математики в странах Западной Европы и, прежде всего, в рационалистической Франции, сыграли прямо противоположную роль в России, где существовала противоположная — мистическая — философская традиция.

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

Новости партнёров

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

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

Какую же цифру следует приписать к числу 76? Обозначим ее через k. Тогда искомое трехзначное число изобразится:

100k + 76.

Общее выражение для чисел, оканчивающихся этой группой цифр, таково:

1000а + 100k + 76, 1000b + 100k + 76 и т. д.

Перемножим два числа этого вида; получим:

1000000аb + 100000ak + 100000bk + 76000а + 76000b + 10000k 2 + 15200k + 5776.

Все слагаемые, кроме двух последних, имеют на конце не менее трех нулей. Поэтому произведение оканчивается на 1006+76, если разность

15200k + 5776 - (100k + 76) = 15100k + 5700 = 15000k + 5000 + 100 (k + 7)

делится на 1000. Это, очевидно, будет только при k = 3.

Итак, искомая группа цифр имеет вид 376. Поэтому и всякая степень числа 376 оканчивается на 376. Например:

376 2 = 141376.

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

(10000а + 1000l + 376) (10000b + 1000l + 376)

оканчивается на 1000l + 376? Если в этом произведении раскрыть скобки и отбросить все слагаемые, которые оканчиваются на 4 нуля и более, то останутся члены

752000l + 141376.

Произведение оканчивается на 1000l + 376, если разность

752000l + 141376 - (1000l + 376) = 751000l + 141000 = (750000l + 140000) + 1000(l + 1)

делится на 10000. Это, очевидно, будет только при l = 9.

Искомая четырехзначная группа цифр 9376.

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

Такое приписывание цифр слева можно производить неограниченное число раз. В результате мы получим "число", у которого бесконечно много цифр:

7109376.

Подобные "числа" можно складывать и умножать по обычным правилам: ведь они записываются справа налево, а сложение и умножение ("столбиком") также производятся справа налево, так что в сумме и произведении двух таких чисел можно вычислять одну цифру за другой - сколько угодно цифр.

Интересно, что написанное выше бесконечное "число" удовлетворяет, как это ни кажется невероятным, уравнению

Х 2 = х.

Б самом деле, квадрат этого "числа" (т. е. произведение его на себя) оканчивается на 76, так как каждый из сомножителей имеет на конце 76; по той же причине квадрат написанного "числа" оканчивается на 376; оканчивается на 9376 и т. д. Иначе говоря, вычисляя одну за другой цифры "числа" x 2 , где х =... 7109376, мы будем получать те же цифры, которые имеются в числе х, так что х 2 = х.

Мы рассмотрели группы цифр, оканчивающиеся на 76 * . Если аналогичные рассуждения провести для групп цифр, оканчивающихся на 5, то мы получим такие группы цифр:

5, 25, 625, 0625, 90625, 890625, 2890 625 и т. д.

* (Заметим, что двузначная группа цифр 76 может быть найдена при помощи рассуждений, аналогичных приведенным выше: достаточно решить вопрос о том, какую цифру надо спереди приписать к цифре 6, чтобы полученная двузначная группа цифр обладала рассматриваемым свойством. Поэтому "число" ... 7109376 можно получить, приписывая спереди одну за другой цифры к шестерке. )

В результате мы сможем написать еще одно бесконечное "число"

2890625,

также удовлетворяющее уравнению х 2 = х. Можно было бы показать, что это бесконечное "число" "равно"

5 2 2 2...

Полученный интересный результат на языке бесконечных "чисел" формулируется так: уравнение х 2 = х имеет (кроме обычных х = 0 и x = 1) два "бесконечных" решения:

Х = ...7109376 и x = ...2890625,

а других решений (в десятичной системе счисления) не имеет * .

* (Бесконечные "числа" можно рассматривать не только в десятичной, айв других системах счисления. Такие числа, рассматриваемые в системе счисления с основанием р, называются р-адическими числами. Кое-что об этих числах можно прочесть в книге Е. Б. Дынкина и В. А. Успенского "Математические беседы" (Гостехиздат, 1952). )

Две вещи действительно бесконечны:
Вселенная и человеческая глупость.
Впрочем, насчет Вселенной у меня
есть некоторые сомнения.
Альберт Эйнштейн

Недавно мы уже поднимали этот вопрос, но он так важен, что стоит остановиться на нём подробнее.

Если про один объект иногда говорят такие же слова, как про другой, то это не значит, что эти объекты имеют одинаковые свойства.

Вышло длинное и непонятное предложение, поэтому поясню примером:
Можно сказать «позвони по телефону», а можно сказать «позвони в колокол» - очень разные действия, но один глагол. Из этого нельзя делать вывод, что все остальные действия с телефоном (приём SMS, память на 200 номеров и так далее) свойственны колоколу. Это настолько очевидно, что данный абзац выглядит абсурдным.

Но почему тогда многие так легко оперируют со словом бесконечность, как будто это число? Да, к бесконечности можно применять некоторые действия, которые успешно проходят с числами (сделав необходимые оговорки ):
2 + ∞ = ∞,
∞ - 5 = ∞,
2 * ∞ = ∞,
∞ / 5 = ∞,
∞ + ∞ = ∞ (более того, ряд вещественных чисел часто расширяют ещё парой элементов +∞ и -∞, но строго оговаривают , как с ними можно обращаться).

Это значит, что далеко не всё с такими «бесконечностями» можно делать. Например, ∞ - ∞ = ? (здесь мы имеем неопределённость, так как не можем дать ответ, не зная природы этих двух «бесконечностей»). Во всяком случае, наивно сразу говорить, что разница будет нулевой.

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

Давайте вспомним классическую апорию Зенона:
Если известно, что Ахиллес бегает в десять раз быстрее черепахи, а находится от неё на расстоянии в 1 километр, то за время, которое Ахиллес потратит на этот километр, черепаха проползёт 100 метров. Соответственно, когда Ахиллес пробежит ещё 100 метров, черепаха проползёт 10 метров, и так далее. Процесс будет продолжаться до бесконечности, а Ахиллес никогда не сможет догнать черепаху, хотя перемещается быстрее.

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

Итак, каким образом можно разрешить проблему с Ахиллесом и черепахой? Пожалуйста, не пишите, что как только Ахиллес пробежит второй километр, черепаха останется далеко позади. Это очевидно каждому, но совершенно не помогает. Тут нужно почувствовать проблему в исходном решении, а не придумать свой взгляд на то же условие.

Хорошего вам дня!