J’ai dit ici, et je redis donc, que la pensée humaine « renâcle « devant la difficulté, qu’est pour elle la pensée du temps et de l’un, et qu’elle préfère s’en détourner pour l’espace et l’être, qui sont nettement plus « dans ses cordes »
Cela me donne t’il le droit d’identifier, comme je l’ai fait : l’être avec l’espace et le passé, l’un avec le temps et l’instant, qui est l’Absolu ?
Sans doute pas !
Mais il reste qu’il faut avancer dans la brèche, la percée ainsi créée ( comme Husserl appelait ses « Recherches logiques » un « ouvrage de percée) et avancer c’est trouver cette nouvelle pensée « selon l’un » qui représentera pour l’humanité, enfermée depuis toujours dans les catégories de la « pensée selon l’être « une véritable « émancipation « , comme disent les « belles âmes « de gauche !
Cette nouvelle pensée, « dialectique de l’un » au delà de la « dialectique de l’être « ne peut être pour moi qu’une nouvelle façon de faire des mathématiques ; ce blog est influencé par la philosophie spinoziste de Léon Brunschvicg, appelée par lui « idéalisme mathématisant « , et d’ailleurs la possibilité d’accéder à cette nouvelle pensée selon l’un n’est elle pas la « réforme de l’entendement « que Spinoza appelait de ses vœux dans son ouvrage le plus important, malheureusement inachevé :
« Traité de la réforme de l’entendement «
http://spinozaetnous.org/wiki/Traitéde_la_réforme_de_l%27entendement(bilingue)
Une telle « nouvelle mathématique « ne peut émerger qu’en prenant la suite des trois cadres fondationnels de la mathématique que sont :
– la théorie des ensembles #ST
– la théorie des catégories #CT
– la théorie des types homotopiques #HoTT
Il est donc urgent, et c’est l’urgence principale du travail entrepris ici, de reprendre l’étude de #HoTT la théorie des types homotopiques (Homotopy type theory)
et ce d’autant plus qu’il me souvient d’une observation d’André Joyal, selon laquelle cette nouvelle forme mathématique, appelée aussi « univalent foundations » (UF) apparaît difficile et problématique a de nombreux mathématiciens habitués aux catégories, à #CT ( et je me situe parmi eux : j’ai beaucoup de difficultés avec #HoTT)
Cela n’est il pas le signe que cette nouvelle mathématique où le temps ne sera plus traité comme l’espace , sur le registre de l’être
https://espacehott.wordpress.com/2022/05/27/la-spatialisation-du-temps/
C’est tout simplement #HoTT ?
Pour répondre à cette interrogation, il faut reprendre cette étude, là où elle s’était arrêtée sur l’ancien blog, c’est à dire pas bien loin, pas assez loin hélas :