Non-sens abstrait

Le non-sens abstrait , ou le non-sens abstrait général , est un terme populaire employé par les mathématiciens pour décrire certains genres d'arguments et de concepts dans la théorie de catégorie de ou les applications. La limite retourne un long chemin, et antidate même la base de la théorie de catégorie comme sujet elle-même. En référence à un papier commun avec le Samuel Eilenberg qui a présenté la notion d'un " ; " de la catégorie ; en 1942, le Saunders que la ruelle de Mac a écrit le sujet était « " alors appelé ; nonsense" abstrait général ; ».

La limite est censée pour avoir été inventée par le Steenrod normand , lui-même de mathématicien un des réalisateurs du point de vue catégorique. Ce terme est employé par des praticiens comme indication de la fraîcheur mathématique de sophistication ou de plutôt que comme désignation dérogatoire.

Les certaines idées et constructions dans les mathématiques montrent une uniformité dans tous beaucoup de domaines. Le thème unifying est théorie de catégorie. Plutôt qu'écrivent une discussion raffinée sur des conditions particulières des arguments, mathématiciens emploiera le d'expression tels et tel est vrai par le non-sens abstrait . Les exemples typiques sont des arguments impliquant le diagramme de chassant , application de la définition de la propriété universelle , définition de des transformations normales entre l'utilisation de Functors du lemme de Yoneda de et ainsi de suite. Autre, probablement moins flatteusement, des caractérisations du raisonnement abstrait ont été enregistrés, bien qu'ils n'aient pas acquis le statut du jargon mathématique . Par exemple, le Paul Albert Gordan a décrit une preuve de David Hilbert 's dans la théorie invariable , dire le " ; Ce n'est pas les mathématiques ; c'est la théologie . " ;

Notes et références

Random links: