15 octobre 2014
Ce document est lié à :
info:eu-repo/semantics/reference/issn/2496-1353
info:eu-repo/semantics/openAccess
Gabriel Catren, « Workshop "On the Notion of Identification in Physics and Mathematics" », Nature absolue, ID : 10.58079/ujhi
Workshop "On the Notion of Identification in Physics and Mathematics" November 13rd, 2014 - University Paris Diderot Speakers: Mathieu Anel, David Corfield, Eric Finster, Urs Schreiber Program: 9:30 - 11:00 : M. Anel, Ambiguity in Mathematics. 11:15 - 12:45 : E. Finster, A Survey of Univalent Foundations. 14:30 - 16:00 : U. Schreiber, The Gauge Principle and Local Quantum Field Theory. 16:15 - 17:45 : D. Corfield, Cohesive Homotopy Type Theory: An opportunity to revive the philosophy of geom...