Теорема о четырех красках – простая задача с непростым решением // Vital Math

Теорема о четырех красках! Первая теорема с компьютерным доказательством! Задача с очень простой формулировкой, но очень непростым решением. 120 лет теорему не могли доказать, но даже сейчас, через 50 лет после доказательства, продолжают искать новые решения! Как все-таки раскрасить любую карту в 4 или 5 цветов? Что мешало доказать теорему? Чем помог компьютер? И какая сенсация произошла в 2022 году? #vitalmath Что внутри: 00:00 Глава 1. Необычная теорема 01:44 Глава 2. Как появилась теорема о 4х красках 06:30 Глава 3. В чем сложность задачи? 07:18 Глава 4. Подход к доказательству 12:07 Глава 5. Доказательство для 6 цветов (и 5 тоже) 14:59 Глава 6. Дополнительная сложность для 4х цветов 16:50 Глава 7. Доакзательство теоремы о 4х красках 20:41 Глава 8. Значение теоремы о 4х красках 22:50 Три вывода [01] Краткая история https://www.maa.org/external_archive/devlin/devlin_01_05.html#:~:text=What%20makes%20the%20four%20color,not%20help%20you%20at%20all. [02] Полный обзор https://nrich.maths.org/6291 [03] Доказательство без компьютера https://arxiv.org/pdf/2212.09835.pdf [04] Некорректное доказательство https://arxiv.org/ftp/arxiv/papers/0905/0905.3713.pdf [05] Новое доказательство https://arxiv.org/pdf/2212.09835.pdf [06] Доказательство для частного случая https://arxiv.org/abs/1711.00934 [07] Понятные видео с иллюстрациями https://www.youtube.com/watch?v=ji3HdP5mI-I [08] Простая иллюстрация и много карт https://math.illinois.edu/system/files/inline-files/wilson-slides-11-2-17.pdf [09] Ещё одна полная история https://www.researchgate.net/publication/37988713_The_Journey_of_the_Four_Colour_Theorem_Through_Time/link/55878b5a08ae7bc2f44d4191/download [10] Источники оригинальных писем и публикаций http://assets.press.princeton.edu/chapters/s10116.pdf [11] Книга Пойа «Как решать задачу» http://www.vixri.ru/d/P%20O%20J%20A%20D.%20%20_KAK%20REShAT'%20ZADAChU.pdf [12] Доказательство Хакена и Аппеля – статья 2 https://projecteuclid.org/journals/illinois-journal-of-mathematics/volume-21/issue-3/Every-planar-map-is-four-colorable-Part-II-Reducibility/10.1215/ijm/1256049012.full [13] Доказательство Хакена и Аппеля – статья 1 https://projecteuclid.org/journals/illinois-journal-of-mathematics/volume-21/issue-3/Every-planar-map-is-four-colorable-Part-I-Discharging/10.1215/ijm/1256049011.full [14] Доказательство Великой Теоремы Ферма http://scienzamedia.uniroma2.it/~eal/Wiles-Fermat.pdf [15] Доказательство Робертсона https://www.ams.org/journals/era/1996-02-01/S1079-6762-96-00003-0/S1079-6762-96-00003-0.pdf [16] Доказательство без компьютера https://arxiv.org/ftp/arxiv/papers/0905/0905.3713.pdf [17] Ещё одно доказательство без компьютера https://www.researchgate.net/publication/230996303_A_most_simple_non-computer-aided_proof_of_the_Four-Color_Theorem Что ещё посмотреть: Как быстро вычислить любую цифру числа π - https://www.youtube.com/watch?v=1t1Jh8EgWa0&t=276s&ab_channel=VitalMath Задача об упаковке шаров - https://www.youtube.com/watch?v=EWX4BbawfNM&t=1317s&ab_channel=VitalMath