Archives mensuelles : juin 2017

#Newcastle : ce n’est pas du terrorisme c’est simplement une voiture folle (police britannique )

L'homme occidental

http://www.20minutes.fr/monde/2093539-20170625-newcastle-voiture-fonce-musulmans-police-ecarte-piste-terroriste

Néanmoins, une voiture folle dont la conductrice de 42ans , une personne défavorisée, présentait selon les policiers un état d’ébriété important et des troubles d’ordre psychiatrique

View original post

Publicités

Axiomatic cohesion in HOTT

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

J’ai déjà parlé de cet article de blog, qui fait le lien entre les travaux de Lawvere sur « axiomatic cohesion « et l’homotopy type theory, à laquelle est associée de manière solidela théorie des ∞-catégories et ∞-topoi:

Axiomatic cohesion in HoTT

La correspondance est étudiée par le biais de la notion de langage interne qui est bien connue pour ce qui est des topoi ordinaires sous le nom de « langage de Mitchell-Benabou » et associée à la théorie extensinnelle des types :

https://ncatlab.org/nlab/show/extensional+type+theory

qui est une des « versions » ou « variantes » de la théorie des types de Martin-Lof, nouvelle fondation des mathématiques:

https://en.m.wikipedia.org/wiki/Intuitionistic_type_theory

https://ncatlab.org/nlab/show/Mitchell-Bénabou+language

language interne où les objets d’un topos s’identifient aux types.

Les chercheurs de pointe dans le domaine de HoTT , comme Mike Schulman rédacteur de l’article, pensent que certains des (∞,1)-topoi de Lurie peuvent être identifiés aux topoi cohésifs de Schreiber, eux mêmes généralisation aux (∞,1)-topoi , qui unifiés « tous…

View original post 157 mots de plus

HItchcock au début des années 60: « La mort aux trousses » et « Psychose »

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

« North by Northwest  » est de 1959 , « Psychose » de 1960 , j’ai donné les liens pour ces deux films depuis longtemps ici et notamment dans le dernier article à propos du film de 2012 sur HItchcock :

https://anthroposophiephilosophieetscience.wordpress.com/2017/06/22/hitchcock-film-sorti-en-2012/

qui s’appuie sur ces deux films et ce moment de la carrière de Hitchcock dont on lira un intéressant résumé (très documenté) ici :

https://fr.m.wikipedia.org/wiki/Alfred_Hitchcock

Je pense aussi que ce moment de sa carrière (le tournant des années 60) et ces deux films , sont les plus révélateurs sur le réalisateur (quoiqu’on pourrait et même devrait s’intéresser encore plus aux années 42-43, où il a fui le confort matériel et le sécurité que lui garantissaient les USA pour s’engager, lui et sa notoriété déjà importante, dans le conflit de la Deuxième guerre mondiale)
L’une des remarques les plus intéressantes de la page Wikipédia est que Hitchcock a permis de changer l’image…

View original post 446 mots de plus

Georg Stefan Troller : scénarios de « Welcome in Vienna »