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

(in the context of automated theorem proving and beyond)

One-day workshop organised as a part of regular seminar on History and Philosophy of Mathematics in laboratory SPHERE, University Paris-Cité, on February 23, 2026. Further details.

On Monday January 12 I present my recent book in the laboratory SPHERE, University Paris-Cité. There’ll be other book presentations during the same session, which begins at 9h30 CET and continues utilising 13h CET (my presentation will start about 11h-11h15) (program)(slides)(video)

Invited talk at the workshop Fibonacci’s Garden 2: Navigating the fog (The Epistemology and Ethics of Formal Methods in the sciences with a focus on the life sciences & medicine and the question of explainability) (my abstract)(other abstracts)(slides)(video)

Call for Papers: deadline for submissions April 15, 2026

В издательстве Директ-Медиа вышла моя монография “Аксиоматическая архитектура научных теорий”, которая представляет собой переработанный варианта моей докторской диссертации с таким же названием.

Книгу можно купить в электронном или бумажном виде по этой ссылке.

Talk at the workshop on Truth and Meaning in Mathematics (Reykjavik, 25-27 June, 2025)(schedule) (abstract)(slides)(video)

Invited lecture in the Institute of Philosophy of Slovak Academy of Sciences (Bratislava), June 16 starting 11 a.m.) (abstract)(poster)(youtube stream and video)(slides)

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)(program)(slides)

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)

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)