Category Archives: Physique

La théorie des topoi et la physique

https://meditationesdeprimaphilosophia.wordpress.com/2015/07/18/quest-ce-quune-chose-physique-et-theorie-des-topoi-2/ L’article “what is a thing” est sur Arxiv: https://arxiv.org/pdf/0803.0417.pdf Bâtir une théorie physique équivaut à représenter dans un topos un langage formel lié au système physique à étudier. Ce topos est Set, le topos des ensembles, pour la physique … Continue reading

Posted in category theory, Higher topos theory, Physique, Science-internelle, Théorie des topoi (topos theory), topos physics | Tagged , , , , ,

#HoTT and philosophy

Il existe sur le blog “n-category cafe” un court article de David Corfield , philosophe-mathématicien, sur ce thème : https://golem.ph.utexas.edu/category/2016/09/hott_and_philosophy.html Les “slides” de sa conférence “The modality of physical law in modal HoTT” sont ici : https://ncatlab.org/davidcorfield/files/Bristol.pdf Sur David Corfield … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Philosophie, Philosophie mathématique, Physique | Tagged , , ,

Andrei Rodin 3 : Constructive identifies for physics

http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf Les conceptions de l’axiomatisation de Hilbert et Lawvere (hégélienne pour ce dernier ) doivent être remplacées par HoTT-UF qui s’origine de MLTT (Martin Lof constructive type theory). UF (Voevodsky) remplace l’option d’une théorie non axiomatique métamathématique par une théorie … Continue reading

Posted in Grothendieck, homotopy type theory, Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle | Tagged , , , , ,

Péclet :traité élémentaire de physique (1838)

https://books.google.fr/books?id=o1TPAAAAMAAJ&pg=PA416&lpg=PA416&dq=par+dela+les+nuages+ok.ru&source=bl&ots=AqIAk8KWMK&sig=7SWoYL7iMXJTrpg03GSkgl0bdgo&hl=fr&sa=X&ved=0ahUKEwjHpfLFirTVAhWLCMAKHdqtAl4Q6AEISTAO#v=onepage&q=par%20dela%20les%20nuages%20ok.ru&f=false

Posted in Philosophie, Physique, Science, mathesis

Modern physics formalized in modal HoTT

https://ncatlab.org/schreiber/show/Modern+Physics+formalized+in+Modal+Homotopy+Type+Theory Voir aussi: https://ncatlab.org/schreiber/show/Quantum+gauge+field+theory+in+Cohesive+homotopy+type+theory https://ncatlab.org/nlab/show/modal+type+theory https://arxiv.org/pdf/1703.03007.pdf

Posted in homotopy type theory, Physique

Identités constructives pour la physique 1: Hilbert, Lawvere, Schreiber et HoTT

Ce travail d’Andrei Rodin: http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf qui date de 2014, aborde des points que nous avons commencé à traiter ici, en particulier les travaux de Lawvere sur l’axiomatisation, et ceux d’Urs Schreiber et Voevodsky en liaison avec HoTT (univalent foundations) Un … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics | Tagged , , , , , ,

Information and interaction :Eddington, Wheeler and the limits of knowledge

https://books.google.fr/books?id=6zOyDQAAQBAJ&pg=PA124&lpg=PA124&dq=QBism+category+theory&source=bl&ots=ibzT28ENV0&sig=yoYSILqBApARzWoPKK2mJIXymAg&hl=fr&sa=X&ved=0ahUKEwjr196x_MLUAhWqC8AKHX2BDecQ6AEIMjAG#v=onepage&q=QBism%20category%20theory&f=false Chapitre 1: The boundaries of scientific thought (les frontières de la pensée scientifique ) Chapitre 2: le rôle de la religion

Posted in Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle