Monthly Archives: October 2018

Le lieu intelligible ou référentiel absolu chez Badiou : la parabole de l’éléphant

Parabole à l’origine du titre du livre de Peter Johnstone : » Sketches of an elephant «  : https://ncatlab.org/nlab/show/Elephant https://en.m.wikipedia.org/wiki/Blind_men_and_an_elephant La parabole est rappelée dans l’article de Bas Spitters sur les ensembles dans la théorie homotopique des types : https://hottandphilosophy.wordpress.com/2018/10/24/hott-sets-in-homotopy-type-theory-bas-spitters/ La … Continue reading

Posted in Alain Badiou, DIEU, homotopy type theory, Ontologie, Phénoménologie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Cisinski : les préfaisceaux comme modèles des types d’homotopie

Click to access ast.pdf Comme alternative au vol 3 de «  Sketches of an elephant «  https://math.stackexchange.com/questions/573118/volume-3-of-johnstones-sketches-of-an-elephant

Posted in homotopy type theory, Philosophie mathématique, Science-internelle, Théorie des topoi (topos theory)

Cat, catégorie des (petites) catégories , est un typos

C’est un théorème de Lamarche- voir cette note de Joyal : page 58 sur 75 Click to access joyal-crm-2013.pdf Sur la notion de typos : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/22/hott-andre-joyal-la-notion-de-typos/ Cette notion est définie dans la note de Joyal donnée au début Click to … Continue reading

Posted in category theory, homotopy type theory, Philosophie, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Mathematics and computer science

Originally posted on Intuitionistic Type Theory:
Mathematics, logic, and computer science share a common history. Mathematics and logic are ancient dragons, and not much upheaval is to be expected in their futures. But where lies the future of computer science?…

Posted in Philosophie

#HoTT un univers U qui s’inclut lui-même ; U: U

Dans ces notes de cours sur la théorie homotopique des types : Click to access notes_week5.pdf le paragraphe 3 page 2 est consacrée à la hiérarchie cumulative d’univers ( analogue à la hiérarchie cumulative V mise en avant par Badiou … Continue reading

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

Thomas Jech : set theory, et livres de Badiou

Click to access Jech%2C+T.+J.+%282003%29.+Set+Theory+%28The+3rd+millennium+ed.%29.pdf Accompagnant toute lecture approfondie de Badiou, de même que le livre de Goldblatt sur les topoi, pour « Logique des mondes » https://www.maa.org/press/maa-reviews/topoi-the-categorial-analysis-of-logic https://projecteuclid.org/euclid.bia/1403013939#toc Texte en anglais de Logiques des mondes: Click to access badiou-logic-of-worlds.pdf Texte anglais de … Continue reading

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

#HoTT : la théorie homotopique des types pour sortir de l’opposition thématisée par Badiou

Au début de ce blog figure cet article datant de Mars 2015 : https://anthroposophiephilosophieetscience.wordpress.com/2016/03/15/les-deux-theories-mathematiques-privilegiees-par-badiou-topoi-et-ensembles-correspondant-aux-deux-plans-vital-ontologique-et-spirituel/ et la situation n’a pas changé avec le récent ouvrage « L’immanence des vérités «  où Badiou écrit dans l’Introduction générale page 18: « Le regretté Jean Toussaint … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Homotopy, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory)

Sur les origines de la théorie des ensembles

Originally posted on La Calebasse Réparée:
Sur les origines de la théorie des ensembles.  M’Boka Kiese Sur les origines de la théorie des ensembles. A.La théorie des ensembles de Patrick Dehornoy. Patrick Dehornoy vient de publier en 2017…

Posted in Philosophie

La stratégie de Badiou pour destituer l’ Un : la hiérarchie cumulative V des ensembles comme « lieu absolu » où « être et penser sont la même chose » (Parménide)

Le thème central de « l’immanence des vérités » (l’être et l’evenement 3) est l’opression de la finitude « imposée » à l’être humain, oppression religieuse, étatique, par les nécessités de l’économie ou du « réel » : « contre le schème libérateur, quoiqu’interne à la mort … Continue reading

Posted in Alain Badiou, category theory, Philosophie, Science, mathesis, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Alain Badiou on Love, Math, and Kindergarten

Originally posted on Mathematics without Apologies, by Michael Harris:
A “New French Philosophy Event” at NYU last December, “co-sponsored by the departments of French and Comparative Literature.” presented Alain Badiou as a philosopher, playwright, and author. His books include Logics…

Posted in Philosophie