#HoTT and philosophy

Autrement qu'être Mathesis uni∜ersalis Problema Universale Heidegger/Husserl être/conscience : plan vital-ontologique vs plan spirituel d'immanence CLAVIS UNIVERSALIS HENOSOPHIA PANSOPHIA ενοσοφια μαθεσις

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 :

https://ncatlab.org/davidcorfield/files/Bristol.pdf

Sur David Corfield :

https://ncatlab.org/davidcorfield/show/HomePage

http://philsci-archive.pitt.edu/11809/1/Reviving..pdf

http://philsci-archive.pitt.edu/11862/1/The_Structure.pdf

D’autre part j’ai trouvé un papier sur la confrontation des théories des ensembles de Lawvere (structuraliste) et Bishop (constructiviste):

https://pdfs.semanticscholar.org/b2d0/b9a12e4feeebe5c6845e1aef535e2fc72d15.pdf

Les études de Félix Welles sur la géométrie différentielle , et donc la philosophie de la physique, sont ici:

https://fpfm.github.io/Slides_Wellen.pdf

Et ceux d’Urs Schreiber , à la conférence de Bristol, sur la « higher Cartan geometry »:

https://ncatlab.org/schreiber/files/SchreiberBristol2016.pdf

La thèse qu’il cite de Félix Wellen :

https://ncatlab.org/schreiber/show/thesis+Wellen

View original post

Publicités