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)
November 20, 2020
Euclid’s Geometry as a Gentzen-style Theory : Euclid and univalent foundations of mathematics
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: формальные доказательства и человеческое понимание
April 28, 2020
Математическая философия или философская математика? Топосы Александра Гротендика, Билла Лавера и Алана Бадью (доклад на семинаре)
Где: ИФРАН, семинар сектора аналитической антропологии (удаленно)
Когда: четверг 30 апреля 2020, начало в 6 Р.М.
Семинар пройдет в режиме видеоконференции (на платформе Zoom).
Comments Off on Математическая философия или философская математика? Топосы Александра Гротендика, Билла Лавера и Алана Бадью (доклад на семинаре)
March 29, 2020
Axiomatic and Genetic Methods of Concept- and Theory-Building: an Attempt of Synthesis
Logic, Relativity and Beyond, Fried Castle Resort (Hungary – Simontornya) 17 June – 21 June 2020DELAYED
abstract (pdf)
Comments Off on Axiomatic and Genetic Methods of Concept- and Theory-Building: an Attempt of Synthesis
March 5, 2020
TBA
upcoming invited talk at the PhilMath InterSem
Where: Paris, SPHERE
When: Friday, June 12 DELAYED UNTIL JUNE 2021
Comments Off on TBA
Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations
extended abstract (pdf)
Where: Boston University
When: Friday, March 27 CANCELED
also accepted for presentation at Logical Perspectives 2020 DELAYED until June 2021
Comments Off on Computer-Assisted Proofs and Mathematical Understanding: the Case of Univalent Foundations
February 10, 2020
Scientific Progress and Its Vulnerability
upcoming talk.
Were: the University of Turku, Philosophers’ Club (Spring 2020 Program)
When: Friday, April 24, 2020DELAYED
Comments Off on Scientific Progress and Its Vulnerability