Теорема о четырех красках – простая задача с непростым решением // 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] Краткая история #:~:text=What makes the four color,not help you at all. [02] Полный обзор [03] Доказательство без компьютера [04] Некорректное доказательство [05] Новое доказательство [06] Доказательство для частного случая [07] Понятные видео с иллюстрациями [08] Простая иллюстрация и много карт [09] Ещё одна полная история [10] Источники оригинальных писем и публикаций [11] Книга Пойа «Как решать задачу» O J A D. _KAK REShAT’ [12] Доказательство Хакена и Аппеля – статья 2 [13] Доказательство Хакена и Аппеля – статья 1 [14] Доказательство Великой Теоремы Ферма ~eal/ [15] Доказательство Робертсона [16] Доказательство без компьютера [17] Ещё одно доказательство без компьютера Что ещё посмотреть: Как быстро вычислить любую цифру числа π - Задача об упаковке шаров -