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)

Powered by WordPress