К книге
Великая математическая война. Как три блестящих ума сражались за основания математикиГлава 2. Приключения деревянного человечка: 1883–1884. «Je le vois, mais je ne le crois pas!»
16%
Глава 2. Приключения деревянного человечка: 1883–1884. «Je le vois, mais je ne le crois pas!»
20

Люди всегда полагались на базовую, интуитивную – или, как некоторые говорят, «наивную» – и совершенно очевидную концепцию трехмерного пространства. Тысячелетиями математика определялась геометрией, занимаясь фигурами и пространством. Затем пришла научная революция с открытиями Пьера де Ферма и особенно Декарта, благодаря координатам последнего стало можно алгебраически описывать точки в пространстве. В начале XIX века, со взрывным ростом теории чисел, на авансцену выходят числа. А затем появляется Кантор. Вместе с теорией множеств он провозглашает совершенно новый взгляд и на пространство, и на числа.

Наивный взгляд на трехмерное пространство до Кантора предполагает, что число точек на линии, в круге или в кубе растет вместе с числом измерений. Точно так же, как одна линия состоит из бесконечного числа точек, предполагается, что при добавлении измерений происходит то же самое. Плоскость состоит из бесконечного числа линий. Трехмерное пространство заполнено бесконечным числом таких плоскостей. Теперь спросим: где больше точек – на линии, на плоскости или в трехмерном пространстве? Ответ кажется интуитивно ясным. Вся бесконечность одной линии – ничто по сравнению с обширностью бесконечной плоскости. А любая малая плоскость просто меркнет перед бесконечностью стопки плоскостей, образующих трехмерное пространство. Кажется даже глупым спрашивать, где больше точек. Линия больше точки. Плоскость больше линии. А трехмерное пространство больше одной жалкой плоскости. Все верно, не так ли?

Только не для Кантора. И не для теории множеств.

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

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

Когда Кантор впервые открывает это, он восклицает: Je le vois, mais je ne le crois pas! («Я вижу это, но не верю этому!») Его рецензенты тоже не верят – и не скрывают своего презрения. Люди отвергают его работу, потому что она их шокирует. Некоторым кажется, что Кантор зашел слишком далеко. Но он не останавливается.

* * *

Люди всегда считали, что целое больше части – мы часто даже говорим: целое больше даже суммы своих частей. Но теория множеств опровергает то, что кажется нам самоочевидным. Она говорит: целое не больше части. Иногда они равны. А иногда часть даже больше целого.

Его недоброжелатели считают, что Кантор должен стыдиться содеянного. Но он не стыдится. Напротив, он в высшей степени самоуверен. Он кричит о своих открытиях на каждом углу. Кантор – человек, грезящий о великом, и его терзают сложные материи – бесконечность! Он знает, что его работа преобразит мир.

Но у мира другие планы.

После 1883 года жизнь Кантора легкой не назовешь. Его методы странны. Результаты причудливы. Некоторым коллегам он кажется чудаковатым и самонадеянным. К тому же его душевное состояние крайне неустойчиво. Даже когда его идеи врываются в европейскую математику, их принимают настороженно. Как позже скажут американские историки науки Лорен Грэм и Жан-Мишель Кантор, «им были не рады». Многие математики отвергают теорию множеств, иногда яростно. К моменту завершения книги в 1883 году ему приходится тратить столько же времени на защиту своих идей, сколько и на их изложение. А после начинается его долгое, странное странствие – смесь злоключений Пиноккио и безумия Одиссея.

Возможно, он – Пиноккио. А может быть, он скорее Прометей. Он крадет огонь богов для человечества и, подобно герою трагедии Эсхила 2500-летней давности, платит печальную цену всех спасителей – как и любой, кто несет бескорыстное тепло в холодный, эгоистичный мир.

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

Предыдущая главаГлава 20 из 125Следующая глава