Gustavo Pineiro - У интуиции есть своя логика. Гёдель. Теоремы о неполноте.

Вселенная в целом включает конечное количество субатомных частиц. То ли потому что бесконечность действительно невообразима, то ли потому что ее не существует в физической реальности, то ли по другим философским причинам Аристотель утверждал: бесконечности в действительности (то есть актуальной бесконечности) не существует.

Существует понятие, искажающее и обесценивающее другие. Речь идет не о Зле, чьи владения ограничены этикой; речь идет о бесконечности.

Хорхе Луис Борхес. «Аватары черепахи», сборник «Обсуждение» (1932)

В течение столетий, до самого XIX века, этот отказ от актуальной бесконечности единодушно поддерживался западными философскими и математическими догмами. В Средние века схоластическая мысль усилила этот отказ, добавив к нему религиозное измерение. Актуальная (или категорематическая) бесконечность, согласно схоластикам, приписывается исключительно Божеству, и претендовать на то, что человеческий ум способен охватить или понять ее целиком, — ересь.

Приведем три случая, когда проявлялся отказ от актуальной бесконечности. Первый краток и ужасен: в 1600 году Джордано Бруно был приговорен к смерти на костре в том числе из-за утверждения в одной из своих работ, что Вселенная содержит бесконечное количество миров. Второй пример: в 1638 году Галилео Галилей выдвинул математический аргумент, который, согласно видению того времени, доказывал, что актуальная бесконечность — само по себе противоречивое понятие. В рассуждении, известном как парадокс Галилея, говорится так: задумаемся еще раз о последовательности 1, 2, 3, 4, 5... В ней содержится другая последовательность, образованная квадратными числами, то есть теми, которые получаются умножением числа само на себя: 1,4,9,16, 25...

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

Но, говорил Галилей, если бы последовательности 1, 2, 3, 4, 5... и 1, 4, 9, 16, 25... были бесконечны в действительности, было бы возможно идеально установить пары между ними обеими. Числу 1 соответствовало бы число 1, числу 2-4, числу 3-9 и так далее.

В III веке до н. э. Евклид Александрийский написал «Начала», самую влиятельную математическую книгу всех времен (настолько, что вплоть до начала XIX века ее использовали как учебник в некоторых европейских университетах). Эта работа состоит из 13 книг, из них седьмая, восьмая и девятая посвящены арифметике. В суждении 20 девятой книги провозглашается, что существует бесконечное число простых чисел. Интересно отметить, как выражено это утверждение: «Существует больше простых чисел, чем любое предложенное [конечное] количество простых чисел». То есть в утверждении Евклида речь идет о потенциальной, а не об актуальной бесконечности. Он не говорит о том, что «существует бесконечное количество простых чисел», но «если задано любое конечное количество простых чисел, всегда существует на одно больше».

Статуя Евклида в Музее естественной истории Оксфордского университета.

1... 1

2... 4

3... 9

4... 16

5... 25

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

Почти через 250 лет немецкий математик Георг Кантор (1845-1918) столкнулся с той же самой проблемой, но его вывод был абсолютно противоположным. Кантор решил, что аристотелевский принцип omne totum est mains sua parte — «целое больше его частей» — нужно отбросить, когда речь идет о бесконечности.

Третий пример — отрывок из письма 1831 года немецкого математика Карла Фридриха Гаусса (1777-1855):

«Я протестую против употребления бесконечной величины как чего-то завершенного, что в математике никогда недопустимо. Бесконечность не нужно понимать буквально, когда речь идет собственно о пределе, к которому сколь угодно близко приближаются определенные отношения, когда другие принимаются неограниченно возрастающими».