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 / Мастерская памяти Марио Бунге,
January 26, 2021
Незаконченный проект Воеводского
Comments Off on Незаконченный проект Воеводского
December 22, 2020
Аксиоматическая архитектура научных теорий
В среду 23 декабря 2020 я защитил в Санкт-Петербургском государственном университете докторскую диссертацию на тему указанную в заголовке этого поста. Отзывы членов диссертационного совета (всего 7) и сам текст диссертации доступны здесь
Выкладываю также полный текст моего доклада
и полную видеозапись защиты: русская версия (оригинал) и english version (translation).
Comments Off on Аксиоматическая архитектура научных теорий
November 20, 2020
Euclid’s Geometry as a Gentzen-style Theory : Euclid and univalent foundations of mathematics
Contributed talk at the 2nd Congress of RSHPS, Section: History and Philosophy of Mathematics. (extended abstract) 27 November 2020, 14h50 Moscow time, via zoom, streamed on youtube. (slides)
Comments Off on Euclid’s Geometry as a Gentzen-style Theory : Euclid and univalent foundations of mathematics
October 8, 2020
Vladimir Voevodsky’s Unachieved Project
21 October 2020, 7 p.m. (ET: NYC) Talk at the NYC Category theory seminar. (abstract)(slides)(video)
Comments Off on Vladimir Voevodsky’s Unachieved Project
October 5, 2020
Конструктивная формальная архитектура для научных теорий
Приглашенный доклад, Томск, 13 октября 2020 (abstract)(slides)(программа воркшопа 13-14 октября с описанием докладов)(объявление на сайте ТГУ)(видео 13 октября)(видео 14 октября часть 1)(видео 14 октября часть 2)
Comments Off on Конструктивная формальная архитектура для научных теорий
June 29, 2020
Computer-Assisted Proofs and Mathematical Understanding: the case of Univalent Foundations
upcoming talk at the Workshop on Homotopy Type Theory/ Univalent Foundations (5-7 July 2020, Internet), co-located with FSCD2020
Comments Off on Computer-Assisted Proofs and Mathematical Understanding: the case of Univalent Foundations
Конструктивное знание – 12: формальные доказательства и человеческое понимание
Когда: пятница 3 июля 2020 с 11 до 18 часов (4 доклада с перерывом на обед)
Comments Off on Конструктивное знание – 12: формальные доказательства и человеческое понимание