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

July 25, 2021

Did Lobachevsky have a Model of his “Imaginary Geometry”?

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

Invited talk at the 26th International Congress of History of Science and Technology, Internet, July 25-31, 2021. (abstract)(slides)

July 13, 2021

Axiomatic and Genetic Methods of Concept- and Theory-Building: An Attempt of Synthesis

Filed under: Uncategorized — Andrei Rodin @ 3:02 pm

Contributed talk at the conference Logic, Relativity and Beyond organised by Alfréd Rényi Institute of Mathematics (Internet, 14-17 July, 2021)(abstract)(slides)

June 16, 2021

Computer-assisted proofs and mathematical understanding: The case of univalent foundations

Filed under: Uncategorized — Andrei Rodin @ 8:56 pm

Contributed talk at the Logical Perspectives Workshop 2021, June 17, Steklov Mathematical Institute (slides)

June 1, 2021

Mic Detlefsen on Frege-Hilbert Controversy.

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

Upcoming talk (June 3) at the PhilMath InterSem 2021, June 2-15, 2021 Paris-INTERNET, (program),( abstracts),(slides)

Mario Bunge Memorial Workshop / Мастерская памяти Марио Бунге,

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

IPRAS-INTERNET, May 13, 2021, program etc.

January 26, 2021

Незаконченный проект Воеводского

Filed under: Uncategorized — Andrei Rodin @ 3:10 pm

22 января 2021, доклад (zoom) на семинаре по философии математики в МГУ (видео)(статья)

December 22, 2020

Аксиоматическая архитектура научных теорий

Filed under: Uncategorized — Andrei Rodin @ 8:35 pm

В среду 23 декабря 2020 я защитил в Санкт-Петербургском государственном университете докторскую диссертацию на тему указанную в заголовке этого поста. Отзывы членов диссертационного совета (всего 7) и сам текст диссертации доступны здесь


Выкладываю также полный текст моего доклада

и полную видеозапись защиты: русская версия (оригинал) и english version (translation).

November 20, 2020

Euclid’s Geometry as a Gentzen-style Theory : Euclid and univalent foundations of mathematics

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

Contributed talk at the 2nd Congress of RSHPS, Section: History and Philosophy of Mathematics. (extended abstract) 27 November 2020, 14h50 Moscow time, via zoom, streamed on youtube. (slides)

October 8, 2020

Vladimir Voevodsky’s Unachieved Project

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

21 October 2020, 7 p.m. (ET: NYC) Talk at the NYC Category theory seminar. (abstract)(slides)(video)

October 5, 2020

Конструктивная формальная архитектура для научных теорий

Filed under: Uncategorized — Andrei Rodin @ 5:15 pm

Приглашенный доклад, Томск, 13 октября 2020 (abstract)(slides)(программа воркшопа 13-14 октября с описанием докладов)(объявление на сайте ТГУ)(видео 13 октября)(видео 14 октября часть 1)(видео 14 октября часть 2)

Older Posts »

Powered by WordPress