Tag Archives: David Corfield

#HoTT expressing « the structure of » in homotopy type theory

https://ncatlab.org/davidcorfield/show/Expressing+%27The+Structure+of%27+in+Homotopy+Type+Theory Accès à l’article en cliquant sur « final draft « 

Posted in homotopy type theory, Philosophie mathématique | Tagged

David Corfield : commentaire sur Emmanuel Barot : Lautman

Click to access 039722ar.pdf

Posted in category theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , ,

#HoTT and philosophy

Il existe sur le blog “n-category cafe” un court article de David Corfield , philosophe-mathématicien, sur ce thème : https://golem.ph.utexas.edu/category/2016/09/hott_and_philosophy.html Les “slides” de sa conférence “The modality of physical law in modal HoTT” sont ici : Click to access Bristol.pdf … Continue reading

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

#ScienceInternelle 4: au fait, et Dieu dans tout ça ?

Comme il fallait s’y attendre , l’attentat horrible perpétré l’autre soir à Berlin par un camion fou, qui ne supportait sans doute pas les frustrations nées de la solitude, ni l’alcool (ou les deux), n’a rien à voir avec l’islam, … Continue reading

Posted in category theory, Cochet-Brunschvicg, Descartes, DIEU, Léon Brunschvicg, Ontologie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Platon, Religions, Science, mathesis, Science-internelle | Tagged , , , , , , , , , , , ,

#ScienceInternelle 3 : “returning to Lautman” par David Corfield

Je continue à réunir les pièces du puzzle lautmanien , très important pour la “Science internelle ” , avec cet article de David Corfield (qui est philosophe des mathématiques, mais je le classe comme Lautman dans le domaine de la … Continue reading

Posted in category theory, Europe, Higher category theory, Higher topos theory, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Tagged , , , , , ,