Tag Archives: Bertrand Russell

Le désastre du Vietnam se produira en France au 21 eme ou 22 eme siècle

Le grand philosophe et grand européen Bertrand Russell ( qui était pacifiste et “de gauche”) rangeait l’islam parmi les pires des fascismes, comme le stalinisme et le nazisme. Or nous ne devons pas nous voiler la face : l’islam a … Continue reading

Posted in Crise migratoire, Europe, Islam | Tagged

#HoTT The Book : chapitre 1 , types vs sets

Le livre, écrit par les meilleurs spécialistes de cette nouvelle discipline, peut être acheté ou téléchargé gratuitement ici: The HoTT Book Il vaut mieux apprendre HoTT dans ce livre que lire, comme je le fais, des articles sur Arxiv ou … Continue reading

Posted in ∞-catégories, ∞-topoi, Grothendieck, Homotopy, homotopy type theory | Tagged , , , ,

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

Tout, tout de suite…

” Nous voulons tout, tout de suite” était le slogan d’un journal appelé “Tout” en 1970. C’était les années après Mai 1968. “Tout, tout de suite” est le titre du livre de Morgan Sportes sur l’affaire “Ilan Halimi”, et du … Continue reading

Posted in Antisionisme-antisémitisme, FRANCE 2017, France-bordel, Philosophie | Tagged , , , , ,

La théorie des types et ses applications à la Science des ordinateurs

Click to access cb79306cd0d1e5870b5f0b8038c3c94983fd.pdf La théorie des types émerge des travaux de Bertrand Russell , au début du 20eme siècle, elle atteint des niveaux plus sophistiqués dans les recherches de logiciens comme Alonso Chirch , HoTT en est le stade … Continue reading

Posted in ∞-catégories, ∞-topoi, Homotopy, homotopy type theory | Tagged , ,

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

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: Click to access highertopoi.pdf Le dernier article … 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 ,

De Bolzano aux “Recherches logiques” de Husserl

J’ai acheté dans la collection “Oxford Logic guides” , le livre d’Ettore Casari: “Bolzano’s logical system” Qui est accessible en lecture partielle sur Google: https://henosophiamathesis.wordpress.com/2016/11/06/bolzanos-logical-system/ Un système de logique qui est un des ancêtres de la logique formelle actuelle , … Continue reading

Posted in Cochet-Brunschvicg, DIEU, Husserl, Logique, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science-internelle | Tagged , , , , , , , ,

Juger l’Islam comme on a jugé le nazisme il y a 70 ans : procès de Nuremberg ou nouveau Tribunal Russell ? 

Posted in Alain Badiou, Descartes, Islam, Léon Brunschvicg, Philosophie, Plan vital-plan spirituel, Platon, Spinoza, Wronski | Tagged