Доклад на конференции Интеллектуальные системы и компьютерные науки, МГУ, 29 ноября – 3 декабря 2021 (extended abstract)
November 29, 2021
Компьютерные доказательства и их понимание человеком: случай унивалентных оснований
September 20, 2021
Как на самом деле Эйлер решал задачу о Кёнигсбергских мостах, и почему это имеет значение
приглашенный доклад на Ученом Совете Института Истории Естествознания и Техники РАН
Когда: четверг 7 октября 2021, начало в 13 часов
Где: Москва, ул.Балтийская, д.14
Формат: очный
September 14, 2021
Оптика математических понятий и топологический анализ данных
Доклад на семинаре Института когнитивных исследований СПбГУ.
Когда: 22 сентября, начало в 18 часов
Где: Факультет Свободных Искусств и Наук СПбГУ (дворец Бобринских), ауд. 152
Формат: смешанный
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)
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)
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)
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)
Mario Bunge Memorial Workshop / Мастерская памяти Марио Бунге,
IPRAS-INTERNET, May 13, 2021, program etc.
January 26, 2021
Незаконченный проект Воеводского
December 22, 2020
Аксиоматическая архитектура научных теорий
В среду 23 декабря 2020 я защитил в Санкт-Петербургском государственном университете докторскую диссертацию на тему указанную в заголовке этого поста. Отзывы членов диссертационного совета (всего 7) и сам текст диссертации доступны здесь
Выкладываю также полный текст моего доклада
и полную видеозапись защиты: русская версия (оригинал) и english version (translation).