Воркшоп "Конструктивное знание – 12"
3 июля состоялось онлайн-заседание семинара "Конструктивное знание – 12: формальные доказательства и человеческое понимание"
С докладами на семинаре выступили Николай Вавилов (СПбГУ), Сергей Ковалёв (ИПУ РАН), Андрей Родин (ИФ РАН) и Георгий Шабат (РГГУ).
Программа семинара
Видеозапись семинара
Дата
3 июля
2020
В статье упомянуты
Персоны