UNILOG 2022, Orthodox Academy of Crete, April 11, 2022. (slides)
April 11, 2022
Computer-Assisted Proofs, Univalent Foundations, and Axiomatic Method
January 23, 2022
Виталий Валентинович Целищев об эпистемологии математических доказательств
Доклад на конференции «Аналитическая философия: траектории истории и векторы развития» к 80-летию со дня рождения научного руководителя ИФПР СО РАН, д.филос.н., профессора Виталия Валентиновича Целищева, Новосибирск 25-26 февраля 2022 г. (extended abstract)(slides)
December 8, 2021
Эпистемология топологического анализа данных
приглашенный доклад на Международном научном форуме по применению информационных технологий и компьютерного моделирования в научных исследованиях и инженерно-промышленном бизнесе FIT-M 2021, секция Вычислительная философия и Искусственный Интеллект, 16-18 декабря 2021. (abstract)(program)(invite)(slides)
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)