Гипотеза четырех красок: различия между версиями

Первое из многих ошибочных "доказательств" было дано А. Кемпе в 1879 г. Новую фазу в истории гипотезы открыло машинное доказательство В. Хакена и К. Апеля, появившееся в 1976 г. Это доказательство не было принято математической общественностью и породило новую проблему --- проблему методологии и корректности доказательств математических теорем с помощью ЭВМ.