Archives de l’auteur : mathesisuniversalis

La Bataille pour Anzio ( Edward Dmytryck, 1968, vf)

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://m.ok.ru/video/195708258902

********

https://fr.m.wikipedia.org/wiki/Opération_Shingle

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

Le correspondant de guerre Dick Ennis, joué par Robert Mitchum, fait une découverte « métaphysique » pendant cette campagne : si certains hommes aiment la guerre , c’est qu’ils aiment tuer!
La guerre est le seul moment où ils peuvent le faire sans être poursuivis en justice, mieux il est même obligatoire à la guerre de tuer les ennemis.

L’ennemi peut aussi être plus fort, plus rapide et vous tuer le premier. C’est une lutte à égalité. Par contre les épouvantables massacres nés avec le « progrès » des armements, qui débute avec les canons des campagnes napoléoniennes, font que la guerre « moderne » ressemble de moins en moins à ce schéma : lorsque toute une compagnie est massacrée par un seul obus, comme cela s’est produit pendant la première guerre mondiale, il reste peu de place pour « l’intensification de la vie » que recherchent ceux qui aiment la guerre, comme le…

View original post 165 mots de plus

La théorie des types et ses applications à la Science des ordinateurs

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://pdfs.semanticscholar.org/7f8b/cb79306cd0d1e5870b5f0b8038c3c94983fd.pdf
La théorie des types émerge des travaux de Bertrand Russell , au début du 20eme siècle, elle atteint des niveaux plus sophistiqués dans les recherches de logiciens comme Alonso Chirch , HoTT en est le stade le plus moderne ( début du 21 éme siècle ) et constitue une nouvelle manière de fonder toutes les mathématiques.
HoTT (homotopy type theory) se situe au croisement de l’homotopie, de la théorie des ∞-catégories, de la logique mathématique et de la Science des ordinateurs (« computer Science »).
L’article suivant fait le point sur ces applications pratiques:

https://pdfs.semanticscholar.org/7f8b/cb79306cd0d1e5870b5f0b8038c3c94983fd.pdf

Dans ce blog nous en resterons aux mathématiques, mais il est important d’être au courant des applications en informatique.

View original post

Joyal : categorical #HoTT 1

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://ncatlab.org/homotopytypetheory/files/Joyal.pdf

La définition importante (Page 13-14 sur 81) est celle de tribu (« tribe « ) , c’est à dire une catégorie C munie d’une structur de tribu F (une sous-catégorie F de C) et d’un objet terminal.

Les morphismes de F sont appelés fibrations.

Les types sont les objets E d’une tribu C, noté

⊢E : type

Un terme de type E est un morphisme :

* ? E

où * est l’objet terminal

(Dans la théorie des catégories les flèches de l’objet terminal vers un objet quelconque A sont appelés éléments de A si A est un ensemble, ils se confondent avec les éléments de A au sens ensembliste)

Des exemples de tribus ( avec un choix adéquat des fibrations ) sont donnés Page 15:
notamment la catégorie Grpd des ( petits) groupoides, la catégorie Kan des complexes de Kan

View original post

L’univers des films policiers de Jean-Pierre Melville cache le monde implacable de la Résistance

#BrunschvicgAgesIntelligence le préjugé de l’intelligible

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

C’est le chapitre 1 des « Âgés de l’intelligence »:

http://classiques.uqac.ca/classiques/brunschvicg_leon/ages_de_intelligence/brunschvicg_ages_intelligence.doc#c1

La dualité de l’Ouvert, entre monde et plan internel-spirituel, semble inspirée par ce préjugé qui remonte aux peuples primitifs, d’avant la ligne de démarcation des Temps qui est le cartésianisme:

« Quand nous le qualifions de préintelligible, nous traduisons encore notre inquiétude et nos réserves devant l’assurance dogmatique de la pensée primitive. En fait, le primitif est, comme l’enfant, réaliste sans réserve et sans arrière-pensée. Il adhère avec une foi entière à l’objet qui occupe son esprit, cet objet ne fût-il qu’un mot ; car tout ce dont on parle existe, du fait même qu’on en parle. Et puisque c’est un privilège du croyant qu’il a « l’impression de comprendre l’incompréhensible » , on pourra dire de la mentalité primitive qu’elle est une mystique de l’intelligible, d’un intelligible qui, bien entendu n’a rien à faire avec ce que nous considérons comme la…

View original post 748 mots de plus

La querelle de l’athéisme de Fichte

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/Querelle_de_l%27athéisme

« « Un Dieu qui doit être le serviteur des désirs est un être méprisable ; il remplit une fonction qui répugnerait à tout honnête homme. Un pareil Dieu est un méchant être ; il entretient et éternise la perdition des hommes et la dégradation de la Raison ; un pareil Dieu, c’est à proprement parler et tout justement ce Prince de la terre, jugé et condamné depuis longtemps par la bouche du Verbe dont il fausse les paroles. Son office est l’office de ce Prince ; sa fonction, de subvenir aux besoins de la police. Ce sont eux les véritables athées, ils n’ont absolument pas de Dieu ; ils se sont forgé une idole impie… Accomplir certaines cérémonies, réciter certaines formules, croire des propositions incompréhensibles, ce sont tous leurs moyens de se mettre bien en cour avec lui et de recevoir ses bénédictions. Ils adressent à Dieu des louanges…

View original post 199 mots de plus

Fichte : introductions berlinoises à la philosophie

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

Ces lignes, résumées, sont extraites de la présentation des « Introductions berlinoises de Fichte à la philosophie »:

https://books.google.fr/books?id=v38WAwAAQBAJ&printsec=frontcover&hl=fr#v=onepage&q&f=false

Léon Brunschvicg est appelé fréquemment le « Fichte Français » selon Jean Michel Le Lannou:

https://anthroposophiephilosophieetscience.wordpress.com/2016/05/25/expose-de-jean-michel-le-lannou-sur-brunschvicg-la-puissance-de-lidee/

En tout cas , plus d’un siècle avant celle de Brunschvicg:

https://leonbrunschvicg.wordpress.com/2012/09/11/la-querelle-de-latheisme-de-brunschvicg/

Fichte avait écrit une « querelle de l’athéisme »:

https://books.google.fr/books?id=s6uzOaHFgN4C&printsec=frontcover&hl=fr#v=onepage&q&f=false

où il oppose au  » dieu des religions » qui n’est jamais que le dieu de l’instinct et de l’égoïsme vital le « dieu des philosophes et des savants »
Mais bien entendu, nous qui vivons cette angoissante périodes contemporaine du terrorisme, nous savons que la seule « religion » qui divinise l’instinct sanguinaire propre au plan vital est l’islam, le naziSSlam, et que christianisme comme judaïsme sont des messages de paix, de tolérance et d’amour.

Il y a une première philosophie de Fichte, une philosophie du Moi, qui a été mal comprise parce que l’on a confondu le Moi transcendantal avec le moi…

View original post 689 mots de plus