Как компьютеры повлияли на решение проблемы четырех красок в математике?

Компьютеры помогли решить проблему четырёх красок в математике, так как позволили перебрать большое количество вариантов и ускорить процесс доказательства. www.xn----8sbempclcwd3bmt.xn--p1ai proza.ru

В 1976 году Кеннет Аппель и Вольфганг Хакен из Иллинойского университета использовали компьютер для доказательства теоремы о четырёх красках. ru.wikipedia.org ru.ruwiki.ru Они создали специальную программу, которая доказала свойство для определённого набора из 1936 карт. ru.wikipedia.org ru.ruwiki.ru

Идея доказательства состояла в следующем: сначала доказывалась возможность раскраски для карт с числом n стран, затем с помощью компьютера подтверждалась возможность раскраски карт. proza.ru На проверку некоторых фактов ушло 1200 часов компьютерного времени, что значительно меньше, чем потребовалось бы при проверке вручную. proza.ru

Решение проблемы четырёх красок стало первой крупной математической теоремой, доказанной с помощью компьютера, и считается примером неклассического доказательства в современной математике. ru.wikipedia.org proza.ru