Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Это видео было опубликовано на сайте ПостНаука ( Больше лекций, интервью и статей о фундаментальной науке и ученых, которые ее создают, смотрите на сайте ПостНаука - все, что вы хотели знать о науке, но не знали, у кого спросить. Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.
