Бесчисленное поддается подсчету. Кантор. Бесконечность в математике
Шрифт:
В подтверждение того, что после 1900 года его интерес к этому вопросу стал настоящим «помешательством», можно привести случай, произошедший в 1911 году. В сентябре того года Кантор как почетный академик был приглашен в Шотландию на празднование 500-летия Сент-Эндрюсского университета. После обнаружения в 1902 году так называемого парадокса Рассела вопрос о логических противоречиях в теории множеств в математике вышел на первый план. Поэтому, когда Кантор взошел на трибуну университета, чтобы прочитать доклад, все ожидали услышать рассуждения о парадоксах бесконечности. Кантор же стал говорить о Бэконе как авторе шекспировских пьес. Тем не менее в следующем году Сент- Эндрюсский университет
Сущность математики состоит в ее свободе.
Георг Кантор, 1883 год
Несмотря ни на что в первые годы своей болезни Кантор не оставлял занятия математикой. Он продолжал преподавать в Галле, хотя периодически подолгу отсутствовал из-за болезни (например, весь 1909 год), он выступил с лекциями о парадоксах теории множеств на собрании Немецкого математического общества в сентябре 1903 года, а также в Гейдельберге (Германия) в августе 1904 года. Однако он так и не закончил третью часть своих «Обоснований» и не опубликовал больше ни одной статьи по математике.
В 1913 году Кантор вышел на пенсию. В последние годы жизни из-за Первой мировой войны он столкнулся с нехваткой питания. Из-за войны же широкое празднование, которое его немецкие коллеги планировали устроить по случаю 70-летая ученого, вследствие экономического кризиса свелось к небольшой вечеринке в узком дружеском кругу. В июне 1917 года Кантор в последний раз оказался в психиатрической клинике в Галле, где и скончался от сердечного приступа 6 января 1918 года.
В Галльском университете установлен памятник в виде большого бронзового куба. Каждая из четырех его граней посвящена профессору, работавшему в этом учебном заведении.
Одна из них, разумеется, — дань уважения Кантору. На ней изображен рельефный портрет ученого, а справа высечена надпись: «Георг Кантор, математик, создатель теории множеств, 1845-1918». Под портретом стоит равенство с = 2X0 , где с — первая буква латинского слова «континуум» (continuo), обозначающая мощность вещественных чисел. Справа от равенства — схема доказательства счетности всех рациональных чисел. Наконец, под равенством с = 2X0 приведена фраза из статьи Кантора 1883 года: «Сущность математики состоит в ее свободе».
Но нам не нужен монумент, чтобы помнить о Канторе, потому что он ясно говорит с нами со страниц своих писем и статей.
Пока существует математика, он будет жить в своей теории бесконечности.
Что же произошло с парадоксами теории множеств? Как они были решены и были ли? В 1880-е годы Дедекинд, а позже и Кантор предложили определять натуральные числа и операции между ними на основе понятий теории множеств. Это предложение было равнозначно тому, чтобы обосновать все области математики теорией множеств. Как возможно, что исчисление остается основанным на понятиях множеств, если натуральные числа определяются исходя из этих же понятий? Это объясняется тем, что на основе натуральных чисел можно определить целые, а целые, в свою очередь, определяют рациональные, рациональные — вещественные (говоря языком теории множеств), а вещественные являются основой исчисления.
Немецкий логик и математик Готлоб Фреге (1848-1925) задумался над той же задачей: привести всю математику к понятиям теории множеств. Таким образом он соглашался с Кантором и Дедекиндом, но стиль его
Евклид разделил свои аксиомы на две группы: к первой относятся постулаты, утверждения о конкретных геометрических объектах, а ко второй — так называемые «общие понятия», общие правила логики, которые можно применить к любой ситуации, не только в геометрии. Примером общего понятия является утверждение, что если два объекта равны третьему, это значит, что они равны между собой (см. рисунок).
Система аксиом Евклида относится не только к геометрическим объектам как таковым, а дает нам и более общие правила для объектов. Другими словами, система аксиом говорит не только о свойствах геометрических объектов, но и позволяет нам сделать выводы из этих свойств.
Теория множеств Кантора, на которую опирался и Дедекинд, не имела такой изящной логической структуры: в ней не было аксиом. В отличие от Евклида, Кантор не составил никакого списка фундаментальных свойств, на которых основывал свои доказательства. Он ограничивался тем, что давал определения (например, ординальных чисел), часто используя разговорный язык, и на их основе делал выводы, продиктованные ему более или менее интуитивной логикой. Для Фреге это было неприемлемо. Он считал, что теория множеств должна иметь евклидову структуру, то есть начинаться с четкого и ясного списка определений и аксиом (а также общих понятий), чтобы на их основе можно было строго вывести все утверждения теории.
Некоторые общие понятия Евклида и их перевод на язык современной математики.
Но Фреге пошел еще дальше: он сожалел, что в математике вообще, а не только в теории множеств, использовался разговорный язык и что в ней часто взывали к «практическому разуму», что он называл «психологизмом». Он считал, что у математики должен быть свой особый язык со специально созданными для него символами и правила логической дедукции (по которым, исходя из определенных посылок, мы можем прийти к неким выводам) должны выражаться с максимальной точностью, используя этот язык.
Как мы сказали, эта обеспокоенность Фреге «психологизмом» относилась к математике вообще, а не только к теории множеств, его первые предложения по созданию математического языка были сделаны еще до нее. Тем не менее, когда во второй половине 1880-х годов одновременно с Дедекиндом Фреге задумал обосновать всю математику теорией множеств, он сконцентрировался на применении созданного им языка именно к этой теории. Ученый посвятил годы разработке символов и правил четкого языка и впервые рассказал о нем в своей книге Begriffsschrift («Исчисление понятий») 1878 года. Язык Фреге отличается от привычного нам со всех точек зрения, в записи он больше похож на линейный рисунок, чем на текст. Возможно, так было задумано специально, чтобы как можно больше отдалить математический язык от разговорного. Тем не менее это имело негативное последствие, так как предложенную систему было чрезвычайно трудно понять, и сочинение Фреге не получило такого распространения у заинтересованной публики, какое могло бы.