Abstract structure

Abstract structure

An abstract structure in mathematics is a formal object that is defined by a set of laws, properties, and relationships in a way that is logically if not always historically independent of the structure of contingent experiences, for example, those involving physical objects. Abstract structures are studied not only in logic and mathematics but in the fields that apply them, as computer science, and in the studies that reflect on them, as philosophy and especially the philosophy of mathematics. Indeed, modern mathematics has been defined in a very general sense as the study of abstract structures (by the Bourbaki group: see discussion there, at algebraic structure and also structure).

An abstract structure may be represented (perhaps with some degree of approximation) by one or more physical objects — this is called an implementation or instantiation of the abstract structure. But the abstract structure itself is defined in a way that is not dependent on the properties of any particular implementation.

An abstract structure has a richer structure than a concept or an idea. An abstract structure must include precise rules of behaviour which can be used to determine whether a candidate implementation actually matches the abstract structure in question. Thus we may debate how well a particular government fits the concept of democracy, but there is no room for debate over whether a given sequence of moves is or is not a valid game of chess.

Examples

A sorting algorithm is an abstract structure, but a recipe is not, because it depends on the properties and quantities of its ingredients.

A simple melody is an abstract structure, but an orchestration is not, because it depends on the properties of particular instruments.

Euclidean geometry is an abstract structure, but the theory of continental drift is not, because it depends on the geology of the Earth.

A formal language is an abstract structure, but a natural language is not, because its rules of grammar and syntax are open to debate and interpretation.

See also


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Abstract object — An abstract object is an object which does not exist at any particular time or place, but rather exists as a type of thing (as an idea, or abstraction). In philosophy, an important distinction is whether an object is considered abstract or… …   Wikipedia

  • Structure formation — refers to a fundamental problem in physical cosmology. The universe, as is now known from observations of the cosmic microwave background radiation, began in a hot, dense, nearly uniform state approximately 13.7 Gyr ago. [cite journal |author=D.… …   Wikipedia

  • 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 impressionism — is a type of abstract painting (not to be confused with Abstract Expressionism, a similar but different movement) where small brushstrokes build and structure large paintings. Small brushstrokes exhibit control of large areas, expressing the… …   Wikipedia

  • Structure — is a fundamental and sometimes intangible notion covering the recognition, observation, nature, and stability of patterns and relationships of entities. From a child s verbal description of a snowflake, to the detailed scientific analysis of the… …   Wikipedia

  • Structure theorem — may refer to: * Structured program theorem, a result in programming language theory * Structure theorem for finitely generated modules over a principal ideal domain, a result in abstract algebra (a subject area in mathematics) …   Wikipedia

  • Abstract data type — In computing, an abstract data type (ADT) is a specification of a set of data and the set of operations that can be performed on the data. Such a data type is abstract in the sense that it is independent of various concrete implementations. The… …   Wikipedia

  • Abstract algebra — This article is about the branch of mathematics. For the Swedish band, see Abstrakt Algebra. The permutations of Rubik s Cube have a group structure; the group is a fundamental concept within abstract algebra. Abstract algebra is the subject area …   Wikipedia

  • Structure d'impact de Chassenon — Astroblème de Rochechouart Chassenon Astroblème de Rochechouart Chassenon Image de synthèse du cratère quelques années après l’impact. Localisation Astre …   Wikipédia en Français

  • Structure d'impact de Rochechouart — Astroblème de Rochechouart Chassenon Astroblème de Rochechouart Chassenon Image de synthèse du cratère quelques années après l’impact. Localisation Astre …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”