Category Archives: Bertrand Russell

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: https://themasters6.wordpress.com/2015/11/03/whitehead-russell-principia-mathematica-volume-1/ Vol 2: https://lesharmoniesdelesprit.wordpress.com/whitehead-et-russell-principia-mathematica-vol-2/ Vol … Continue reading

Posted in Bertrand Russell, Philosophie, Philosophie mathématique | Tagged , ,

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

http://home.sandiego.edu/~shulman/papers/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 http://www.cse.chalmers.se/~bengt/papers/hlcs.pdf Les types sont comme les ensembles des collections , mais qui se comportent différemment des ensembles :ils furent justement utilisés par Russell … Continue reading

Posted in Bertrand Russell, homotopy type theory, Philosophie mathématique, Théorie des ensembles (set theory) | Tagged , , , ,

“HER” (2013) de Spike Jonze en vf :un très grand film MAIS….

À voir ici: http://www.voirfilms.biz/her-8d1XIYemISI.htm Le voir en vf nous prive de la voix américaine de Scarlett Johansson… La Page sur le film: https://fr.m.wikipedia.org/wiki/Her Dans le “MAIS” du titre tient toute ma réaction, individuelle certes et provoquée par mon histoire et … Continue reading

Posted in Balzac, Bertrand Russell, category theory, Cinéma, Descartes, DIEU, Europe, Grothendieck, Hegel, Heidegger, Higher category theory, Higher topos theory, homotopy type theory, Husserl, Léon Brunschvicg, Leibniz, Littérature-Poésie, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , ,

De #HigherToposTheory à #HomotopyTypeTheory

J’ai commencé à étudier sur ce blog, dans le Hashtag #HigherToposTheory l’extraordinaire livre de Jacob Lurie ” Higher Topos theory” que l’on peut lire gratuitement sur plusieurs sites, comme Arxiv, ou bien ici: http://www.math.harvard.edu/~lurie/papers/highertopoi.pdf Le dernier article publié dans le … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bertrand Russell, category theory, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , , , , , , , , , ,

Les souffrances du jeune Bertrand Russell

https://patertaciturnus.wordpress.com/2014/06/02/les-maths-sauvent-des-vies/ “Juste avant mes seize ans on m’envoya chez un répétiteur, qui se trouvait alors à Old Southgate, spécialisé dans la préparation aux examens militaires. Il s’agissait, quant à moi, de me préparer à l’examen pour l’obtention d’une bourse au … Continue reading

Posted in Bertrand Russell, DIEU, Europe, Féminisme, Philosophie, Philosophie mathématique, Science-internelle | Tagged ,