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