Daily Archives: September 25, 2017

Philosophie et calcul aujourd’hui : Deleuze et les triades de la substance chez Spinoza

https://hal.archives-ouvertes.fr/lirmm-00435704/document Dans “La raison systématique” Daniel Parrochia tente de formaliser, si je me souviens bien, une catégorie des systèmes philosophiques. Ce projet est voisin. Voir aussi la dianoématique de Martial Guéroult: https://www.cairn.info/revue-de-metaphysique-et-de-morale-2001-2-page-69.htm On peut distinguer cinq types de systèmes philosophiques: … Continue reading

Posted in category theory, Deleuze, Philosophie, Philosophie mathématique | Tagged , ,

Martin Scorsese : le loup de Wall Street (vf)

http://sokrostream.ws/films/le-loup-de-wall-street-78712.html (Choisir openload) Il faut écouter et prendre au sérieux les divagations de Mark Hannah au début : “J’emmerde le client… le but du jeu c’est de siphonner l’argent dans la poche du client et de le faire passer dans … Continue reading

Posted in Cinéma

Logic, types and Spaces : dependent fonction types

http://siddhartha-gadgil.github.io/LogicTypesSpaces/blog/2015/01/22/dependent-function-types/

Posted in homotopy type theory

Gershom Bazerman : from scheme to dependent type theory in 100 lines

https://www.meetup.com/fr-FR/LispNYC/events/217730802/?eventId=217730802&chapter_analytics_code=UA-20563213-1 Les vidéos de l’exposé: Les “slides” de l’exposé en pdf: https://raw.githubusercontent.com/gbaz/mess/master/scheme-to-type-theory.pdf Un papier de Per Martin Lof: http://www.cs.tufts.edu/~nr/cs257/archive/per-martin-lof/constructive-math.pdf

Posted in homotopy type theory | Tagged

“la vraie religion est le renoncement à la mort”

Il n’est pas difficile de voir que l’idole des enfants de “Sa majesté des mouches” est la mort et les terreurs qu’elle provoque : https://anthroposophiephilosophieetscience.wordpress.com/2017/09/24/peter-brook-sa-majeste-des-mouches-1963-vostfr/ C’est le cadavre décomposé d’un aviateur mort que son parachute gonflé par le vent fait … Continue reading

Posted in Philosophie