Monthly Archives: November 2017

#HoTT Book homotopy type theory

Originally posted on 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 théorie de l’homotopie. les types…

Posted in Philosophie

« 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

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

Ce soir sur Arte : le deuxième souffle

Il n’est visible ici qu’ avec voix russe : https://anthroposophiephilosophieetscience.wordpress.com/2016/10/17/le-deuxieme-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 de sa mort. Mais si … Continue reading

Posted in Cinéma

Le platonisme phénoménologique d’Albert Lautman

Originally posted on 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 blog : https://anthroposophiephilosophieetscience.wordpress.com Où les…

Posted in Philosophie

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

Originally posted on 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 de l’ordinateur et de ses…

Posted in Philosophie

André Joyal : notes on tribes and clans

Ces notes, qui sont la version la plus récente, (2017) seront améliorées : https://arxiv.org/pdf/1710.10238.pdf Voir aussi, pour comprendre toute l’importance des travaux de Joyal: https://anthroposophiephilosophieetscience.wordpress.com/2017/10/17/hott-andre-joyal-tribes-and-fibrations/ https://anthroposophiephilosophieetscience.wordpress.com/2017/10/20/hott-le-cours-dandre-joyal-en-cinq-parties-sur-les-tribus/

Posted in category theory, homotopy type theory, Philosophie, Philosophie mathématique, Science-internelle