Учитель - [8]
Георг Кантор
Другим удивительным достижением Кантора была обнаруженная возможность «счёта за «тремя точками»«в ряде положительных целых чисел 1,2,3,…, т. е. введение бесконечных, трансфинитных чисел и построение их арифметики (1,2,3,…,w, w+1,…, где w — первое бесконечное число). Уходящий в необозримые, захватывающие дух дали бесконечного ряд таких чисел — одно из самых прекрасных, воистину божественных построений человеческого разума… Хорошо помню мои школьные годы, изумление, с которым я постигал эти открытия в математическом кружке при МГУ.
Предметом изучения в теории множеств, как показывает само название, являются множества. Но что это такое? Простого ответа здесь нет. Понятие это считается первоначальным, неопределяемым, постигаемым интуицией, развиваемой примерами. По-видимому, наилучшей остаётся характеристика этого фундаментального понятия, данная самим Кантором: «Под «множеством» мы понимаем соединение в некое целое М определённых хорошо различимых предметов нашего созерцания или нашего мышления, (которые будут называться «элементами» множества М)»[43]. Можно говорить о множестве яблок на данной яблоне, о множестве слушателей в данном концертном зале и т. д. Математика естественно больше интересуют множества, связанные с его профессиональной деятельностью. Например, можно говорить о множестве всех нечётных совершенных чисел (ср. выше). Никто сегодня не знает, содержит ли это множество хоть один элемент[44].
При рассмотрении множеств Кантор свободно пользовался так называемой абстракцией актуальной бесконечности, позволяющей рассматривать бесконечные совокупности одновременно существующих объектов. Наряду с этой абстракцией в философии с античных времён рассматривалась не столь драматическая идея потенциальной, становящейся бесконечности. Проще всего объяснить имеющееся здесь различие на примере положительных целых чисел. Эти числа возникают в процессе естественного счёта — один, два, три… В каждый момент времени считающий субъект достигает определённого этапа, определённого числа… Идея потенциальной бесконечности, потенциальной осуществимости позволяет отвлечься здесь от ограниченности наших возможностей в пространстве и времени, по существу отвлечься от нашей смертности, и считать, что сколь угодно большие числа (скажем, миллиард миллиардов) могут быть достигнуты в процессе счёта. Но при всём этом в каждый момент времени только определённое число будет достигнуто считающим субъектом, у которого, однако, будет оставаться возможность продолжения счёта. Выражаясь метафорически, за каждым настоящим временем будет оставаться время будущее. Абстракция актуальной бесконечности состоит в гораздо более смелом акте воображения, при котором весь процесс счёта мыслится завершённым, все числа достигнутыми, одновременно существующими, все времена счёта осуществившимися…
Идею потенциальной бесконечности можно связать с оптимистической верой в наше родовое бессмертие: то, что не успею сделать я, сделают дети, ученики, последователи, дети детей, ученики учеников и т. д. С другой стороны, поэты всех времён и народов воспевали бесконечность звёзд в ночном небе. Самого простого акта поэтического воображения достаточно, чтобы воспринимать ряд телеграфных столбов, уходящих за горизонт, или же уходящую за горизонт ленту шоссе, как явления бесконечные, даже если хорошо знаешь, что это шоссе Москва — Симферополь…
Различие между двумя видами бесконечности, очевидно, скорее интеллектуальное, для наших ежедневных дел несущественное. Однако оно имеет огромное практическое значение при построении математики.
Разумеется, возникает вопрос и о природе математических объектов. В каком смысле существует, скажем, множество всех положительных целых чисел, или, гораздо каверзнее, множество всех множеств положительных целых чисел? Кантор занимал здесь радикальную позицию, называемую в сегодняшней философии математики математическим платонизмом[45]. Великий немецкий мыслитель считал, что те же трансфинитные числа не менее реальны, чем звёзды на небе. Предполагается, что имеется некий надсубъективный мир математических объектов, в котором и существуют всевозможные множества. Математические утверждения выражают факты устройства, обстояния вещей в этом мире. Соответственно, любое корректно сформулированное утверждение о математических объектах (скажем, «существует нечётное совершенное число») либо верно, либо нет в том же вечном, от наших соглашений и знаний независимом смысле. Таким образом, приобретают универсальный статус и законы аристотелевской логики, в особенности закон исключённого третьего, формулировкой которого и являлось предыдущее предложение. По известному афоризму, математик не изобретает, но открывает свои теоремы, примерно, как географ-мореплаватель открывает неизвестные острова в океане
