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

November 20, 2020

Euclid’s Geometry as a Gentzen-style Theory : Euclid and Today’s Mathematical Practice

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

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

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

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

extended abstract (pdf)

Where: Boston University

When: Friday, March 27 CANCELED

also accepted for presentation at Logical Perspectives 2020 DELAYED until June 2021

February 10, 2020

Scientific Progress and Its Vulnerability

Filed under: Uncategorized — Andrei Rodin @ 9:48 pm

upcoming talk.

Were: the University of Turku, Philosophers’ Club (Spring 2020 Program)

When: Friday, April 24, 2020DELAYED

Older Posts »

Powered by WordPress