Une rose seule, c'est toutes les roses et celle-ci : l'irremplaçable, le parfait, le souple vocable encadré par le texte des choses. Comment jamais dire sans elle ce que furent nos espérances, et les tendres intermittences dans la partance continuelle.
Un bouleversement traduit par cet article opposant Grothendieck à Lautman (élève de Brunschvicg , mort fusillé pour Résistance par les nazis en 1944) et les mathématiques « modernes », qui privilégient le notion de structure et de domaine sur celle de nombre, aux mathématiques « classiques »:
J’éprouve une grande admiration pour SImone Weil, mais dois reconnaître qu’elle s’est totalement trompée en associant l’algèbre à la pensée machinale, c’est à dire à la non-pensée :
Une fois encore c’est Léon Brunschvicg ( qui fut son professeur à Normale,et qui ne sut pas reconnaître son génie mais elle non plus ne le tenait pas en Haute considération) qui avait raison !
Le livre complet, 500 pages écrites par les experts mondiaux de cette nouvelle discipline, qui permet de fonder les mathématiques à nouveaux frais, et est très proche de la théorie des ∞-catégories et des ∞-Topoi, peut être téléchargé gratuitement ici:
Cependant, pour une étude s’rieuse, il vaut mieux en commander aussi une version « papier », car la lecture d’une tablette s’avère dévoreuse d’énergie..
HoTT (homotopy type theory) avec son site et son blog:
est une nouvelle branche des mathématiques, née de la topologie algébrique et de l’algèbre homologique, qui se situe au carrefour de la théorie de l’homotopie et de la théorie des types, mêlant la logique mathématique et la Science des ordinateurs ( » theoretical computer Science »). Les types sont issus des travaux de Russell pour corriger les « paradoxes » trouvés par lui même dans la fondation ensembliste de la logique. Les types ne…