Archives pour la catégorie Alexandre Grothendieck

Lettre d’André Joyal à Grothendieck

Source : Lettre d’André Joyal à Grothendieck

Publicités

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