Кошмар Кантора: задача, которую не может решить математика

В 1873 году Георг Кантор показал, что бесконечность бывает разных размеров. Но его открытие оставило после себя странный вопрос: может ли другая бесконечность скрываться между континуумом счетных чисел и континуумом действительных чисел? Это видео прослеживает развитие гипотезы континуума от Кантора и Гильберта до Гёделя и Коэна, показывая, как поиск одной недостающей бесконечности привел к чему-то еще более странному: различным математическим вселенным, где ответ может меняться. Обсуждаемые темы: бесконечность Кантора, гипотеза континуума, первая проблема Гильберта, теория множеств ZFC, конструктивная вселенная Гёделя, форсирование Коэна и независимость в математике. #Бесконечность #ТеорияМножеств #ГипотезаКонтинуума #Математика #Кантор Главы -- 0:00 Бесконечность Кантора и первый разрыв 1:30 Объяснение гипотезы Континуума 2:46 Первая проблема Гильберта 3:52 Теория множеств и парадокс Рассела 5:45 Гёдель и гипотеза Континуума 7:31 Конструируемая Вселенная 11:40 Объяснение форсирования Коэна 15:28 Скрытый ландшафт бесконечностей Я использую ИИ для озвучивания, чтобы устранить акцентные барьеры, и поскольку я сейчас живу в очень шумной обстановке, запись голоса для меня проблематична. Я надеюсь, что мои исследования, сценарий и идеи заставят вас возвращаться за новыми видео. Это видео было полностью создано с помощью Manim - https://github.com/3b1b/manim Создано благодаря 3Blue1Brown -    / @3blue1brown   и всем участникам сообщества Manim. Музыка Винсента Рубинетти Скачать музыку на Bandcamp: https://vincerubinetti.bandcamp.com Слушать музыку на Spotify: https://open.spotify.com/artist/2SRhE... ИСТОЧНИКИ ИЗОБРАЖЕНИЙ Портрет Георга Кантора: Неизвестный автор, Георг Кантор, около 1870 г., общественное достояние / Public Domain Mark 1.0, через Wikimedia Commons: https://commons.wikimedia.org/wiki/Fi... Давид Гильберт: Неизвестный автор, Давид Гильберт, до 1912 г., общественное достояние в США и ЕС, анонимное произведение, статус общественного достояния отмечен на Commons, через Wikimedia Commons: https://commons.wikimedia.org/wiki/Fi... Эрнст Цермело: Неизвестный / Mondadori Источник издателя, Эрнст Цермело в 1900-х годах, статус общественного достояния отмечен в Commons, через Wikimedia Commons: https://commons.wikimedia.org/wiki/Fi... Курт Гёдель: Неизвестный автор, Курт Фридрих Гёдель, около 1926 года, статус общественного достояния отмечен в Commons, через Wikimedia Commons: https://commons.wikimedia.org/wiki/Fi...