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

June 11, 2024

The Philosophy of HoTT: examining its foundational implications for mathematics and logic

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

Invited talk at the conference Logic, Methodology of Science & its Applications at Emily Harvey Foundation. New York, New York, Sat August 17, 2024 (program)(slides)(video : all talks)(video : Q&A)

Logic of Irreversible Reasoning: Directed Type Theory and Its Philosophical Significance

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

Journée d’études sur HoTT, SPHERE, le 25 juin, 2024. (programme)(slides)(video)

June 2, 2024

Political propaganda in science and mathematics education : some historical examples and recent practices 

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

Invited talk at the conference “Historical Past and Contemporary Propaganda in the Global Context “(Berlin, Humboldt Universität, June 7-8, 2024) organised jointly by Gagarin Center, Smolny Beyond Borders and Bard College Berlin (abstract)(programme)(slides)

Powered by WordPress