Теорема о четырех красках – простая задача с непростым решением // 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] Краткая история
,not%20help%20you%20at%20all. [02] Полный обзор
[03] Доказательство без компьютера
[04] Некорректное доказательство
[05] Новое доказательство
[06] Доказательство для частного случая
[07] Понятные видео с иллюстрациями https://www.youtube.com/watch?v=ji3HdP5mI-I
[08] Простая иллюстрация и много карт
[09] Ещё одна полная история
[10] Источники оригинальных писем и публикаций
[11] Книга Пойа «Как решать задачу»
'%20ZADAChU.pdf [12] Доказательство Хакена и Аппеля – статья 2
[13] Доказательство Хакена и Аппеля – статья 1
[14] Доказательство Великой Теоремы Ферма
[15] Доказательство Робертсона
[16] Доказательство без компьютера
[17] Ещё одно доказательство без компьютера
Что ещё посмотреть: Как быстро вычислить любую цифру числа - https://www.youtube.com/watch?v=1t1Jh8EgWa0&t=276s&ab_channel=VitalMath
Задача об упаковке шаров - https://www.youtube.com/watch?v=EWX4BbawfNM&t=1317s&ab_channel=VitalMath