4624
правки
Гипотеза четырех красок: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 7: | Строка 7: | ||
Сформулировал гипотезу британский математик А. Кэли в 1879 г. в статье, посвященной проблеме раскраски карт в первом томе Трудов Лондонского географического общества. | Сформулировал гипотезу британский математик А. Кэли в 1879 г. в статье, посвященной проблеме раскраски карт в первом томе Трудов Лондонского географического общества. | ||
Первое из многих ошибочных "доказательств" было дано А. Кемпе в 1879 г. Новую фазу в истории гипотезы открыло машинное доказательство В. Хакена и К. Апеля, появившееся в 1976 г. Это доказательство не было принято математической общественностью и породило новую | Первое из многих ошибочных "доказательств" было дано А. Кемпе в 1879 г. Новую фазу в истории гипотезы открыло машинное доказательство В. Хакена и К. Апеля, появившееся в 1976 г. Это доказательство не было принято математической общественностью и породило новую проблему --- проблему методологии и корректности доказательств математических теорем с помощью ЭВМ. | ||
проблему --- проблему методологии и корректности доказательств математических теорем с помощью ЭВМ. | |||
==Литература== | ==Литература== | ||
[Лекции] | [Лекции] | ||