Daily Archives: July 27, 2017

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 Click to access 1703.03007.pdf

Posted in homotopy type theory, Physique

#Jerusalem: les démocrates ennemis du fascisme et du racisme doivent être aux côtés d’Israel

http://www.europe1.fr/international/a-lonu-israel-defend-ses-mesures-de-securite-a-jerusalem-3396788 Ce qu’il s’agit d’éviter, c’est une alliance ethnico-“religieuse” autour de “l’état juif” ..car l’alliance haineuse autour du NaziSSlam sera toujours plus importante. Finalement qu’est ce qu’un juif ? La réponse de la synagogue (“c’est quelqu’un de mère juive et … Continue reading

Posted in Bible, Coran, Islam, Israel, Philosophie