Доклад на семинаре Института когнитивных исследований СПбГУ.
Когда: 22 сентября, начало в 18 часов
Где: Факультет Свободных Искусств и Наук СПбГУ (дворец Бобринских), ауд. 152
Формат: смешанный
September 14, 2021
Оптика математических понятий и топологический анализ данных
Comments Off on Оптика математических понятий и топологический анализ данных
July 25, 2021
Did Lobachevsky have a Model of his “Imaginary Geometry”?
Invited talk at the 26th International Congress of History of Science and Technology, Internet, July 25-31, 2021. (abstract)(slides)
Comments Off on Did Lobachevsky have a Model of his “Imaginary Geometry”?
July 13, 2021
Axiomatic and Genetic Methods of Concept- and Theory-Building: An Attempt of Synthesis
Contributed talk at the conference Logic, Relativity and Beyond organised by Alfréd Rényi Institute of Mathematics (Internet, 14-17 July, 2021)(abstract)(slides)
Comments Off on Axiomatic and Genetic Methods of Concept- and Theory-Building: An Attempt of Synthesis
June 16, 2021
Computer-assisted proofs and mathematical understanding: The case of univalent foundations
Contributed talk at the Logical Perspectives Workshop 2021, June 17, Steklov Mathematical Institute (slides)
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