Scisne?

Компьютерные доказательства

Лев Беклемишев

Комментарии: 0

Какую часть математических доказательств можно поручить компьютеру? Какие существуют виды интерактивных систем поиска математических доказательств? В чем заключается теорема о четырех красках? И как она была доказана? Об этом рассказывает доктор физико-математических наук Лев Беклемишев.

Лев Беклемишев - доктор физико-математических наук, член-корреспондент РАН, главный научный сотрудник Математического институт им. В.А. Стеклова РАН, профессор факультета математика ВШЭ.

Источник: ПостНаука
Комментарии: 0