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

November 20, 2020

Euclid’s Geometry as a Gentzen-style Theory : Euclid and univalent foundations of mathematics

Filed under: Uncategorized — Andrei Rodin @ 12:51 pm

Contributed talk at the 2nd Congress of RSHPS, Section: History and Philosophy of Mathematics. (extended abstract) 27 November 2020, 14h50 Moscow time, via zoom, streamed on youtube. (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