Daily Archives: October 17, 2017

Elia Kazan : le mur invisible ( Gentleman’s agreement, 1947, vf)

https://fr.m.wikipedia.org/wiki/Le_Mur_invisible_(film,_1947) Ne pas confondre avec le film sorti en 2013 Le film de 1947 est ici en vf: https://m.ok.ru/video/41858239091 En vo (Anglais): https://m.ok.ru/video/269829802638 Tout cela est bien beau , mais il semble qu’une ombre (terrifiante) « se projette sur la joie … Continue reading

Posted in Cinéma | Tagged , ,

Un exemple précis de l’abîme entre plan vital et plan internel

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/16/campagne-de-denigrement-contre-olivia-caramello-de-la-communaute-des-theoriciens-des-topoi-unificationofmathematics/ cette campagne hostile est semble t’ol En contradiction avec les beaux propos de Brunschvicg sur le désintéressement absolu du Savant: https://leonbrunschvicg.wordpress.com/quelques-citations-eparses-de-brunschvicg-particulierement-eclairantes-voire-illuminatrices/ « cette attitude d’humilité sincère et scrupuleuse, de charité patiente et efficace, qui fait oublier au savant sa personnalité … Continue reading

Posted in Léon Brunschvicg, Philosophie, Science, mathesis

#HoTT : André Joyal : tribes and fibrations

Donc, récapitulons : https://ncatlab.org/homotopytypetheory/files/Joyal.pdf Un type est un objet d’une catégorie, appelée tribu (tribe) munie d’une classe F de morphismes, appelée « tribe Structure » ayant certaines propriétés particulières (page 14 sur 81) notamment des propriétés de fermeture pour certaines opérations, ainsi … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, homotopy type theory, Philosophie mathématique, Science-internelle, Théorie des topoi (topos theory)