[Перевод] Иерархия бесконечностей: порядок и хаос в математике

info@vsetut.pro

Стать автором

Вернуться

22.09.2025 09:05:58 | Хабр

Хабы: Блог компании FirstVDS, Математика, Читальный зал

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

Было минус 20 градусов по Цельсию, и пока некоторые катались на лыжах, Хуан Агилера, специалист по теории множеств из Венского технического университета, предпочитал задерживаться в столовой, отрывая кусочки пуллы (традиционного финского сладкого хлеба) и обсуждая природу двух новых понятий бесконечности. Результаты, по мнению Агилеры, были грандиозными. «Мы просто пока не в состоянии их оценить», — сказал он.

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

Подробнее