Daily Archives: September 13, 2017

#WronskiScienceInternelleMessianismeReformeabsolue 4 les peuples slaves sont appelés à prendre en charge le destin de l’humanité

Le dernier article de ce Hashtag est ici : https://anthroposophiephilosophieetscience.wordpress.com/2017/05/17/wronskiscienceinternellemessianismereformeabsolue-3-developpement-progressif-de-lhumanite-origine-de-la-separation-gauche-droite/ on trouve les liens pour les articles précédents https://anthroposophiephilosophieetscience.wordpress.com/2017/04/28/wronskiscienceinternellemessianismereformeabsolue-1-messianisme-ou-reforme-absolue-du-savoir-humain/ et ceux permettant de lire l’œuvre capitale de Wronski : “Messianisme Réforme absolue du Savoir humain” (1847) en trois volumes Dans … Continue reading

Posted in Philosophie, Philosophie mathématique, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , ,

Stanley Kubrick : fear and desire v o st fr (1952)

Le premier film de Kubrick, qu’il détestait et a voulu détruire, mais pour moi son plus beau film: https://m.ok.ru/video/312775936653 Cette “forêt ” où il y a la guerre et qui “n’existe pas” c’est évidemment le “plan vital” et ces soldats … Continue reading

Posted in Cinéma | Tagged

André Joyal : categorical #HoTT 3

Nous poursuivons l’étude de la précieuse conférence de Joyal qui est ici : https://ncatlab.org/homotopytypetheory/files/Joyal.pdf Il est tout à fait utile d’étudier ce texte en même temps que le Big Book de HoTT pour garder le parallèle des notions catégoriques ( … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged

Church : a formulation of The simple theory of types

https://www.classes.cs.uchicago.edu/archive/2007/spring/32001-1/papers/church-1940.pdf Cité par Joyal dans: https://ncatlab.org/homotopytypetheory/files/Joyal.pdf Voir aussi: https://plato.stanford.edu/entries/type-theory-church/ https://www.cs.cmu.edu/~fp/talks/andrewsfest12.pdf

Posted in homotopy type theory, Logique, Philosophie | Tagged ,