«Кому верить в математике: человеку или компьютеру?» Андрей Старовойт

 

Андрей рассказывает про основные вехи компьютерных доказательств, начиная от теоремы о четырех красок, заканчивая ATP (Automated theorem proving). Цель лекции — разобраться, кому можно доверять в этом сложном мире.

Похожие видео