Archives quotidiennes :

#HoTT : a synthetic approach to higher equalities ( Michael Shulman)

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

Cet article consacré au rôle de HoTT dans le fondement des mathématiques , est de nature plus philosophique que technique:

http://home.sandiego.edu/~shulman/papers/synhott.pdf

L’introduction commence avec les différences et les analogies entre ensembles ( sets) et types, qui sont les entités à la base de ZFC et HoTT et sont tous deux des collections d’objets : mais les types viennent accompagnés d’une nouvelle sorte de structures , les ∞-groupoides , qui consistent en les raisons ou manières dont deux éléments sont égaux , HoTT généralise ainsi des théories des ensembles comme la théorie coxnstructiviste de Bishop:

https://ncatlab.org/nlab/show/Bishop+set

http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/palmgren.pdf

mais en autorisant que deux éléments soient « le même  » de plus d’une façon.

Michael Shulman se positionne en faveur de HoTT et de la théorie des ∞-catégories (les deux sont fortement liées ) par rapport à l’ontologie ensembliste privilégiée par Badiou en affirmant Page 2 que « in addition to expanding The mathematical discourse…

View original post 24 mots de plus

Publicités