Видеозапись на youtube (канал Института Философии РАН)
Когда: пятница 3 июля 2020 с 11 часов
Где: ИНТЕРНЕТ через ZOOM. Чтобы участвовать в мероприятии, пожалуйста, присылайте не позже полудня четверга 2 июля запросы мне на почту andrei собака philomatica точка org ; вечером в четверг я всем отправлю ответным письмом ссылку на зум-ссессию.
Программа:
11:00 – 12:00: НИКОЛАЙ ВАВИЛОВ
50 оттенков доказательства (abstract)(related paper)
12:15 – 13:15: ГЕОРГИЙ ШАБАТ
О трёх составляющих понимания определений, утверждений и доказательств. (abstract)(slides)
13:15 – 15:00: – перерыв на обед
15:00 – 16:00: АНДРЕЙ РОДИН
Компьютерные доказательства и понимание в математике: случай унивалентных оснований (extended abstract)(slides)(related paper: see section 3.2), (related paper 2)
16:15 – 17:15: СЕРГЕЙ КОВАЛЁВ
Об инженерном познании, понимании и верификации (abstract)(slides)
17:15 – 18:00: Общая дискуссия