Abstract nonsense
- Abstract nonsense
-
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 Norman Steenrod (en)[1]. À 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 la chasse au diagramme, 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. Alexandre 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].
Notes et références
Notes
Référence
(en) Colin McLarty, « The Uses and Abuses of the History of Topos Theory », dans Brit. J. Phil. Sci., vol. 41, 1990
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Abstract nonsense de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Abstract nonsense — Abstract nonsense, or general abstract nonsense, alternatively general nonsense, is a popular term used by mathematicians to describe certain kinds of arguments and concepts in category theory or applications.HistoryThe term predates the… … Wikipedia
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… … Wikipédia en Français
Abstract nonsense — Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der sich Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelte; Saunders MacLane nennt seine 1945 gemeinsam mit Samuel Eilenberg entstandene „General… … Deutsch Wikipedia
abstract nonsense — noun a) Details which are straightforward but so tedious that an author or lecturer would rather skip them (especially those of a category theoretical nature). b) Details which involve diagram chasing … Wiktionary
Nonsense (disambiguation) — Nonsense is an utterance or written text that does not in fact carry any identifiable meaning. Nonsense may also mean: Abstract nonsense, a term used by mathematicians to describe certain kinds of arguments and concepts in category theory In… … Wikipedia
Nonsense — For other uses, see Nonsense (disambiguation). For Wikipedia policy regarding nonsense, see Wikipedia:Patent nonsense. Nonsense is a communication, via speech, writing, or any other symbolic system, that lacks any coherent meaning. Sometimes in… … Wikipedia
Nonsense-Codon — Als Stopcodon, auch Nonsense Codon wird in der Genetik ein Basentriplett (Codon) der Desoxyribonukleinsäure (DNA) beziehungsweise der Ribonukleinsäure (RNA) bezeichnet, für das keine zugehörige tRNA (Transfer RNA) vorliegt und somit den Abbruch… … Deutsch Wikipedia
List of mathematical jargon — The language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in… … Wikipedia
Mathematical jargon — The language of mathematics has a vast vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in… … Wikipedia
List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A … Wikipedia
