andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

June 26, 2020

Конструктивное знание – 12: формальные доказательства и человеческое понимание

Filed under: — Andrei Rodin @ 11:52 am

Когда: пятница 3 июля 2020 с 11 часов

Где: ИНТЕРНЕТ через ZOOM. Чтобы участвовать в мероприятии, пожалуйста, присылайте не позже полудня четверга 2 июля запросы мне на почту andrei собака philomatica точка org ; вечером в четверг я всем отправлю ответным письмом ссылку на зум-ссессию.

Программа:

11:00 – 12:00: НИКОЛАЙ ВАВИЛОВ

50 оттенков доказательства (abstract)(slides)(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)

16:15 – 17:15: СЕРГЕЙ КОВАЛЁВ

Об инженерном познании, понимании и верификации (abstract)(slides)

17:15 – 18:00: Общая дискуссия

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress