Теорема о четырех красках – простая задача с непростым решением // 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/....
[02] Полный обзор https://nrich.maths.org/6291
[03] Доказательство без компьютера https://arxiv.org/pdf/2212.09835.pdf
[04] Некорректное доказательство https://arxiv.org/ftp/arxiv/papers/09...
[05] Новое доказательство https://arxiv.org/pdf/2212.09835.pdf
[06] Доказательство для частного случая https://arxiv.org/abs/1711.00934
[07] Понятные видео с иллюстрациями    • Graph Theory 6: Simple, Planar Graphs  
[08] Простая иллюстрация и много карт https://math.illinois.edu/system/file...
[09] Ещё одна полная история https://www.researchgate.net/publicat...
[10] Источники оригинальных писем и публикаций http://assets.press.princeton.edu/cha...
[11] Книга Пойа «Как решать задачу» http://www.vixri.ru/d/P%20O%20J%20A%2...
[12] Доказательство Хакена и Аппеля – статья 2 https://projecteuclid.org/journals/il...
[13] Доказательство Хакена и Аппеля – статья 1 https://projecteuclid.org/journals/il...
[14] Доказательство Великой Теоремы Ферма http://scienzamedia.uniroma2.it/~eal/...
[15] Доказательство Робертсона https://www.ams.org/journals/era/1996...
[16] Доказательство без компьютера https://arxiv.org/ftp/arxiv/papers/09...
[17] Ещё одно доказательство без компьютера https://www.researchgate.net/publicat...

Что ещё посмотреть:
Как быстро вычислить любую цифру числа π -    • Как быстро вычислить любую цифру числа π  ...  
Задача об упаковке шаров -    • Задача об упаковке шаров – задача столетия...