andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

May 3, 2025

Euclid, Lobachevsky, and teaching geometry in the Russian Empire of the early 19th century

Filed under: Uncategorized — Andrei Rodin @ 9:26 pm

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)

March 17, 2025

A.N. Kolmogorov sur la controverse Hilbert-Brouwer

Filed under: Uncategorized — Andrei Rodin @ 9:51 am

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)

March 13, 2025

‘The End of Theory’ and the Topological Data Analysis in the Biomedical Research

Filed under: Uncategorized — Andrei Rodin @ 7:53 am

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)

February 2, 2025

Понятие математической структуры согласно Владимиру Воеводскому

Filed under: Uncategorized — Andrei Rodin @ 12:18 pm

Приглашенный доклад на семинаре по теории категорий Высшей школы экономики (Москва), 7 февраля 2025: по зуму. (резюме)

The concept of mathematical structure according to Voevodsky

Filed under: Uncategorized — Andrei Rodin @ 11:42 am

Upcoming talk at the New York City Category Theory Seminar, April 23, 2025, GC CUNY (abstract)(related paper: arXiv)(slides)(video)

January 21, 2025

Stocker, sauvegarder, archiver : la pérennisation des données de la recherche en question (journée d’étude)

Filed under: Uncategorized — Andrei Rodin @ 1:27 pm

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)

October 17, 2024

Proclus on Euclid’s definition of plane angle and the concept of mathematical structure according to Voevodsky

Filed under: Uncategorized — Andrei Rodin @ 11:39 am

Talk at the seminar Histoire et Philosophie de Mathématiques in SPHERE , Paris, November 4, 2024 (abstract)(poster)(dayprogramme)(slides)(video) (related paper: arXiv)

July 15, 2024

Achieving Mathematical Understanding via Natural Language, Symbols and Diagrams (jww George Shabat)

Filed under: Uncategorized — Andrei Rodin @ 2:30 pm

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)

June 11, 2024

The Philosophy of HoTT: examining its foundational implications for mathematics and logic

Filed under: Uncategorized — Andrei Rodin @ 9:25 am

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)

Logic of Irreversible Reasoning: Directed Type Theory and Its Philosophical Significance

Filed under: Uncategorized — Andrei Rodin @ 9:17 am

Journée d’études sur HoTT, SPHERE, le 25 juin, 2024. (programme)(slides)(video)

Older Posts »

Powered by WordPress