Abstract nonsense

Un article de Wikipédia, l'encyclopédie libre.

Abstract nonsense est une expression anglaise utilisée en mathématiques pour décrire certains raisonnements et concepts en théorie des catégories. Le terme semble avoir été introduit par Steenrod^[1]. Littéralement, elle signifie en français « abstraction délirante ». A l'origine, elle qualifie les raisonnements introduits sur les catégories généralisant les considérations antérieures sur des listes d'exemples. Elle concerne le chassé-croisé dans les diagrammes, l'application des propriétés universelles, la naturalité des foncteurs, l'utilisation du lemme de Yoneda, ...

De nos jours (en 2005), cette formule, qui peut être utilisée avec une connotation péjorative, qualifie aussi les mathématiques très abstraites, très formelles, qui mettent en jeu des objets plutôt simples. Alexander Grothendieck déplore l'usage péjoratif de cette expression. Il explique qu'entre les années 1950 et les années 1970, « abstract nonsense » était plus utilisée dans une optique d'autodérision, une sorte de blague entre mathématiciens, pour souligner le caractère très formel d'une démonstration^[2].

[modifier] Notes et références

[modifier] Notes

[modifier] Références

• Colin McLarty, The Uses and Abuses of the History of Topos Theory, Brit. J. Phil. Sci, 41 (1990)