Category Archives: Philosophie

Combinatorial Species and Finite Sets in HoTT

Originally posted on Homotopy Type Theory:
(Post by Brent Yorgey) My dissertation was on the topic of combinatorial species, and specifically on the idea of using species as a foundation for thinking about generalized notions of algebraic data types. (Species…

Posted in Philosophie | Leave a comment

David Ellerman : théorie hétéromorphique de l’adjonction

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια PRINCIPIA TOPOSOPHICA οντοποσοφια ενοσοφια:
Nous accordons ici une grand emporta ce aux travaux de David Ellerman, voir: https://mathesisuniversalis.wordpress.com/2015/08/12/david-ellerman-foncteurs-adjoints-et-heteromorphismes/ https://meditationesdeprimaphilosophia.wordpress.com/2015/10/11/david-ellerman-theorie-des-ensembles-et-universaux-abstraits/ Car ce chercheur place l’idée d’adjonction au rang le plus important des inventions dont nous sommes…

Posted in Philosophie | Leave a comment

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 | Leave a comment

Le principe d’unité dans le Coran et la Torah

Islam comme christianisme sont issus du judaïsme, et d’une scission de celui ci provoquée par l’Evénement- Jésus mais aussi par la conquête par Rome : le peuple juif se sépare en deux composantes, l’une , les Nazaréens , guerrière et … Continue reading

Posted in Alain Badiou, Bible, Christianisme, Coran, Islam, Israel, Léon Brunschvicg, nazisme, Ontologie, Philosophie, Platon, Religions, Science-internelle | Leave a comment

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) | Leave a comment

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) | Leave a comment

Badiou : la subjectivité de la classe moyenne des pays blancs

Posted in Alain Badiou, Philosophie | Leave a comment