Archives quotidiennes :

Ensembles (sets) et #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 ενοσοφια μαθεσις

Emily Riehl écrit sur Twitter que la conclusion de ce texte article de Mike Shulman « will blow your mind »:

« homotopy type theory : The Logic of space « 

https://arxiv.org/pdf/1703.03007.pdf

La théorie des « espaces synthétiques » est expliquée sommairement au début, il s’agit de ne pas considérer la notion d’espace comme une structure surimposée à une construction ensembliste ( exemple : les variétés différentielles sont des structures mathématiques, définies à l’aide d’atlas , sur des ensembles de points) mais directement comme des constructions alternatives aux ensembles, avec les points jouant le rôle des éléments pour les ensembles. Ceci est la tâche de la théorie constructionniste des types (dépendent type theory) de Martin Lof :

https://ncatlab.org/nlab/show/Martin-Löf+dependent+type+theory

Ainsi, comme déjà noté, les types se présentent comme des collections de termes , analogues aux ensembles .
Comme d’autres systèmes formels, la theoriedes types de Martin Lof peut être interprétée dans des topos ou des « higher…

Voir l’article original 372 mots de plus

David Fincher : ZODIAC ( 2007)

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

https://fr.m.wikipedia.org/wiki/Zodiac_(film)

Le film peut être vu ici en vf (openload):

http://www.voirfilms.info/zodiac.htm

Ou ici, en vo (sous titres arabes):

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

La thèse de la culpabilité d’arthur Leigh Allen , mort en 1992, est endossée dans le film:

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

(Theodor Kaczynski , qui résidait alors à Berkeley , fait aussi partie des suspects)

Cependant il y a des éléments qui ne « collent pas » :

http://www.tueursenserie.org/arthur-leigh-allen/

Voir l’article original

Brian de Palma : le Dahlia noir (2006, vf)

#ScienceInternelle USA : l’affaire du « Dahlia noir » et l’affaire du ZODIAC

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

La Science internelle permet elle de résoudre des affaires de meurtres que la police n’a pas pu résoudre ? Si cela est possible ( notez le « si ») cele ne peut se faire que parce qu’un meurtrier ( et encore plus évidemment un artiste, un philosophe, ou un mathématicien) laisse ce qu’on pourrait appeler des « empreintes de pensée » ( l’expression est il me semble utilisée par un ancien policier sur un site consacré aux enquêtes criminelles) mais à la condition expresse qu’il s’agisse de pensée véritable et non de psychologie , c’est à dire que cette «  empreinte de pensée » ait un statut suprapsychique et soit composée d’Idées, et non pas seulement de sentiments « humains trop humains »; dans certaines conditions, si ces Idées sont identifiées et peuvent être attribuées à tel individu connu , qui de plus était vivant au moment des meurtres et a eu la possibilité physique de s’en…

Voir l’article original 1 393 mots de plus