Talk at the workshop on Truth and Meaning in Mathematics (Reykjavik, 25-27 June, 2025)(schedule) (abstract)(slides)(video)
May 25, 2025
Truth and Meaning in the Automated Proof Verification
Comments Off on Truth and Meaning in the Automated Proof Verification
Automated Proof Verification and Foundations of Mathematics
Invited lecture in the Institute of Philosophy of Slovak Academy of Sciences (Bratislava), June 16 starting 11 a.m.) (abstract)(poster)(youtube stream and video)(slides)
Comments Off on Automated Proof Verification and Foundations of Mathematics
May 3, 2025
Euclid, Lobachevsky, and teaching geometry in the Russian Empire of the early 19th century
Invited talk at the workshop The Elements of Euclid between the 18th and 19th Centuries (Paris, SPHERE, June 2, 2025) organised by Vincenzo de Risi as a part of the project EUCLIDES (abstract)(program)(slides)
Comments Off on Euclid, Lobachevsky, and teaching geometry in the Russian Empire of the early 19th century