Tag Archives: Hilbert

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

De Hilbert à Lawvere, Schreiber et HoTT 2 : 1-topos et ∞-topos

Suite du dernier article, commentaires du travail d’Andrei Rodin : http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf Affirmation page 15 sur 75 : La conception qu’ont Hilbert et Lawvere De l’axiomatisation est significativement différente de ce qu’Andrei Rodin appelle “point de vue épistémologique”, et réaliser cette … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Science-internelle | Tagged , , , , , ,

Identités constructives pour la physique 1: Hilbert, Lawvere, Schreiber et HoTT

Ce travail d’Andrei Rodin: http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf qui date de 2014, aborde des points que nous avons commencé à traiter ici, en particulier les travaux de Lawvere sur l’axiomatisation, et ceux d’Urs Schreiber et Voevodsky en liaison avec HoTT (univalent foundations) Un … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics | Tagged , , , , , ,

Le trajet philosophique et mathématique de William Lawvere vers l’Aufhebung de Hegel 1

La page du Nlab est ici: https://ncatlab.org/nlab/show/Aufhebung Elle est très développée et auto-suffisante. L’Aufhebung est une notion centrale de la philosophie de Hegel, généralement traduite par “relèvement”, “relève “, “conservation-suppression”, “élévation”… http://www.philomag.com/les-idees/aufhebung-21357 https://fr.m.wikipedia.org/wiki/Subsomption On en trouve un exemple à la … Continue reading

Posted in Philosophie | Tagged , , , ,