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)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
Ava应助坚定路人采纳,获得10
1秒前
3秒前
4秒前
潘善若发布了新的文献求助10
4秒前
戴岱发布了新的文献求助10
6秒前
7秒前
8秒前
momo发布了新的文献求助10
10秒前
大模型应助潘善若采纳,获得10
10秒前
11秒前
jolt发布了新的文献求助10
12秒前
13秒前
传奇3应助戴岱采纳,获得10
14秒前
nini完成签到,获得积分10
16秒前
zzzjh发布了新的文献求助10
16秒前
量子星尘发布了新的文献求助10
17秒前
17秒前
19秒前
20秒前
nini发布了新的文献求助10
23秒前
Lucas应助XAN采纳,获得10
24秒前
潘善若发布了新的文献求助10
24秒前
棠棠完成签到 ,获得积分10
24秒前
27秒前
yyer完成签到,获得积分10
27秒前
29秒前
FashionBoy应助潘善若采纳,获得10
30秒前
慕青应助忐忑的阑香采纳,获得10
30秒前
momo发布了新的文献求助10
31秒前
冰淇淋完成签到,获得积分10
31秒前
XylonYu完成签到,获得积分10
32秒前
34秒前
坚定路人发布了新的文献求助10
36秒前
张宁波完成签到,获得积分0
37秒前
sue完成签到,获得积分10
38秒前
39秒前
慕青应助害羞的山柏采纳,获得10
40秒前
平常的可乐完成签到 ,获得积分10
42秒前
深情安青应助momo采纳,获得10
43秒前
852应助王汉韬采纳,获得10
43秒前
高分求助中
A new approach to the extrapolation of accelerated life test data 1000
ACSM’s Guidelines for Exercise Testing and Prescription, 12th edition 500
‘Unruly’ Children: Historical Fieldnotes and Learning Morality in a Taiwan Village (New Departures in Anthropology) 400
Indomethacinのヒトにおける経皮吸収 400
Phylogenetic study of the order Polydesmida (Myriapoda: Diplopoda) 370
基于可调谐半导体激光吸收光谱技术泄漏气体检测系统的研究 350
Robot-supported joining of reinforcement textiles with one-sided sewing heads 320
热门求助领域 (近24小时)
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号,转发送积分 3989297
求助须知:如何正确求助?哪些是违规求助? 3531418
关于积分的说明 11253893
捐赠科研通 3270097
什么是DOI,文献DOI怎么找? 1804884
邀请新用户注册赠送积分活动 882087
科研通“疑难数据库(出版商)”最低求助积分说明 809158