Invited talk at the workshop The Elements of Euclid between the 18th and 19th Centuries (Paris, SPHERE, June 2, 2025) organised by Vincenzo de Risi as a part of the project EUCLIDES (abstract)
May 3, 2025
Euclid, Lobachevsky, and teaching geometry in the Russian Empire of the early 19th century
Comments Off on Euclid, Lobachevsky, and teaching geometry in the Russian Empire of the early 19th century
March 17, 2025
A.N. Kolmogorov sur la controverse Hilbert-Brouwer
communication libre au Congrès de la Société Française d’Histoire des Sciences et des Techniques (Nancy, 9-11 avril 2025)(programme)(résumé)(affiches)
Comments Off on A.N. Kolmogorov sur la controverse Hilbert-Brouwer
March 13, 2025
‘The End of Theory’ and the Topological Data Analysis in the Biomedical Research
A recent draft, submitted as a chapter to : José Antonio Perez-Escobar and Deniz Sarikaya (editors) Mathematical tools in the life sciences: describing, explaining, understanding, and operating. Book series: History, Philosophy and Theory of the Life Sciences Springer (pdf)
Comments Off on ‘The End of Theory’ and the Topological Data Analysis in the Biomedical Research
February 2, 2025
Понятие математической структуры согласно Владимиру Воеводскому
Приглашенный доклад на семинаре по теории категорий Высшей школы экономики (Москва), 7 февраля 2025: по зуму. (резюме)
Comments Off on Понятие математической структуры согласно Владимиру Воеводскому
The concept of mathematical structure according to Voevodsky
Upcoming talk at the New York City Category Theory Seminar, April 23, 2025, GC CUNY (abstract)(related paper: arXiv)(slides)(video)
Comments Off on The concept of mathematical structure according to Voevodsky
January 21, 2025
Stocker, sauvegarder, archiver : la pérennisation des données de la recherche en question (journée d’étude)
Table ronde “Retours d’expérience sur l’archivage des données de la recherche” Université de Lorraine, Nancy, 13 mars 2025 (more info)(slides)(programme 13 mars)
Comments Off on Stocker, sauvegarder, archiver : la pérennisation des données de la recherche en question (journée d’étude)
October 17, 2024
Proclus on Euclid’s definition of plane angle and the concept of mathematical structure according to Voevodsky
Talk at the seminar Histoire et Philosophie de Mathématiques in SPHERE , Paris, November 4, 2024 (abstract)(poster)(dayprogramme)(slides)(video) (related paper: arXiv)
Comments Off on Proclus on Euclid’s definition of plane angle and the concept of mathematical structure according to Voevodsky
July 15, 2024
Achieving Mathematical Understanding via Natural Language, Symbols and Diagrams (jww George Shabat)
Talk at the workshop Diagrams in Mathematical Practice making part of Diagrams 2024 (14th International Conference on the Theory and Application of Diagrams)(abstract)(slides)
Comments Off on Achieving Mathematical Understanding via Natural Language, Symbols and Diagrams (jww George Shabat)
June 11, 2024
The Philosophy of HoTT: examining its foundational implications for mathematics and logic
Invited talk at the conference Logic, Methodology of Science & its Applications at Emily Harvey Foundation. New York, New York, Sat August 17, 2024 (program)(slides)(video : all talks)(video : Q&A)
Comments Off on The Philosophy of HoTT: examining its foundational implications for mathematics and logic
Logic of Irreversible Reasoning: Directed Type Theory and Its Philosophical Significance
Comments Off on Logic of Irreversible Reasoning: Directed Type Theory and Its Philosophical Significance