Daily Archives: March 10, 2019

#HoTT Homotopy type theory la nouvelle fondation des mathématiques du 21eme siècle

Cet article trace le parallèle entre le livre « Homotopy type theory Univalent foundations »: https://aperiodical.com/2013/06/homotopy-type-theory-a-new-foundation-for-21st-century-mathematics/ The HoTT Book Et les « Principia mathematica » de Whitehead et Russell, qui fonde les mathématiques du siècle dernier, et qui est ici : https://quod.lib.umich.edu/u/umhistmath/aat3201.0001.001/23?view=image&size=100 (En forme … Continue reading

Posted in Bertrand Russell, Computer science, EHTT, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Les solutions trouvées par Kurt Godel aux équations d’Einstein sous la forme d’ univers admettant les courbes fermées du genre Temps (i e Time travel)

https://fr.m.wikipedia.org/wiki/Univers_de_Gödel Cela prend la forme en pratique d’un univers en rotation rapide ( notamment une roue tournant sur elle même avec une vitesse égale à la moitié de la vitesse de la lumière, système irréalisable en pratique ) mais c’est … Continue reading

Posted in Philosophie, Physique, Quantum mechanics, Relativité, Science-internelle, Time

Les catsters sur YouTube : explication des monades par Eugenia Cheng

Ciné vidéos formidables avec Eugenia Cheng il y a 10 ans https://golem.ph.utexas.edu/category/2007/09/the_catsters_on_youtube.html La notion de monade est très importante et conduit à la dynamique monadique et aux réflexions scientifiques sur le Temps, ce mystère (aux yeux de Saint Augustin) https://meditationesdeprimaphilosophia.wordpress.com/2015/10/22/dynamique-monadique-le-temps-comme-propriete-universelle-du-changement/

Posted in category theory, Higher category theory, Philosophie, Physique, Plan vital-plan spirituel, Quantum mechanics, Science, mathesis, Science-internelle, Time