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

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)

June 29, 2020

Computer-Assisted Proofs and Mathematical Understanding: the case of Univalent Foundations

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

upcoming talk at the Workshop on Homotopy Type Theory/ Univalent Foundations (5-7 July 2020, Internet), co-located with FSCD2020

Конструктивное знание – 12: формальные доказательства и человеческое понимание

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

Когда: пятница 3 июля 2020 с 11 до 18 часов (4 доклада с перерывом на обед)

подробности

April 28, 2020

Математическая философия или философская математика? Топосы Александра Гротендика, Билла Лавера и Алана Бадью (доклад на семинаре)

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

Где: ИФРАН, семинар сектора аналитической антропологии (удаленно)

Когда: четверг 30 апреля 2020, начало в 6 Р.М.

Семинар пройдет в режиме видеоконференции (на платформе Zoom).

(abstract) (slides) (video)

March 29, 2020

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

Filed under: Uncategorized — Andrei Rodin @ 7:19 pm

Logic, Relativity and Beyond, Fried Castle Resort (Hungary – Simontornya) 17 June – 21 June 2020DELAYED

abstract (pdf)

March 5, 2020

TBA

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

upcoming invited talk at the PhilMath InterSem

Where: Paris, SPHERE

When: Friday, June 12 DELAYED UNTIL JUNE 2021

Older Posts »

Powered by WordPress