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 Islam, Europe, Crise migratoire | Tagged | Leave a comment

#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 Philosophie, Philosophie mathématique, Bertrand Russell | 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

https://pdfs.semanticscholar.org/7f8b/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 le plus moderne … 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

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

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