приглашенный доклад на Международном научном форуме по применению информационных технологий и компьютерного моделирования в научных исследованиях и инженерно-промышленном бизнесе FIT-M 2021, секция Вычислительная философия и Искусственный Интеллект, 16-18 декабря 2021. (abstract)(program)(invite)(slides)
December 8, 2021
Эпистемология топологического анализа данных
November 29, 2021
Унивалентные основания и прикладная математика.
приглашенный доклад на семинаре “Алгебраическая биология и теория систем” 15 декабря 2021 (abstract)(announcment)
Компьютерные доказательства и их понимание человеком: случай унивалентных оснований
Доклад на конференции Интеллектуальные системы и компьютерные науки, МГУ, 29 ноября – 3 декабря 2021 (extended abstract)
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.