Tag Archives: Alexandre Grothendieck

#GrothendieckTopos exposé de Laurent Lafforgue sur le rôle important des topos de Grothendieck

Le texte de l’exposé est ici : https://www.laurentlafforgue.org/math/OCLLNotesCourtes.pdf Le site Google sur l’exposé : https://sites.google.com/site/logiquecategorique/autres-seminaires/nantes/20160401-Lafforgue-Topos Les vues endossées sur ce blog, à propos de Grothendieck et de la théorie des topoi, ont été développées ici : https://anthroposophiephilosophieetscience.wordpress.com/2019/08/10/laurent-lafforgue-les-topoi-de-grothendieck-et-le-role-quils-peuvent-jouer-en-mathematiques/ et ici : … Continue reading

Posted in category theory, Cochet-Brunschvicg, Ensembles simpliciaux, Grothendieck, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , ,

Grothendieck en 1972 note l’existence « d’une profonde crise de la connaissance »

Relisons cette « causerie », plutôt que « conférence », qu’a donnée Alexander Grothendieck au CERN le 27/01/1972 : https://sniadecki.wordpress.com/2012/05/20/grothendieck-recherche/ «Finalement, de par sa propre logique interne, par l’évolution de la méthode analytique, on est arrivé à un point où, … Continue reading

Posted in Cochet-Brunschvicg, Grothendieck, Léon Brunschvicg, Occident faustien, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , ,

Une note de Laurent Lafforgue sur la discrimination subie par Olivia Caramello dans le « milieu mathématique »

  https://www.laurentlafforgue.org/math/NoriMotivesInformation.pdf Déjà Olivia Caramello s’était plainte d’une véritable campagne de dénigrement menée contre ses travaux: https://anthroposophiephilosophieetscience.wordpress.com/2017/10/16/campagne-de-denigrement-contre-olivia-caramello-de-la-communaute-des-theoriciens-des-topoi-unificationofmathematics/ «Another reason for this hostility is the fact that my ideas are ‘heretical’ with respect to the Lawverian tradition in categorical logic which … Continue reading

Posted in category theory, Cochet-Brunschvicg, Grothendieck, homotopy type theory, Léon Brunschvicg, Logique, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Simone Weil, Spinoza, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , ,

Lettre d’André Joyal à Grothendieck

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

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 ,

#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 , , , , ,