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

Contributed talk at the 7th Workshop on Formal Topology (Venice 13-17 April 2026)(slides)

Приглашенный доклад на конференции Аналитическая философия: траектории истории и векторы развития организованной Институтом Философии и Права Новосибирского гос. университета 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)