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

June 29, 2020

Computer-Assisted Proofs and Mathematical Understanding: the case of Univalent Foundations

Filed under: Uncategorized — Andrei Rodin @ 12:44 pm

upcoming talk at the Workshop on Homotopy Type Theory/ Univalent Foundations (5-7 July 2020, Internet), co-located with FSCD2020

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

Filed under: Uncategorized — Andrei Rodin @ 12:39 pm

Когда: пятница 3 июля 2020 с 11 до 18 часов (4 доклада с перерывом на обед)


Powered by WordPress