Лев Беклемишев - Компьютерные доказательства

Это видео было опубликовано на сайте ПостНаука (http://postnauka.ru/).
Больше лекций, интервью и статей о фундаментальной науке и ученых, которые ее создают, смотрите на сайте http://postnauka.ru/.
ПостНаука - все, что вы хотели знать о науке, но не знали, у кого спросить. Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.