Алексей Васильевич Самохин, кандидат физико-математических наук, доцент, зав. кафедрой высшей математики Московского государственного технического университета гражданской авиации. Область научных интересов - алгебраические и геометрические структуры, связанные с нелинейными дифференциальными уравнениями. Автор 28 научных работ, одной монографии и 17 методических пособий для студентов.
Год:2000
Номер:7
Излагается история теоремы о четырех красках. Ее чрезвычайно длинное доказательство, притом использующее компьютер для проверки части утверждений, вызывает вопрос о том, что понимать под доказательством в математике и каково ее место среди других точных наук. Приведены некоторые эквивалентные формулировки и обобщения. В статье доказывается соответствующая теорема о пяти красках.
Текст статьи в формате PDF
