Читать книгу - "Большой роман о математике. История мира через призму математики - Микаэль Лонэ"

В 1852 г. южноафриканский математик Фрэнсис Гутри задался этим вопросом и высказал предположение, что для раскрашивания любой карты достаточно четырех цветов. После него многие ученые пытались доказать это утверждение, но никому не удавалось этого сделать на протяжении более чем столетия. Получилось, однако, достичь некоторого прогресса, в результате чего установлено, что все возможные карты могут быть сведены к 1478 отдельным случаям, каждый из которых требует проведения множества проверок. Один человек или даже целая команда людей не сможет проверить все возможные варианты. Для этого не хватило бы и целой жизни. Представьте разочарование математиков, у которых есть метод для доказательства или опровержения гипотезы, но нет достаточного количества времени для реализации соответствующей задачи!

В 1960-х гг. идея использовать компьютер начинает зарождаться в сознании некоторых ученых, и наконец в 1976 г. два американца, Кеннет Апел и Вольфганг Хакен, объявили, что они доказали теорему. Потребовалось более 1200 часов на проведение расчетов и было проведено 10 миллиардов элементарных операций на вычислительной машине, чтобы перебрать все возможные варианты для 1478 типов карт.

Оглашение этого результата имело эффект разорвавшейся бомбы в математическом сообществе. Можно ли доверять этому новому типу «доказательств»? Можем ли мы принять действительность доказательства такой длины, которое ни один человек в мире не смог бы дочитать до конца? До какой степени можно доверять машинам?

Эти вопросы вызывают много споров. В то время как одни утверждают, что мы не можем быть на 100 % уверены в том, что машина не ошибется, другие отвечают им, что то же самое можно было бы сказать и о людях. Неужели электронный механизм менее надежен, чем биологический механизм вида Homo sapiens? Данные, полученные с помощью машины из металла, менее надежны, чем доказательства, полученные машиной из плоти и крови? Мы уже неоднократно были свидетелями того, как математики, зачастую даже самые великие, допускали ошибки, которые обнаруживались только спустя какое-то время. Должно ли это заставить нас усомниться в правильности самого математического знания? В работе машины, несомненно, могут случиться неполадки, в результате чего будут допущены ошибки, но, если ее надежность по крайней мере равна человеческой (а зачастую она выше), нет никаких оснований отказываться от использования результатов, полученных с ее помощью.

Сегодня математики научились доверять компьютерам, и большинство из них в настоящее время считает действительным доказательство теоремы о четырех красках. Многие другие результаты были также получены с помощью компьютеров. Тем не менее прибегать к этому методу доказательства считается нежелательным. Краткое доказательство, сделанное без применения вычислительной техники, считается более красивым. Поскольку цель математики – изучение абстрактных объектов, доказательства, выведенные человеком самостоятельно, более наглядны и позволяют лучше понять саму их суть.