47 подписчиков
🏛️ Взгляд со стороны. Дефляция бесконечного
Откройте любой учебник математического анализа. Страница третья или пятая: числовая прямая, стрелочка влево, значок «минус бесконечность». Рабочее обозначение: последовательность «стремится к минус бесконечности» — значит, убывает без нижней границы. Всё. Техническая деталь, гайка в механизме, студент проходит её за десять минут и не поднимает глаз от тетради.
А теперь вспомните, чем было это слово. Апейрон — то, от чего греческая мысль шарахалась как от логической чумы: Аристотель запретил актуальную бесконечность особым постановлением, разрешив только потенциальную — «всегда можно ещё», но никогда «всё сразу». Бездна, в которую страшился заглядывать Паскаль: вечное молчание этих бесконечных пространств ужасало его — его, математика! Имя Божие у мистиков, непроизносимое прямо. Полторы тысячи лет слово «бесконечное» обжигало рот. Как бездна стала гайкой?
История превращения занимает девятнадцатый век. Сначала теория пределов — Коши, потом Вейерштрасс — научилась строго работать с недостижимым: предел есть то, к чему последовательность подходит сколь угодно близко, никогда не обязанная прийти; и выяснилось, что этого «сколь угодно близко» хватает для абсолютно точного знания о том, куда идёт процесс. Наука о недостижимом — без единого прикосновения к нему. Затем Георг Кантор совершил то, что считалось невозможным по определению: исчислил бесконечное. Построил арифметику бесконечных множеств: бесконечности оказались сравнимы, счётная — меньше континуума, у бесконечностей обнаружилась своя таблица умножения и своя лестница мощностей, уходящая вверх без конца. Скандал был страшный: коллеги объявляли это болезнью, Кронекер травил Кантора как развратителя юношества. А потом на канторовской теории множеств встала вся современная математика — та самая, что считает ваши самолёты и телефоны.
Триумф? Триумф. Но приглядитесь к цене — она и есть самое философски интересное во всей истории. Исчисленное бесконечное перестало быть Тем. Слово осталось прежним — содержание съёжилось до инструмента: «минус бесконечность» из учебника не ужаснула бы Паскаля, в ней нечему ужасать, она размером с дорожный знак. Тайну разжаловали в деталь. Это можно назвать дефляцией: из великого слова выпустили сакральный воздух, и оно повисло на числовой прямой скромным ярлычком.
Здесь напрашивается дешёвый вывод — «математики обманули, взяли не то, настоящее бесконечное им не далось». Вывод неверен, и заблокировал его сам Кантор. Он различал: трансфинитное — исчислимое, его алефы, законная добыча математики — и Абсолютное, неисчислимое в принципе (для верующего Кантора — Бог; он всерьёз переписывался об этом с ватиканскими теологами). Больше того: неисчислимость Абсолютного математика доказала изнутри, собственными средствами — попытка собрать «множество всех множеств», тотальность всего, рушится в противоречие на своих же основаниях. То есть исчислено ровно то, что берётся структурой, — и строго установлено, где структура кончается. Не захват святыни, а точнейшая демаркация: досюда — считаем, дальше — не считает никто, и вот доказательство почему.
Отсюда пуант. Двухсотлетний спор «можно ли исчислить бесконечное» был, по существу, спором о праве на слово. Одним и тем же словом зовут гайку и бездну, трансфинитное и Абсолютное — и все войны вокруг Кантора, все проклятия теологов и контрпроклятия позитивистов были войнами омонимов: стороны рубились за термин, думая, что рубятся за предмет.
И последнее. Дефляция — не поражение тайны. Это её судьба в хороших руках: из тайны извлекают всё, что в ней было структурного, счётного, рабочего, — и остаток становится чище, чем был. После Кантора о неисчислимом уже нельзя вдохновенно болтать — про «дурную бесконечность» и «бездны духа»; о нём можно только точно молчать, зная доказательство того, почему молчишь. Бесконечное не убито исчислением. Оно отмыто от гаек.
3 минуты
11 сентября