Daily Archives: October 31, 2017

Trois cours de Gambino, Licata, Lumsdaine sur #HoTT

http://smc2014.univ-lyon1.fr/doku.php?id=week1 Click to access fetch.php Click to access fetch.php Click to access fetch.php

Posted in homotopy type theory | Tagged , ,

#HoTT : Homotopy theory in type theory .. en vidéo

Exposé particulièrement clair qui a fait l’objet de cet article: https://anthroposophiephilosophieetscience.wordpress.com/2017/10/30/hott-homotopy-theory-in-type-theory-pour-une-comprehension-claire-de-la-theorie-homotopique-des-types/ La vidéo est ici :

Posted in Homotopy, homotopy type theory

Les deux natures ténébreuse et lumineuse de l’Occident

Ce que l’on appelle aujourd’hui « Occident » prend son origine dans l’Antiquité romaine et athénienne . C’est avec l’occupation Romaine, la naissance de Jésus puis les deux mises à sac de Jérusalem que le peuple juif se scinde en deux parties … Continue reading

Posted in Bible, Coran, Crise migratoire, Descartes, Europe, Islam, Israel, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie