Tag Archives: Alexandre Grothendieck

Lettre d’André Joyal à Grothendieck

https://webusers.imj-prg.fr/~georges.maltsiniotis/ps/lettreJoyal.pdf Advertisements

Posted in ∞-catégories, ∞-topoi, category theory, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , | Leave a comment

#HoTT Book : introduction

Le livre complet, 500 pages écrites par les experts mondiaux de cette nouvelle discipline, qui permet de fonder les mathématiques à nouveaux frais, et est très proche de la théorie des ∞-catégories et des ∞-Topoi, peut être téléchargé gratuitement ici: … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , , , ,

La théorie de l’homotopie de Grothendieck

Je me borne à donner le lien , pour celles et ceux que cela pourrait intéresser: https://webusers.imj-prg.fr/~georges.maltsiniotis/ps/prstnew.pdf mais je ne me sens pas de taille actuelllement à me colleter avec la pensée, extrêmement subtile et profonde de Grothendieck; à noter … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Grothendieck, homotopy type theory, Philosophie | Tagged , , , , , ,

Andrei Rodin 3 : Constructive identifies for physics

http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf Les conceptions de l’axiomatisation de Hilbert et Lawvere (hégélienne pour ce dernier ) doivent être remplacées par HoTT-UF qui s’origine de MLTT (Martin Lof constructive type theory). UF (Voevodsky) remplace l’option d’une théorie non axiomatique métamathématique par une théorie … Continue reading

Posted in Grothendieck, homotopy type theory, Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle | Tagged , , , , ,

Y a t’il une bulle de #HomotopyTypeTheory ?

C’est Urs Schreiber, qui sait quand même de quoi il parle, qui l’a suggéré en comparant la situation actuelle à la bulle boursière des valeurs internet vers l’an 2000: https://golem.ph.utexas.edu/category/2012/05/what_is_homotopy_type_theory_g.html Et il précise la comparaison en expliquant que le crash … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Matti Pitkanen-TGD, Philosophie, Physique, Quantum relativity, Relativité, Science, mathesis, Science-internelle | Tagged , , , , , ,

Un nouveau théorème de la #ScienceInternelle dit “théorème de Louis Ferdinand Céline”

Je nomme ce théorème d’après le dialogue du “Voyage au bout de la nuit” entre Baryton et Ferdinand: https://anthroposophiephilosophieetscience.wordpress.com/2017/04/14/louis-ferdinand-celine-extraits-du-voyage-au-bout-de-la-nuit-1932/ “Ah tenez Ferdinand, essayez de bien retenir ce que je vais vous expliquer.. il existe des fous simples, et puis il … Continue reading

Posted in Anthroposophie, ∞-catégories, ∞-cosmoi, ∞-topoi, Descartes, DIEU, Grothendieck, Hegel, Higher category theory, Higher topos theory, Léon Brunschvicg, Littérature-Poésie, Ouvert : dualité plan vital-plan spirituel, Pascal, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Platon, Science, mathesis, Science-internelle, Spinoza, Wronski | Tagged , , , , , , , , , , , ,

#ScienceInternelle 19 : recherches sur l’Idée de #Dieu qui est Dieu: ∞-catégorie des ∞-catégories

J’ai déjà affirmé ici que Dieu, le Dieu des philosophes et des Savants, est une Idée ,formée par l’esprit humain, pas un Être suprême qui pourrait avoir des intentions , des sentiments, des pensées , selon une image anthropomorphique . … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, Coran, Descartes, DIEU, Europe, Higher category theory, Higher topos theory, Islam, Israel, Léon Brunschvicg, nazisme, Ouvert : dualité plan vital-plan spirituel, Philosophie mathématique, Plan vital-plan spirituel, Platon, Religions, Science, mathesis, Science-internelle, Spinoza | Tagged , , , , , , , , , , , , , , , , , , ,