Бесчисленное поддается подсчету. Кантор. Бесконечность в математике. (Пиньейро) - страница 13

РИС.З

РИС. 4

Следовательно, в первой группе больше членов, чем во второй. На самом деле Галилей начинал считать с 1, а не с 0, как мы, но это не меняет сути.

С другой стороны, продолжает ученый, каждому числу из первой группы можно подобрать число из второй. Достаточно взять натуральное число и его квадрат.

Это распределение по парам доказывает, что натуральных чисел столько же, сколько их квадратов, и противоречит сказанному выше — тому, что натуральных чисел больше. Так что же верно? Как решить этот парадокс? Галилей отвечает так:

«[...] понятия «больший», «меньший», «равный» не имеют места не только между бесконечно большими, но и между бесконечно большим и конечным».

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

«Книга песка» — это рассказ аргентинского писателя Хорхе Луиса Борхеса (1899-1986) из одноименного сборника, опубликованного в 1975 году. В нем протагонист, сам Борхес, покупает у уличного торговца книгу. Выясняется, что в ней бесконечное количество страниц. У нее нет ни начала, ни конца; открыв какую-то страницу, ее невозможно найти вновь. Этот чудовищный предмет внушает Борхесу страх, но он боится, что и огонь, который сожжет бесконечную книгу, будет «тоже бесконечным», и вся планета задохнется от его дыма. Тогда Борхес решает спрятать ее на первой попавшейся полке в Национальной библиотеке Буэнос- Айреса.

Хорхе Луис Борхес, 1976 год.

Аристотель, Галилей и многие другие мыслители, жившие до XIX века, безапелляционно заявляли, что говорить о количестве членов бесконечного множества не имеет никакого смысла. В 1870-е годы этот подход был еще настолько распространен, что из осторожности никто бы не поставил его под вопрос, тем более в научной статье. Однако в 1874 году Кантор впервые ввел понятие «количества элементов бесконечного множества» и обозначил его как «кардинальное число (или мощность) множества».

Получив докторскую степень, еще в Берлине Кантор опубликовал три статьи в Zeitschrift fur Mathematik und Physik («Физико-математический журнал»): одну в 1868-м, а другие две — в 1869 году. В первой он рассматривал классическую арифметическую задачу и решал ее методами, которые даже по тем временам не были инновационными, зато в двух других приблизился к тому, что впоследствии обрело форму теории бесконечности.