Andrei Rodin : identity, equality and équivalence in mathematics

La théorie homotopique des types permet de dépasser la notion étroite d’identité :

http://philomatica.org/wp-content/uploads/2012/12/id_talk.pdf

Advertisements
This entry was posted in homotopy type theory, Philosophie, Philosophie mathématique and tagged . Bookmark the permalink.