Category Archives: Théorie des ensembles (set theory)

#HoTT, théorie des catégories et des ensembles (ZFC)

Cet article « Univalent higher categories via complete semi-Segal types »: https://arxiv.org/pdf/1707.03693.pdf rappelle en Page 2 sur 31 que toutes les approches des catégories multidimensionnelles (higher categories) ont un point commun qui est d’utiliser les ensembles comme « building blocks » , exploitant ainsi … Continue reading

Posted in category theory, Homotopy, homotopy type theory, Science-internelle, Théorie des ensembles (set theory)

Wronski : le caractère trine de l’Idée de Dieu

Nous observons dans ce qui est appelé un peu pompeusement par Wronski « trinomie génétique » le caractère trine de l’Idée de Dieu dans la science internelle, en oubliant les formules mathématiques que Wronski lui associe et qui reflétent la science de … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, DIEU, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski, Wronski-Messianisme-séhélianisme-Science-internelle

Antti Veilahti : Badiou’s mistake

https://arxiv.org/pdf/1301.1203.pdf Le péché de Badiou consiste selon cet article à ignorer la différence entre ce qu’il appelle « local topos theory » c’est à dire page 4 sur 54 « elementary topos theory » et les topos de Grothendieck, qui sont des faisceaux https://mathesisuniversalis.wordpress.com/2015/07/22/grothendiecktopos-4-faisceaux-sur-un-site-topos-de-grothendieck/Continue reading

Posted in Alain Badiou, category theory, Philosophie, Philosophie mathématique, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

les résultats des Malliaris et Shelah sur l’hypothèse du continu

http://www.slate.fr/story/151703/mathematiciens-demonstrations-infinis-egaux

Posted in Logique, Philosophie, Philosophie mathématique, Science-internelle, Théorie des ensembles (set theory)

Paul Cohen, 1 to 6

Les cinq autres sont dans la colonne de droite

Posted in Alain Badiou, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

David Roberts : class forcing and topos theory

https://av.tib.eu/media/20743

Posted in Alain Badiou, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Beginner’s guide to forcing

http://www-math.mit.edu/~tchow/forcing.pdf

Posted in Alain Badiou, category theory, Philosophie, Philosophie mathématique, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)