Бесчисленное поддается подсчету. Кантор. Бесконечность в математике. - [4]
Музыка и искусство всегда были важны для Кантора. Он считал, что математика и искусство не так уж далеки друг друга и что математик должен обладать и творческой жилкой (это мнение разделяли многие его современники, а также автор этих строк). Так, в 1833 году он написал статью, в которой упоминал об «удивительных открытиях» (позже он рассказал о них в письме Дедекинду); среди прочего в ней были такие слова: «Вся общность математики заключается в ее свободе» (курсив Кантора). В ней же он писал:
«В силу этого исключительного положения, отличающего ее от всех других наук и объясняющего сравнительную легкость и отсутствие принуждения в занятии ею, она заслуживает совершенно особенным образом имени свободной математики — название, которое, будь мне предоставлен выбор, я дал бы охотнее, чем ставшее обычным наименование «чистая» математика».
Таким образом, математик может отпустить свое воображение в «свободный полет» и оперировать понятиями как ему вздумается — при условии, что они не ведут к логическим противоречиям. И если противоречий нет, то, как утверждал Кантор, можно быть уверенными, что эти объекты действительно существуют. Выходит, математик, способный выводить новые понятия, одновременно и ученый и художник. Эти идеи не просто отражали мысль Кантора, они, особенно в этой знаковой статье, играли стратегическую роль, о чем мы поговорим в следующих главах.
Но вернемся к первым годам жизни Кантора. У его отца было слабое здоровье, и в 1856 году врачи посоветовали ему уехать от суровых петербургских зим в зону более благоприятного климата. Тогда Кантор-отец завершил все свои дела в России, и семья перебралась в Германию. Сначала они поселились в Висбадене, где Георг посещал гимназию, но вскоре переехали во Франкфурт. Ученый всегда с ностальгией вспоминал детство, проведенное в Санкт-Петербурге, и хотя всю оставшуюся жизнь прожил в Германии, никогда не ощущал себя там как дома. Насколько известно (и это очень похоже на его романтическую и даже экзальтированную натуру), после 1856 года он больше никогда не писал по-русски. По дневникам времен гимназии видна его все возрастающая склонность к математике. Хотя отец настаивал на том, чтобы Георг изучал инженерное дело, в 1863 году он поступил в Берлинский университет, желая посвятить себя своему настоящему призванию, и даже страсти, — математике. В то время это был один из главных мировых математических научных центров. Здесь преподавали знаменитые математики Карл Вейерштрасс и Эрнст Куммер, оба они стали учителями Кантора. Также его наставником был Леопольд Кронекер, со временем тот оказался одним из самых яростных противников теории бесконечности.
Кантор окончил Берлинский университет в 1867 году и спустя два года получил место профессора в Галльском университете. Забегая вперед, отметим, что именно в Галле ученый развил свою теорию математической бесконечности, именно там он сделал открытия, благодаря которым стал одной из важнейших фигур в математике. Его идеи не всегда встречали понимание и, напротив, часто вызывали отторжение. Мы уже упомянули о Кронекере, который сделал все возможное, чтобы воспрепятствовать распространению идей Кантора. Еще один пример относится к 1874 году, когда Кантор захотел опубликовать свои первые открытия в исследовании бесконечности. Черновик его статьи увидел Вейерштрасс и посоветовал Кантору не упоминать о самых радикальных выводах разбираемых теорем. Более того, он предложил вообще не говорить о бесконечности. Почему у Кантора было так много противников? Какие выводы следовали из статьи 1874 года и в чем заключалась их революционность? Чтобы ответить на эти вопросы, мы должны сначала ознакомиться с историей бесконечности.
Что такое бесконечность? Точнее, что мы имеем в виду, когда утверждаем, что совокупность объектов бесконечна? Прежде всего уточним, что будем использовать слово «объект» в самом широком значении, включающем в себя и абстрактные, и воображаемые объекты. Например, эта группа может состоять из всех дней декабря 3000 года.
Проанализируем сперва противоположное понятие, которое нам гораздо ближе, — конечность. Что мы подразумеваем, говоря, что некая группа объектов конечна?
Само по себе это слово означает «то, что заканчивается», «то, что не продолжается бесконечно». В таком случае принято думать, что группа объектов конечна, если хотя бы теоретически их можно пересчитать по одному так, что в определенный момент подсчет завершится.
Родители Кантора — Георг Вольдемар Кантор, успешный предприниматель, и Мария Анна Бойм, виртуозная скрипачка.
Мемориальная доска на доме в Санкт- Петербурге, где родился Кантор.
Берлинский университет, 1880 год. Здесь в 1867 году Кантор получил степень доктора математики.
Совокупность всех дней декабря 3000 года, которую мы привели выше, конечна. Возьмем еще один пример: представим, что всех взрослых людей, населяющих Землю в данный момент, попросили герметически закрыть бутылки с водой. Количество молекул кислорода, содержащихся в миллиардах этих бутылок, все равно будет конечным. Разумеется, на практике в этом случае было бы чрезвычайно трудно подсчитать все объекты, входящие в эту группу, но конкретные сложности не имеют значения для понятия конечности. Главное, что теоретически рано или поздно подсчет завершился бы, даже если на это ушли бы века. Бесконечной же группа является, если при пересчете по одному всех составляющих его частей они никогда не закончатся. Подчеркнем, что в этом определении мы используем слово «никогда» не в метафорическом смысле, не как синоним «очень большого количества времени», его надо понимать буквально: «никогда, бесконечно».

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

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

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

Блестящий популяризатор науки Дэвид Боданис умеет о самых сложных вещах писать увлекательно и просто. Его книги переведены на многие языки мира. Огромный интерес у российских читателей вызвала его «E=mc2». биография знаменитого эйнштейновского уравнения, выпущенная издательством «КоЛибри». «Электрическая Вселенная» — драматическая история электричества, в которой были свои победы и поражения, герои и негодяи. На страницах книги оживают истовый католик и открыватель электромагнетизма Майкл Фарадей, изобретатель и удачливый предприниматель Томас Эдисон, расчетливый делец Сэмюэл Морзе, благодаря которому появился телеграф, и один из создателей компьютеров, наивный мечтатель Алан Тьюринг.David BodanisELECTRIC UNIVERSEHow Electricity Switched on The Modern World© 2005 by David Bodanis.