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

Приглашенный доклад на конференции Аналитическая философия: траектории истории и векторы развития организованной Институтом Философии и Права Новосибирского гос. университета 28-29 апреля 2026 г (онлайн)(slides).

Contributed talk at the conference Lost in Transition: Topics forgotten in the turn to modern mathematics (Seville, 5-6 mars, 2026)(announcement)(program)(abstract)(slides)

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