Category Archives: Bertrand Russell

Théorie des ensembles pour les philosophes

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

Posted in Alain Badiou, Bertrand Russell, Philosophie, Philosophie mathématique, Science, mathesis, Théorie des ensembles (set theory)

#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 »: https://aperiodical.com/2013/06/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, et qui est ici : https://quod.lib.umich.edu/u/umhistmath/aat3201.0001.001/23?view=image&size=100 (En forme … Continue reading

Posted in Bertrand Russell, Computer science, EHTT, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

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é » : https://anthroposophiephilosophieetscience.wordpress.com/2019/01/04/lobscurite-de-philippe-jaccottet-rien-nest-vrai-rien-nest-hormis-le-mal-de-le-savoir/ résulte de la prise des conscience de la condition mortelle et emporelle de l’être humain; à la fin du récit le Maître diagnostique : « C’est seulement … Continue reading

Posted in Alain Badiou, Bertrand Russell, Cochet-Brunschvicg, DIEU, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science-internelle

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

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 , , ,