FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1254520110> ?p ?o ?g. }

• W1254520110 endingPage "42" @default.
• W1254520110 startingPage "38" @default.
• W1254520110 abstract "ion An abstraction process occurs when the subject focuses attention on specific properties of a given object and then considers these properties in isolation from the original. This might be done, for example, to understand the essence of a certain phenomenon, perhaps later to be able to apply the same theory in other cases to which it applies. Such application of an abstract theory would be a case of reconstructive generalization – because the abstracted properties are reconstructions of the original properties, now applied to a broader General, Abstract and Generic Guershon Harel & David Tall – 4 – domain. However, note that once the reconstructive generalization has occurred, it may then be possible to extend the range of examples to which the arguments apply through the simpler process of expansive generalization. For instance, when the group properties are extracted from various contexts to give the axioms for a group, this must be followed by the reconstruction of other properties (such as uniqueness of identity and of inverses) from the axioms. This leads to the construction of an abstract group concept which is a re-constructive generalization of various familiar examples of groups. When this abstract construction has been made, further applications of group theory to other contexts (usually performed by specialization from the abstract concept) are now expansive generalizations of the original ideas. The case of definition The process of formal definition in advanced mathematics actually consists of two distinct complementary processes. One is the abstraction of specific properties of one or more mathematical objects to form the basis of the definition of the new abstract mathematical object. The other is the process of construction of the abstract concept through logical deduction from the definition. The first of these processes we will call formal abstraction, in that it abstracts the form of the new concept through the selection of generative properties of one or more specific situations; for example, abstracting the vector-space axioms from the space of directed-line segments alone or from what it is noticed to be common to this space and the space of polynomials. This formal abstraction historically took many generations, but is now a preferred method of progress in building mathematical theories. The student rarely sees this part of the process. Instead (s)he is presented with the definition in terms of carefully selected properties as a fait accomplit. When presented with the definition, the student is faced with the naming of the concept and the statement of a small number of properties or axioms. But the definition is more than a naming. It is the selection of generative properties suitable for deductive construction of the abstract concept. The abstract concept which satisfies only those properties that may be deduced from the definition and no others requires a massive reconstruction. Its construction is guided by the properties which hold in the original mathematical concepts from which it was abstracted, but judgement of the truth of these properties must be suspended until they are deduced from the definition. For the novice this is liable to cause great confusion at the time. The newly constructed abstract object will then generalize the General, Abstract and Generic Guershon Harel & David Tall – 5 – properties embodied in the definition, because any properties that may be deduced from them will be part of it. Because of the difficulties involved in the construction process, this is a reconstructive generalization. Occasionally the process leads to a newly constructed abstract object whose properties apply only to the original domain, and not to a more general domain. For instance, the formal abstraction of the notion of a complete ordered field from the real numbers, or the abstraction of the group concept from groups of transformations. Up to isomorphism there is only one complete ordered field, and Cayley’s theorem shows that every abstract group is isomorphic to a group of transformations. In these cases the process leads to an abstract concept which does not extend the class of possible embodiments. We include these instances within the same theoretical framework for, though they fail to generalize the notion to a broader class of examples, they very much change the nature of the concept in question. The formal abstraction process coupled with the construction of the formal concept, when achieved, leads to a mental object that is easier for the expert to manipulate mentally because the precise properties of the concept have been abstracted and can lead to precise general proofs based on these properties. Formal abstraction leading to mathematical definitions usually serves two purposes which are particularly attractive to the expert mathematician: (a) Any arguments valid for the abstracted properties apply to all other instances where the abstracted properties hold, so (provided that there are other instances) the arguments are more general. (b) Once the abstraction is made, by concentrating on the abstracted properties and ignoring all others, the abstraction should involve less cognitive strain. These two factors make a formal abstraction a powerful tool for the expert yet – because of the cognitive reconstruction involved – they may cause great difficulty for the learner." @default.
• W1254520110 created "2016-06-24" @default.
• W1254520110 creator A5013166317 @default.
• W1254520110 creator A5057983489 @default.
• W1254520110 date "1991-01-01" @default.
• W1254520110 modified "2023-09-23" @default.
• W1254520110 title "The General, the Abstract, and the Generic in Advanced Mathematics" @default.
• W1254520110 cites W1497733606 @default.
• W1254520110 cites W1500112243 @default.
• W1254520110 cites W1574026255 @default.
• W1254520110 cites W1577290313 @default.
• W1254520110 cites W19095434 @default.
• W1254520110 cites W324089649 @default.
• W1254520110 cites W82428586 @default.
• W1254520110 hasPublicationYear "1991" @default.
• W1254520110 type Work @default.
• W1254520110 sameAs 1254520110 @default.
• W1254520110 citedByCount "44" @default.
• W1254520110 countsByYear W12545201102013 @default.
• W1254520110 countsByYear W12545201102014 @default.
• W1254520110 countsByYear W12545201102015 @default.
• W1254520110 countsByYear W12545201102016 @default.
• W1254520110 countsByYear W12545201102018 @default.
• W1254520110 countsByYear W12545201102019 @default.
• W1254520110 countsByYear W12545201102020 @default.
• W1254520110 crossrefType "journal-article" @default.
• W1254520110 hasAuthorship W1254520110A5013166317 @default.
• W1254520110 hasAuthorship W1254520110A5057983489 @default.
• W1254520110 hasConcept C111472728 @default.
• W1254520110 hasConcept C111919701 @default.
• W1254520110 hasConcept C124304363 @default.
• W1254520110 hasConcept C134306372 @default.
• W1254520110 hasConcept C136119220 @default.
• W1254520110 hasConcept C138885662 @default.
• W1254520110 hasConcept C159985019 @default.
• W1254520110 hasConcept C161191863 @default.
• W1254520110 hasConcept C167729594 @default.
• W1254520110 hasConcept C177148314 @default.
• W1254520110 hasConcept C178790620 @default.
• W1254520110 hasConcept C185592680 @default.
• W1254520110 hasConcept C192562407 @default.
• W1254520110 hasConcept C199343813 @default.
• W1254520110 hasConcept C202444582 @default.
• W1254520110 hasConcept C2524010 @default.
• W1254520110 hasConcept C2777021972 @default.
• W1254520110 hasConcept C2777686260 @default.
• W1254520110 hasConcept C2777855551 @default.
• W1254520110 hasConcept C2778701210 @default.
• W1254520110 hasConcept C2780502288 @default.
• W1254520110 hasConcept C2781311116 @default.
• W1254520110 hasConcept C30407753 @default.
• W1254520110 hasConcept C33923547 @default.
• W1254520110 hasConcept C41008148 @default.
• W1254520110 hasConcept C71924100 @default.
• W1254520110 hasConcept C98045186 @default.
• W1254520110 hasConceptScore W1254520110C111472728 @default.
• W1254520110 hasConceptScore W1254520110C111919701 @default.
• W1254520110 hasConceptScore W1254520110C124304363 @default.
• W1254520110 hasConceptScore W1254520110C134306372 @default.
• W1254520110 hasConceptScore W1254520110C136119220 @default.
• W1254520110 hasConceptScore W1254520110C138885662 @default.
• W1254520110 hasConceptScore W1254520110C159985019 @default.
• W1254520110 hasConceptScore W1254520110C161191863 @default.
• W1254520110 hasConceptScore W1254520110C167729594 @default.
• W1254520110 hasConceptScore W1254520110C177148314 @default.
• W1254520110 hasConceptScore W1254520110C178790620 @default.
• W1254520110 hasConceptScore W1254520110C185592680 @default.
• W1254520110 hasConceptScore W1254520110C192562407 @default.
• W1254520110 hasConceptScore W1254520110C199343813 @default.
• W1254520110 hasConceptScore W1254520110C202444582 @default.
• W1254520110 hasConceptScore W1254520110C2524010 @default.
• W1254520110 hasConceptScore W1254520110C2777021972 @default.
• W1254520110 hasConceptScore W1254520110C2777686260 @default.
• W1254520110 hasConceptScore W1254520110C2777855551 @default.
• W1254520110 hasConceptScore W1254520110C2778701210 @default.
• W1254520110 hasConceptScore W1254520110C2780502288 @default.
• W1254520110 hasConceptScore W1254520110C2781311116 @default.
• W1254520110 hasConceptScore W1254520110C30407753 @default.
• W1254520110 hasConceptScore W1254520110C33923547 @default.
• W1254520110 hasConceptScore W1254520110C41008148 @default.
• W1254520110 hasConceptScore W1254520110C71924100 @default.
• W1254520110 hasConceptScore W1254520110C98045186 @default.
• W1254520110 hasIssue "1" @default.
• W1254520110 hasLocation W12545201101 @default.
• W1254520110 hasOpenAccess W1254520110 @default.
• W1254520110 hasPrimaryLocation W12545201101 @default.
• W1254520110 hasRelatedWork W100799387 @default.
• W1254520110 hasRelatedWork W1152235306 @default.
• W1254520110 hasRelatedWork W1497733606 @default.
• W1254520110 hasRelatedWork W1818340420 @default.
• W1254520110 hasRelatedWork W1970580174 @default.
• W1254520110 hasRelatedWork W1974711434 @default.
• W1254520110 hasRelatedWork W1996850046 @default.
• W1254520110 hasRelatedWork W2030029089 @default.
• W1254520110 hasRelatedWork W2035536409 @default.
• W1254520110 hasRelatedWork W2044439424 @default.
• W1254520110 hasRelatedWork W2065430068 @default.
• W1254520110 hasRelatedWork W2072267223 @default.

• next