Category Archives: Physique

Évariste

https://fr.m.wikipedia.org/wiki/Évariste_(chanteur) Advertisements

Posted in Physique, Science, mathesis | Leave a comment

Premier contact (2016) : les humains, comme les toxicomanes chez Ernst Junger portent La Croix du temps!

Originally posted on Henosophia Léon BRUNSCHVICG et la philosophie Μαθεσις Universalis:
le film peut être vu ici en vf : https://m.ok.ru/video/216015440503 Cet article de l’an dernier à son sujet: https://anthroposophiephilosophieetscience.wordpress.com/2016/12/16/premier-contact-arrival-2016-excellent-et-important/ ? En fait ce que les extraterrestres apportent à l’humanité…

Posted in Cinéma, Cochet-Brunschvicg, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Physique, Science, mathesis, Science-internelle

Tout un tas de liens sur n-category cafe

https://golem.ph.utexas.edu/category/archives.html

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Physique, Science, mathesis

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