Излагается история теоремы о четырех красках. Ее чрезвычайно длинное доказательство, притом использующее компьютер для проверки части утверждений, вызывает вопрос о том, что понимать под доказательством в математике и каково ее место среди других точных наук. Приведены некоторые эквивалентные формулировки и обобщения. В статье доказывается соответствующая теорема о пяти красках

Скачать книгу бесплатно (pdf, 128 Kb)

---

Читать «Проблема четырех красок: неоконченная история доказательства»