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)

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress