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

March 16, 2016

Two invited lectures in the University of Turku, 15 March 2016

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


Model-Based Knowledge and Its Representation.  (slides)(announcement)


What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky.  (slides)

Powered by WordPress