Статья 434

Тем не менее, даже работая по правильной программе, компьютер все же способен совершить ошибку в вычислениях.

Разумеется, ЭВМ не застрахованы от различного рода сбоев, порождающих ошибочные результаты. Но, к сожалению, человеку не приходится говорить в этой связи о превосходстве над машиной. Ошибками в математических публикациях никого не удивишь, особенно если речь идет о таких знаменитых проблемах, как проблема четырех красок, заманчивая простота которой, по выражению А.А.

Зыкова, явилась причиной того, что за ее решение, как и за доказательство Великой теоремы Ферма, взялись, кроме серьезных математиков, также целые полчища дилетантов.

Однако и серьезным математикам не удалось избежать ошибок. Еще в 1880 г. англичанин Кемпе опубликовал работу, в которой приводилось доказательство гипотезы четырех красок.