Category Archives: Bertrand Russell

Le grand effondrement

C’est maintenant que « Le camp des Saints » se passe ! Il est rare que les mouvements de foule spontanés ne soient pas, en fait, plus ou moins manipulés. Et l’on imagine aussitôt une sorte de chef d’orchestre tout-­puissant, … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, Categorical probability theory, Categorical quantum mechanics, category theory, Cochet-Brunschvicg, DIEU, EHTT, Europe, France-bordel, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Nombres, number theory, Occident faustien, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Physique, Quantum relativity, Relativité, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics | Comments Off on Le grand effondrement

Principia mathematica : les 3 volumes

volume 1 : https://lesharmoniesdelesprit.files.wordpress.com/2015/11/whiteheadrussell-principiamathematicavolumei.pdf volume 2 :    ***** https://lesharmoniesdelesprit.files.wordpress.com/2015/11/alfred-north-whitehead-bertrand-russell-principia-mathematica-vol-2.pdf Volume 3 : https://antilogicalism.com/wp-content/uploads/2018/04/principia-mathematica-vol-3.pdf C’est le livre fondateur de la logique mathématique. Publié en 1913, il ne traitait évidemment pas des catégories, inventées dans les années 40 : https://books.google.fr/books?hl=fr&lr=&id=prlgATkzvTgC&oi=fnd&pg=PA9&dq=théorie+des+catégories&ots=50kjk4hVWr&sig=AeVp7SUwiH8L56ROmgJNvUV5HwA#v=onepage&q=théorie%20des%20catégories&f=false https://fr.m.wikipedia.org/wiki/Théorie_des_catégoriesContinue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, EHTT, homotopy type theory, HTTUF, Logique, Philosophie mathématique, Science-internelle | Comments Off on Principia mathematica : les 3 volumes

#HoTT Reprendre l’étude de la théorie des types homotopiques (Homotopy type theory) dans la perspective de l’accès à l’Absolu

Je reprends cet article: Les trois cadres fondationnels de la mathématique : #ST , #CT et #HoTT et le système de Badiou   en même temps que l’étude des 3 volumes de « L’être et l’événement «   de Badiou … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-topoi, Bertrand Russell, category theory, Cochet-Brunschvicg, DIEU, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Léon Brunschvicg, opposition monde véritable-monde imaginaire, 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) | Comments Off on #HoTT Reprendre l’étude de la théorie des types homotopiques (Homotopy type theory) dans la perspective de l’accès à l’Absolu

Hegel : unité des contraires et son modèle mathématique sur Nlab

« Pour aller là où tu ne sais pas, il te faut passer par où tu ne sais pas » Le thème de la « coincidentia oppositorum « , présent chez Nicolas de Cuse déj, n’a pas bonne presse en … Continue reading

Posted in Alain Badiou, Bertrand Russell, category theory, Cochet-Brunschvicg, EHTT, Hegel, Heidegger, homotopy type theory, Léon Brunschvicg, number theory, Occident faustien, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Platon, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Comments Off on Hegel : unité des contraires et son modèle mathématique sur Nlab

Théorie des ensembles pour les philosophes

https://hal.archives-ouvertes.fr/hal-01858062/document

Posted in Alain Badiou, Bertrand Russell, Philosophie, Philosophie mathématique, Science, mathesis, Théorie des ensembles (set theory) | Comments Off on Théorie des ensembles pour les philosophes

#HoTT Homotopy type theory la nouvelle fondation des mathématiques du 21eme siècle

Cet article trace le parallèle entre le livre « Homotopy type theory Univalent foundations »: Homotopy Type Theory: a new foundation for 21st-century mathematics The HoTT Book Et les « Principia mathematica » de Whitehead et Russell, qui fonde les mathématiques du siècle dernier, … Continue reading

Posted in Bertrand Russell, Computer science, EHTT, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Comments Off on #HoTT Homotopy type theory la nouvelle fondation des mathématiques du 21eme siècle

Participation à l’un et participation à l’être : les mathèmes

Le désespoir nihiliste d’une violence incroyable décrit par Philippe Jaccottet dans « L’obscurité » : L’obscurité de Philippe Jaccottet : « rien n’est vrai, rien n’est , hormis le mal de le savoir » résulte de la prise des conscience de la condition mortelle … Continue reading

Posted in Alain Badiou, Bertrand Russell, Cochet-Brunschvicg, DIEU, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science-internelle | Comments Off on Participation à l’un et participation à l’être : les mathèmes

Michel Onfray : Solstice d’hiver ( Alain, Hitler, les juifs et l’occupation)

Le petit livre « Solstice d’hiver » se lit très rapidement , il porte sur les passages du Journal d’Alain (Émile Chartier ) (1868-1951) écrit entre 1937 et 1950 , passages sans ambiguïté où Alain considère Hitler d’une façon admirative et parle … Continue reading

Posted in Bertrand Russell, Cochet-Brunschvicg, DIEU, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Socrate | Comments Off on Michel Onfray : Solstice d’hiver ( Alain, Hitler, les juifs et l’occupation)

Les Principia mathematica de Bertrand Russell et Alfred North Whitehead (1913)

Documentaire de 1971 avec interview de Laurent Schwartz qui était cette année là professeur à Polytechnique : http://fresques.ina.fr/jalons/fiche-media/InaEdu01436/les-principia-mathematica-de-bertrand-russell.html Les trois volumes de cette oeuvre logico-philosophique cruciale sont disponibles en bibliothèque de mes blogs: Vol 1: Whitehead Russell : principia mathematica … Continue reading

Posted in Bertrand Russell, Philosophie, Philosophie mathématique | Tagged , , | Comments Off on Les Principia mathematica de Bertrand Russell et Alfred North Whitehead (1913)

HOTT: née de la confrontation de la théorie des types de Martin-Lof et de l’homotopie abstraite

Click to access synhott.pdf La théorie de Martin-Lof est aussi appelée “dependent type theory” ou “intuitionnistic type theory”: https://ncatlab.org/nlab/show/Martin-Löf+dependent+type+theory https://en.m.wikipedia.org/wiki/Intuitionistic_type_theory Click to access hlcs.pdf Les types sont comme les ensembles des collections , mais qui se comportent différemment des ensembles … Continue reading

Posted in Bertrand Russell, homotopy type theory, Philosophie mathématique, Théorie des ensembles (set theory) | Tagged , , , , | Comments Off on HOTT: née de la confrontation de la théorie des types de Martin-Lof et de l’homotopie abstraite