Structure abstraite - Abstract structure

Une structure abstraite est une abstraction hypostatique qui est définie par un ensemble de lois, de propriétés et de relations d'une manière qui est logiquement sinon toujours historiquement indépendante de la structure des expériences contingentes, par exemple, celles impliquant des objets physiques. Les structures abstraites sont étudiées non seulement en logique et en mathématiques, mais dans les domaines qui les appliquent, comme l' informatique , et dans les études qui y réfléchissent, comme la philosophie (en particulier la philosophie des mathématiques ). En effet, les mathématiques modernes ont été définies dans un sens très général comme l'étude des structures abstraites (par le groupe Bourbaki : voir discussion là, à structure algébrique et aussi structure).

Une structure abstraite peut être représentée (peut-être avec un certain degré d'approximation) par un ou plusieurs objets physiques - c'est ce qu'on appelle une implémentation ou une instanciation de la structure abstraite. Mais la structure abstraite elle-même est définie d'une manière qui ne dépend pas des propriétés d'une implémentation particulière.

Une structure abstraite a une structure plus riche qu'un concept ou qu'une idée . Une structure abstraite doit inclure des règles de comportement précises qui peuvent être utilisées pour déterminer si une implémentation candidate correspond réellement à la structure abstraite en question, et elle doit être exempte de contradictions . Ainsi, nous pouvons débattre de l'adéquation d'un gouvernement particulier au concept de démocratie , mais il n'y a pas de place pour le débat sur la question de savoir si une séquence donnée de coups est ou non un jeu d'échecs valide.

Exemples

  • Un algorithme de tri est une structure abstraite, mais une recette ne l'est pas, car elle dépend des propriétés et des quantités de ses ingrédients.
  • Une simple mélodie est une structure abstraite, mais une orchestration ne l'est pas, car elle dépend des propriétés d'instruments particuliers.
  • La géométrie euclidienne est une structure abstraite, mais la théorie de la dérive des continents ne l'est pas, car elle dépend de la géologie de la Terre .
  • Un langage formel est une structure abstraite, mais un langage naturel ne l'est pas, car ses règles de grammaire et de syntaxe sont ouvertes au débat et à l'interprétation.

Voir également

Icône de talon

Cet article lié à la logique mathématique est un bout . Vous pouvez aider Wikipedia en l' étendant .