Monthly Archives: November 2017

#HoTT Book homotopy type theory

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
La théorie homotopique des types (HoTT) est l’interprétation de la théorie des types à partir de la perspective de la…

Posted in Philosophie | Comments Off on #HoTT Book homotopy type theory

« Le deuxième souffle » en replay

http://www.tv-replay.fr/redirection/27-11-17/le-deuxieme-souffle-arte-12698018.html Valable sept jours ? Un pur chef d’oeuvre… Melville est vraiment le plus grand.. à comparer avec le film d’Alain Corneau plus récent…

Posted in Cinéma | Tagged | Comments Off on « Le deuxième souffle » en replay

Alfred Hitchcock : la corde (1948) en vf

https://ok.ru/videoembed/89813945019 En aucun cas Nietzsche ne défend nulle part des théories racialistes ni le « droit » pour des êtres « supérieurs » d’éliminer des êtres « inférieurs » mais le film a été réalisé après la seconde guerre mondiale, au cours de laquelle des millions … Continue reading

Posted in Cinéma | Comments Off on Alfred Hitchcock : la corde (1948) en vf

Ce soir sur Arte : le deuxième souffle

Il n’est visible ici qu’ avec voix russe : “Le deuxième souffle” de Jean-Pierre Melville (1966) Avec, en Introduction du générique, le fameux « théorème de Melville » : « A la naissance il n’est donné à l’homme qu’un seul droit : le choix … Continue reading

Posted in Cinéma | Comments Off on Ce soir sur Arte : le deuxième souffle

Le platonisme phénoménologique d’Albert Lautman

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://hal.archives-ouvertes.fr/halshs-01122319/document « Les mathématiques constituent la matière la plus proche des Idées « C’ est ce qui cloche dans l’autre…

Posted in Philosophie | Comments Off on Le platonisme phénoménologique d’Albert Lautman

Les grands théorèmes démontrés à l’aide de l’ordinateur

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
Il n’y a pas que le célèbre « théorème des quatre couleurs » qui ne puisse être démontré qu’avec l’aide…

Posted in Philosophie | Comments Off on Les grands théorèmes démontrés à l’aide de l’ordinateur

André Joyal : notes on tribes and clans

Ces notes, qui sont la version la plus récente, (2017) seront améliorées : Click to access 1710.10238.pdf Voir aussi, pour comprendre toute l’importance des travaux de Joyal: #HoTT : André Joyal : tribes and fibrations #HoTT : le cours d’André Joyal … Continue reading

Posted in category theory, homotopy type theory, Philosophie, Philosophie mathématique, Science-internelle | Comments Off on André Joyal : notes on tribes and clans

Billy Wilder ( Sunset Boulevard, 1950, vf)

https://m.ok.ru/video/132961470976

Posted in Cinéma | Comments Off on Billy Wilder ( Sunset Boulevard, 1950, vf)

Vedanta non-dualiste : Isha Upanishad

L’Isha Upanishad fait partie des Upanishads majeures, liste donnée ici page 7: Click to access 12%20Upanishads.pdf Texte, translittération et traduction donnée pages 15 à 21 Traduction en français ici : http://lafinefleurduyoga.over-blog.com/pages/Isha_Upanishad-336003.html http://consciencesansobjet.blogspot.fr/2011/05/isha-upanishad.html Et ici ( Shri Aurobindo traduit par Jean … Continue reading

Posted in Hindouisme, Ouvert : dualité plan vital-plan spirituel, Philosophie, Vedas-Vedanta | Comments Off on Vedanta non-dualiste : Isha Upanishad

Billy Wilder : ace in the hole ( le gouffre aux chimères, 1951, vo)

https://m.ok.ru/video/88500406971 Extraordinaire jeu de Kirk Douglas , qui avait alors 35 ans.. un film très noir, une tragédie plutôt qu’une comédie de Billy Wilder, comme Sunset Boulevard en 1950

Posted in Cinéma | Tagged , | Comments Off on Billy Wilder : ace in the hole ( le gouffre aux chimères, 1951, vo)