Andrei Rodin : what cimes after structural realism ? Homotopy type theory #HoTT

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

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