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)
June 11, 2024
The Philosophy of HoTT: examining its foundational implications for mathematics and logic
Comments Off on The Philosophy of HoTT: examining its foundational implications for mathematics and logic
Logic of Irreversible Reasoning: Directed Type Theory and Its Philosophical Significance
Comments Off on Logic of Irreversible Reasoning: Directed Type Theory and Its Philosophical Significance
June 2, 2024
Political propaganda in science and mathematics education : some historical examples and recent practices
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)
Comments Off on Political propaganda in science and mathematics education : some historical examples and recent practices