Archives mensuelles : septembre 2018
Les mythemes ou concepts du discours correspondent à ce que Max Tegmark appelle le « bagage « ; sciences véritables et pseudo- sciences
Plusieurs articles sont disponibles sur le travail de Max Tegmark « Our mathematical universe »:
Son article est ici sur Arxiv :
https://arxiv.org/pdf/0704.0646v2.pdf
mais j’ai acheté le livre « Notre univers mathématique « (Ed Ekho) qui est beaucoup plus détaillé que le simple article
« Tegmark poursuit sa « démonstration » en faisant intervenir la notion de « bagage » (humain, trop humain). Ce sont des mots signifiant des concepts que pour des humains , et encore, des humains ayant une certaine connaissance, au moins vulgarisée , des sciences modernes; par exemple des mots comme « particules, observations »…
Une théorie est composée de ce bagage purement humain et de notations mathématiques. En page 2 ( sur 31 au total) la figure 1 montre un arbre des différentes spécialités scientifiques telles qu’elles dérivent les unes des autres, ainsi par exemple la mécanique statistique suppose connue la mécanique classique. En descendant du haut…
Voir l’article original 781 mots de plus
Oxford handbook of philosophy of mathematics and logic
Du Concept au Mathème
http://mathesis.blogg.org/spinoza-et-whitehead-a115764128
Alexandre Kojeve définit le Concept ( Der Begriff) de Hegel comme :
« L’Unitotalité intégrée de toutes les notions non contradictoires » (à l’exclusion des pseudo-notions comme « Dieu-Etre-Eternel » donc)«
Mais après « Process and reality « le Concept doit à mon sens cédé la place au Mathème :
« Dans cet ouvrage Whitehead se situe lui-même explicitement dans la ligne de Spinoza :
« La philosophie de l’organisme est étroitement apparentée au schème de pensée de Spinoza. Mais elle en diffère en ce qu’elle abandonne les formes de pensée sujet-prédicat; elle n’admet pas le présupposé selon lequel une telle forme pourrait atteindre la caractérisation la plus ultime des faits. Il en résulte d’abord qu’on évite tout recours au concept de substance-qualité; ensuite qu’on remplace la description morphologique par celle de processus dynamique »
Whitehead a ceci en commun avec Bergson (et Frege, et bien d’autres) qu’il se méfie des « rets du langage » dans lesquels est…
Voir l’article original 1 036 mots de plus
John Boorman : Délivrance vf (1972)
https://m.ok.ru/video/199878314582
C’était l’époque , il y a près de 50 ans, où l’on commençait à parler des problèmes environnementaux, mais pas sur le ton d’affolement collectif que l’on connaît maintenant.
Quatre amis descendent une rivière sauvage de Géorgie, qui va bientôt disparaître , car l’état veut transformer la région de fond en comble. Même scénario que pour « O brother « donc , ou Faust .
Mais rien ne se passe comme prévu : ils sont assaillis par des chasseurs armés et l’un d’eux, Bobby, est violé. Lew, la forte tête du groupe, celui qui a eu l’idée de l’expédition, tue l’un des agresseurs d’une flèche, et le groupe décide, aux voix, d’enterrer le cadavre sans en parler à la police, bien que ce soit un cas clair d’auto-défense. L’un des deux agresseurs a pris la fuite, et à partir de là, les choses se gâtent : les radeaux des quatre…
Voir l’article original 408 mots de plus
Cours I de Nicola Gambino sur #HoTT : Type theory
Pour apprendre la théorie homotopique des types , on a le choix entre étudier les travaux des chercheurs comme André Joyal, Emily Riehl où Michael Shulman, ou bien lire le livre « Homotopy type theory « sur le blog du même nom :
https://homotopytypetheory.org
A master thesis on homotopy type theory
Il existe de nombreux articles sur les blogs Henosophia:
Pour les obtenir taper « #HoTT The book Henosophia »
Mais il y a aussi des cours de Nicola Gambino, sur sa page :
http://www1.maths.leeds.ac.uk/~pmtng/#Slides_of_talks
dont j’ai obtenu l’adresse dans un cours d’André Joyal :
Le cours I est ici :
http://www1.maths.leeds.ac.uk/~pmtng/Slides/HoTT-Lecture1.pdf
Il existe une ∞-catégorie de tous les types, qui est peut être un ∞-topos :
https://anthroposophiephilosophieetscience.wordpress.com/2017/10/03/l-∞-categorie-de-tous-les-types/
Page 7 : une théorie des types a pour fonction de dériver des jugements à partir d’autres jugements . Il y a plusieurs sortes de jugements :
A: Type « A est un type »
Voir l’article original 538 mots de plus
Eugenia Cheng : making sense of sets, in theory and life
Les ensembles ordonnés, qui peuvent être vus comme des catégorie (une flèche entre deux éléments ordonnés selon la relation d’ordre) sont obtenus en ajoutant de la structure à ce qui en est dépourvu : les ensembles..