Теорема четырех цветов: Машины впервые угнали математиков

В июле 1976 года была окончательно раскрыта математическая загадка, которая на протяжении более чем века смущала математиков: «Четырехцветная теорема»* *Первый цвет Теоремы говорит о том, что для раскрашивания районов любой карты требуется не больше четырех цветов, так чтобы ни один из двух прилегающих регионов не имел одного цвета. Её авторы — Кеннет Аппель и Вольфганг Хакен — назвали бы необычным соавтором: компьютер проделал большую часть математической тяжелой работы, 1200 часов вычисления и 10 миллиардов решений, если быть точным. Аппель и Хакен позже описывают, как система никчемно учит нас тому, что делать дальше, чего мы никогда не ожидали, при том понимании, что эта система прошла через своих создателей в некоторых интеллектуальных задачах. Начался храбрый новый мир мужской математической математики, задавая себе вопрос: не слишком ли просто доверять математическим доказательствам? Реакции на реакцию от математиков варьировались: от принятия, до отказа и даже отрицания - вместо всеобщего обожания. Математики, которые гордятся рациональностью, вдруг столкнулись с математическим молохом на том, что должно было показаться нерелигиозной ереси. Бог не позволил бы теореме быть доказанным таким же ужасным способом! Они не являются математикой... Пол Хальмос, UC Santa Barbaron . Если решение будет предусматривать проверку на компьютере особых случаев ... это не относится к математическим наукам вообще. -- Фрэнк Бонсалл, Эдинбургский университет . -- Присвоение компьютера…