The General, the Abstract, and the Generic in Advanced Mathematics

一般化 公理 抽象 群(周期表) 膨胀的 数学 独特性 建设性的 主题(文档) 域代数上的 计算机科学 过程(计算) 牙石(牙科) 认识论 纯数学 几何学 图书馆学 牙科 材料科学 化学 有机化学 复合材料 哲学 数学分析 操作系统 医学 抗压强度
作者
Guershon Harel,David Tall
出处
期刊:for the learning of mathematics 卷期号:11 (1): 38-42 被引量:45
链接
摘要

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.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
Tonald Yang完成签到 ,获得积分20
3秒前
4秒前
落后的怀梦完成签到 ,获得积分10
5秒前
陈坤完成签到,获得积分10
7秒前
量子星尘发布了新的文献求助10
9秒前
斯文败类应助zgx采纳,获得10
10秒前
默默完成签到 ,获得积分10
10秒前
KY Mr.WANG完成签到,获得积分10
10秒前
24秒前
guoxingliu完成签到,获得积分10
28秒前
36秒前
阳佟水蓉完成签到,获得积分10
37秒前
gdgd完成签到,获得积分10
40秒前
量子星尘发布了新的文献求助10
42秒前
叮叮当当完成签到,获得积分10
44秒前
47秒前
47秒前
电致阿光完成签到,获得积分10
48秒前
ccc完成签到 ,获得积分10
50秒前
51秒前
zgx发布了新的文献求助10
53秒前
i2stay完成签到,获得积分10
53秒前
馒头完成签到,获得积分10
55秒前
MS903完成签到,获得积分10
1分钟前
CJW完成签到 ,获得积分10
1分钟前
韧迹完成签到 ,获得积分0
1分钟前
mmd完成签到 ,获得积分10
1分钟前
七一安完成签到 ,获得积分10
1分钟前
浪麻麻完成签到 ,获得积分10
1分钟前
包容的剑完成签到 ,获得积分10
1分钟前
等待的大炮完成签到,获得积分10
1分钟前
注水萝卜完成签到 ,获得积分10
1分钟前
Chem34完成签到,获得积分10
1分钟前
1分钟前
量子星尘发布了新的文献求助10
1分钟前
hhh2018687完成签到,获得积分10
1分钟前
1分钟前
1分钟前
1分钟前
1分钟前
高分求助中
【提示信息,请勿应助】关于scihub 10000
Les Mantodea de Guyane: Insecta, Polyneoptera [The Mantids of French Guiana] 3000
徐淮辽南地区新元古代叠层石及生物地层 3000
The Mother of All Tableaux: Order, Equivalence, and Geometry in the Large-scale Structure of Optimality Theory 3000
Handbook of Industrial Diamonds.Vol2 1100
Global Eyelash Assessment scale (GEA) 1000
Picture Books with Same-sex Parented Families: Unintentional Censorship 550
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 4038039
求助须知:如何正确求助?哪些是违规求助? 3575756
关于积分的说明 11373782
捐赠科研通 3305574
什么是DOI,文献DOI怎么找? 1819239
邀请新用户注册赠送积分活动 892655
科研通“疑难数据库(出版商)”最低求助积分说明 815022