Contributed talk at the Logical Perspectives Workshop 2021, June 17, Steklov Mathematical Institute (slides)
June 16, 2021
Computer-assisted proofs and mathematical understanding: The case of univalent foundations
Comments Off on Computer-assisted proofs and mathematical understanding: The case of univalent foundations
June 1, 2021
Mic Detlefsen on Frege-Hilbert Controversy.
Upcoming talk (June 3) at the PhilMath InterSem 2021, June 2-15, 2021 Paris-INTERNET, (program),( abstracts),(slides)
Comments Off on Mic Detlefsen on Frege-Hilbert Controversy.
Mario Bunge Memorial Workshop / Мастерская памяти Марио Бунге,
IPRAS-INTERNET, May 13, 2021, program etc.
Comments Off on Mario Bunge Memorial Workshop / Мастерская памяти Марио Бунге,