О верификации математики

Семинар "Философского Штурма" (http://philosophystorm.ru/). Состоялся 02.04.16.
Докладчик: Болдачев Александр
Оппоненты: Гатиятуллин Булат (к.ф.н), Данилов Игорь (к.ф.н), Махина Наталья, Перфильев Станислав, , Смирнов Анатолий, Товтин Владимир, Горшков Александр.

Оператор: Гатиятуллин Булат.
Монтаж: Данилов Игорь.

Видео О верификации математики канала Философский Штурм