Guest
Оригинальное название: Math’s Map Coloring Problem - The First Proof Solved By A Computer Ссылка на оригинальное видео: Дата публикации оригинала: 8 августа 2023 г. Переведенное описание: Можете ли вы заполнить любую карту всего четырьмя цветами? Так называемая теорема о четырех цветах гласит, что вы всегда можете сделать это таким образом, чтобы соседние регионы никогда не имели один и тот же цвет. Но доказательство ускользало от математиков более столетия, прежде чем Вольфганг Хакен и Кеннет Аппель использовали компьютер, чтобы доказать, что оно истинно. Этот прорыв навсегда изменил математику. С участием Дэвида С. Ричесона, профессора математики и заведующего кафедрой гуманитарных наук Джона Дж. и Энн Керли Колледжа Дикинсон. Полную статью можно прочитать в журнале Quanta Magazine: Узнайте больше о теории графов: 00:00 Что такое задача четырех цветов? 01:12 Историческое происхождение теоремы о раскраске карты 01:49 Первые методы доказательства Кемпе с использованием плоских графов и неизбежных множеств. 04:49 Хивуд находит ошибку в доказательстве Кемпе 05:49 Как Аппель и Хакен использовали компьютер для проверки своих доказательств 08:15 Применение доказательства при изучении теории сетей - ПОСЕТИТЕ наш сайт: - ПОСТАВЬТЕ нам НРАВИТСЯ на Facebook: - СЛЕДУЙТЕ за нами в Твиттере: Журнал Quanta — редакционно независимое издание, поддерживаемое Фондом Саймонса: #математика #доказательство #информатика
