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)
November 20, 2020
Euclid’s Geometry as a Gentzen-style Theory : Euclid and univalent foundations of mathematics
Comments Off on Euclid’s Geometry as a Gentzen-style Theory : Euclid and univalent foundations of mathematics