Archives pour la catégorie Alexandre Grothendieck

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

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

Y a t’il une bulle de #HomotopyTypeTheory ?

Source : Y a t’il une bulle de #HomotopyTypeTheory ?

Un article important de David Edwards en 1979 sur les fondements mathématiques de la mécanique quantique

Source : Un article important de David Edwards en 1979 sur les fondements mathématiques de la mécanique quantique

#ScienceInternelleReformeCoranique DIEU est une Idée, pas un Être (Souverain ou non); »Dieu est  » est la  principale proposition ou croyance ou pensée qui engendre l’athéisme

Source : #ScienceInternelleReformeCoranique DIEU est une Idée, pas un Être (Souverain ou non); »Dieu est  » est la  principale proposition ou croyance ou pensée qui engendre l’athéisme

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

Source : « HER » (2013) de Spike Jonze en vf :un très grand film MAIS….