Monthly Archives: September 2017

Un article de Francis Warrain sur la loi de création de Wronski dans Hermès numéro 3 1937

On peut le lire dans Scribd ou le télécharger ici: https://documents.tips/documents/hermes-ii-no-3-mars-1937.html

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

Help with #HoTT

C’est ici : https://math.stackexchange.com/questions/522239/where-to-get-help-with-homotopy-type-theory A noter le cours d’Awodey sur les catégories : Ainsi que cette conférence d’Awodey sur Mac Lane (fondateur avec Eilenberg de la théorie des catégories en 1945, ou 1942) et Rudolf Carnap : Steve Awodey est … Continue reading

Posted in category theory, Higher category theory, homotopy type theory, Philosophie mathématique | Tagged , ,

Société française de philosophie : conférences en téléchargement

http://www.sofrphilo.fr/activites-scientifiques-de-la-sfp/conferences/grandes-conferences-en-telechargement/

Posted in Philosophie

L’événement dans la philosophie de Léon Brunschvicg : entre fatalisme et histoire

Rester conscient de cet avertissement en note 1: “1 Il faut préciser que cette expression de philosophie de l’événement ne vient pas de Brunschvicg, mais de nous. Elle vise à unifier les projets des différents penseurs mentionnés ci-dessus. En vérité, … Continue reading

Posted in Alain Badiou, Léon Brunschvicg, Philosophie, Philosophie mathématique | Tagged , ,

Stanley Kubrick : Spartacus (1960, vf)

Ici https://m.ok.ru/video/195458107990 avec Kirk Douglas qui né en 1916 et toujours vivant aujourd’hui, avait alors 44 ans… Selon le philoblogzophe ce film annonce la traite et l’esclavage imposés par la race blanche maudite ( la seule race qui puisse être … Continue reading

Posted in Cinéma

Stanley Kubrick : Les sentiers de la gloire (vf, 1957)

Ici: https://m.ok.ru/video/87126510267 La fin est tout à fait bouleversante, à la balzac, les soldats, qui doivent retourner au front, conspuant cette chanteuse qui parle allemand, mais lorsqu’elle se met à chanter un “air” universel, une sorte de berceuse, qui leur … Continue reading

Posted in Cinéma | Tagged ,

Les films de Stanley Kubrick et le sexe

Il y a deux grands films de Kubrick qui tournent autour de ce sujet : Lolita 1962) : https://anthroposophiephilosophieetscience.wordpress.com/2017/09/27/stanley-kubrick-lolita-vf-1962/ Et son dernier film : Eyes wide shut (1999): En vo : https://m.ok.ru/dk?st.cmd=movieLayer&st.discId=97884244718&st.retLoc=default&st.discType=MOVIE&st.mvId=97884244718&st.stpos=rec_1&_prevCmd=movieLayer&tkn=5145 En vf (mais décalage entre le dialogue et … Continue reading

Posted in Cinéma | Tagged , ,

Homotopy Theory in Homotopy Type Theory: Introduction

Originally posted on Homotopy Type Theory:
Many of us working on homotopy type theory believe that it will be a better framework for doing math, and in particular computer-checked math, than set theory or classical higher-order logic or non-univalent type…

Posted in Philosophie

Stanley Kubrick : Lolita (vf) 1962

L’infinie misère humaine est dans le livre de Nabokov, adapté par Kubrick avec James Mason: https://m.ok.ru/dk?st.cmd=movieLayer&st.discId=207800961659&st.retLoc=default&st.discType=MOVIE&st.mvId=207800961659&st.stpos=rec_13&_prevCmd=movieLayer&tkn=899

Posted in Cinéma

Internal category in #HoTT

https://ncatlab.org/nlab/show/internal+category+in+homotopy+type+theory https://ncatlab.org/nlab/show/category+object+in+an+%28infinity%2C1%29-category

Posted in ∞-catégories, category theory, Higher category theory, homotopy type theory