数学的作用

我们爱学习
9 Feb 202411:33

Summary

TLDR英国数学家凯斯·德弗林近期撰写的文章深入探讨了数学教育,从数学的历史发展角度审视中学与大学数学课程的内容与方法。文章指出,目前的数学教育未能覆盖近300年来的数学进展,仅围绕算术、几何、微积分和代数等传统领域。德弗林提出,数学是关于模式的科学,强调了数学子分支的极大丰富及研究范式的变化。同时,他批评了1960年代美国数学教学改革(New Math)的失败,并建议在培养计算技巧的同时,应增设数学概念和数学史的选修课,以培养能够深入理解数学概念并应用于实际问题的人才。

Takeaways

  • 🔑 中学数学教育没有涉及最近300年的数学发展,仅限于数、算术、几何和微积分的基础知识。
  • 📜 古希腊数学将数学转变为一个研究领域,提出了证明定理的范式,产生了欧几里得的《几何原本》。
  • ➕ 阿拉伯人推动了代数的发展,代数这个词源自阿拉伯语中"某些东西"的意思。
  • 🌳 最近300年,数学分支急剧增加,出现了布尔代数、非欧几何、集合论等新领域。
  • 🔎 当代数学被视为关于模式的科学,传统数学内容被重新划分为不同的模式类别。
  • 🧠 大学数学涉及更多抽象概念和悖论,如罗素悖论、分球悖论等,需要通过公理体系来规范。
  • ❌ 1960年代美国的"新数学"教学改革由于忽视了计算技能的重要性而失败。
  • 🏭 工业社会需要两类数学人才:能解决给定问题的人和能建立数学模型的人。
  • 👩‍🏫 当代数学教材仍侧重计算技能培养,但可开设概念和历史课程作为补充。
  • 🚀 深入理解数学概念对于建立数学模型和解决实际问题至关重要。

Q & A

  • 什么是数学的起源?

    -数学的起源可以追溯到约一万年前,与数和算术紧密相连,初期与货币的使用有关。

  • 古希腊数学有什么特点?

    -古希腊数学特别强调几何,试图将所有问题转化为几何图形来解决,并且在此过程中发现了无理数。

  • 阿拉伯人对数学发展有哪些贡献?

    -阿拉伯人推动了数学的再次阶跃式发展,代数学就是在他们的推动下发展起来的,词源自阿拉伯语“al-jabr”。

  • 古希腊人如何改变数学研究的方式?

    -古希腊人将数学从应用领域的测量和计数转变为以定理和证明为中心的科学研究领域。

  • 新数学(New Math)教学改革失败的原因是什么?

    -新数学教学改革过于侧重新概念,忽视了计算技巧的训练,导致学生无法充分理解数学概念,最终导致改革失败。

  • 数学中的'罗素悖论'是什么?

    -罗素悖论是一个集合论中的著名悖论,讨论一个集合是否能包含自身,引发了第三次数学危机。

  • 什么是ZFC公理体系?

    -ZFC公理体系是数学中的一个集合论公理体系,包括策梅洛和弗兰克尔的九条公理加上选择公理。

  • 分球悖论(Banach-Tarski Paradox)是怎样的?

    -分球悖论是指在选择公理成立的情况下,可以将一个三维实心球分成有限部分,然后重新组合成两个体积相同的球。

  • 为什么现代的数学教育需要改进?

    -因为目前的中学数学教育未能包含近300年来的数学发展,这给人们关于数学不是一个繁荣发展领域的错误印象。

  • 数学如何被理解为一门关于模式的科学?

    -数学作为一门关于模式的科学,涵盖从算术、几何到逻辑和拓扑等多种模式的研究,从而揭示自然和抽象世界中的秩序和关系。

Outlines

00:00

📘 数学教育的发展历程

凯斯·德弗林关于数学教育的文章提出,当前的中学数学教育没有涵盖最近300年的数学发展,仅沿袭了数学的一条主线发展史。从数学的起源—数和算术开始,经过古巴比伦、古埃及的实用几何学,到古希腊时期的几何学和无理数的发现,再到阿拉伯人对代数的贡献,数学不断发展。然而,尽管古希腊时期对数学的定义和范式产生了深远影响,包括将数学定位为关于模式的科学,但近300年的数学进展,如微积分和概率论等,并未被纳入中学教育体系。这篇文章通过回顾数学的历史发展,揭示了数学教育需要改进的方向,即更好地反映数学作为一门不断发展的科学的现状。

05:01

🎼 数学符号与抽象思维

数学符号的作用和意义远超过纸面上的标记,它们代表着抽象的概念,与音乐中的音符类似。只有当人们能够理解和内化这些符号时,数学的真实意义才能显现。这种抽象思维能力对于理解宇宙中不可见的模式至关重要。伽利略曾经描述数学是自然的语言,数学的符号化表达让我们能够揭示物理现象背后的本质。进入大学后,数学专业的学习内容将大大超越中学数学,包括对无穷概念的探讨和罗素悖论等复杂问题的分析,显示了数学在抽象思维和逻辑推理方面的深度和广度。

10:01

🚀 数学教育的改革挑战

1960年代美国的新数学教学改革尝试将大学级别的数学内容引入中学课程,但因过分强调新概念而忽视了计算技巧的重要性而失败。该改革的经验表明,深入理解数学概念前,必须掌握相应的计算技能。尽管如此,为了应对工业社会的需求,数学教育仍需培养两类人才:能解决给定问题的人和能将实际问题翻译成数学语言进行精确分析的人。为此,数学课程改革应侧重于训练计算技能的同时,适当开设数学概念和数学史的选修课,以促进学生对数学的深入理解。

Mindmap

Keywords

💡数学教育

数学教育指的是在各级学校中对数学知识和数学思维的教授和学习。视频中讨论数学教育的现状和改进方向,特别是中学和大学阶段数学教育的内容与方法。例如,指出当前中学数学教育内容多数停留在300年前的数学发展水平,没有涵盖近现代数学的重大进展。

💡数学发展史

数学发展史涉及数学理论和方法从古至今的演进过程。在视频中,通过回顾数学发展的历史来分析当前数学教育的局限,从古巴比伦、古希腊到近现代的数学发展,指出了教育中忽略的数学历史和理论部分。

💡无理数

无理数指的是不可以用分数准确表示的数。视频中以古希腊数学对无理数的发现为例,说明数学知识的发展和数学思维方式的变化,强调了古希腊数学对后世数学发展的重要影响。

💡微积分

微积分是现代数学中一个核心的分支,涉及极限、导数、积分等概念。视频中提到,虽然微积分是17世纪的数学进展之一,但现代中学教育很少触及其深层次的内容和思想,反映出数学教育与数学发展之间的脱节。

💡概率论

概率论是研究随机现象及其规律性的数学分支。视频指出,概率论虽然是近几百年来的数学进展之一,但其在中学数学课程中的覆盖也不充分,体现了数学教育内容的局限。

💡罗素悖论

罗素悖论是逻辑学和集合论中的一个著名悖论。视频中通过罗素悖论的介绍来反映数学在20世纪的一些基础性问题,同时指出这种更高级的数学思考并未在中学阶段的数学教育中得到足够的重视。

💡数学模型

数学模型是用数学语言描述现实世界问题的方法。视频中强调,数学不仅仅是纯理论的研究,而是一个工具,可以用来解决实际问题。这指出数学教育应该不只是教授计算技巧,也应教授如何建立和应用数学模型。

💡新数学

新数学是20世纪60年代在美国推广的一种数学教育改革运动,旨在引入更多的现代数学内容。视频中提到这场改革的失败,反思了数学教育改革的困难和挑战,指出改革失败的原因之一是忽视了学生对基础数学计算技巧的需求。

💡证明定理

证明定理是数学中证实定理正确性的过程。视频中提到古希腊数学的发展,尤其是欧几里得的《几何原本》,强调了证明定理在数学发展中的重要性。这反映了数学教育中对推理和证明能力培养的重要性。

💡数学子分支

数学子分支指数学这一广泛领域内不同的研究方向和分类。视频指出,从历史上只有几个主要分支到现代的六七十个子分支,反映了数学的快速发展和多样化,同时暗示了当前数学教育内容需要更新和扩充以反映这些变化。

Highlights

数学史学家认为, 数和算术是数学的起源, 这个时间点是从一万年前开始的, 那时出现的数学和货币的使用紧密相连。

古希腊人非常注重几何, 所有问题都尽量转化到几何图形上来解决, 最典型的就是把"数"看作长度的测量值, 也因为古希腊人有这样另类的思考方法, 所以当他们发现存在一些无法对应真实长度的值时, 无理数就被发现了。

古希腊对数学的影响不只是具体知识, 更是把数学变成了一个研究领域, 在此之前, 数学完全局限在测量、计数、会计这些应用领域。

公元8、9世纪, 数学的再次阶跃式发展是由阿拉伯人推动的, 代数这个词就来源自阿拉伯语。

这些数学早期发展中出现的知识点, 再加上2个来自十七世纪的数学进展, 也就是微积分和概率论的初级知识, 大体上就是全世界的中学数学课的内容基础。

最近300年的数学进展, 根本没有走进中学数学课堂, 但今天, 数学领域内所有研究对象都是最近两、三百年内发展出来的。

300年之前的数学, 大约可以分为4个不同的领域——算数、几何、微积分、代数, 而一百年前, 布尔代数、各种非欧几何、集合论等集中出现, 数学可以划分成12个领域, 如今, 数学的子分支已经有六七十个了。

理解数学这门学科, 最先进的概念是, 数学是一门关于模式的科学(science of patterns)。

数学符号和音乐中的音符有高度类似的地位, 一页蝌蚪一样的音符虽然代表着一份音乐作品, 但只有当这些蝌蚪被演奏出来的时候才是音乐本身, 数学符号也是这样, 当它们只在纸上的时候并不是数学本身, 只有当有能力"演绎"它们的人在脑中把数学符号理解后, 数学才露出真身。

1623年伽利略的一句话是关于数学符号最好的描述:"只有那些懂得自然是用什么语言书写的人, 才能读懂自然这本巨著, 而这种语言就是数学。"

进入大学学习数学专业, 内容就大幅超越了中学数学的知识范畴, 出现了很多完全脱离与物理现实对应的重要思想。

如果一个集合由所有不是自身元素的集合构成, 那么这个集合包含自身吗?这就是罗素悖论。

为了修补数学体系中的悖论, 需要添加一些额外公理作为限制条件, 不同的公理体系会导出不同的数学世界,比如承认选择公理就会导致"分球悖论"的存在。

1960年代美国搞过一次新数学教学改革运动,希望把大学数学内容引入中学,但由于忽视了计算技能的重要性而失败了。

今天的数学教材虽然还是侧重训练学生的计算技巧,但学校可以适当开设数学概念和数学史的课程,供有兴趣的学生选修。

Transcripts

00:00

斯坦福大学的高级研究员——英国数学家凯斯·德弗林(Keith Devlin)最近写了一篇关于数学教育的文章

00:07

这篇文章从数学发展史的角度谈论了中学和大学的数学教育

00:11

很有启发

00:13

今天这期《科技参考》,

00:14

我就来解读一下

00:16

看看上了这么多年的数学课

00:18

我们接触到了数学的哪些部分

00:20

今后的数学课应该怎么改进

00:22

中学数学课不涉及最近300年数学发展

00:23

延续至今的数学,只有一条发展主线

00:26

数学史学家认为

00:28

数和算术是数学的起源

00:30

这个时间点是从一万年前开始的

00:33

那时出现的数学和货币的使用紧密相连

00:37

接下来几百年

00:39

古巴比伦人和古埃及人把几何扩充到数学中

00:43

那时候的数学是纯实用的

00:45

就像一本菜谱,告诉你每一步怎么做

00:48

然后准会得到答案

00:51

公元前500年到公元前300年这段时间是古希腊数学时期

00:56

古希腊人非常注重几何

00:58

所有问题都尽量转化到几何图形上来解决

01:02

最典型的就是把“数”看作长度的测量值

01:06

也因为古希腊人有这样另类的思考方法

01:09

所以当他们发现存在一些无法对应真实长度的值时

01:14

无理数就被发现了

01:16

比如说,两个直角边为1的三角形

01:18

斜边等于根号2

01:20

根号2这个值就无法对应真实长度

01:23

只能无限近似

01:25

虽然还有阿基米德羊皮卷这种在20世纪才发现的重大数学考古遗迹

01:31

证明他老人家已经非常接近发现微积分了

01:35

但由于没有被继承下去

01:37

所以从整体的文明进展上看

01:39

古希腊的数学就止于无理数的发现

01:43

古希腊对数学的影响不只是具体知识

01:46

更是把数学变成了一个研究领域

01:49

在此之前

01:50

数学完全局限在测量、计数、会计这些应用领域

01:55

比如公元前500年

01:56

米利都的泰勒斯就把数学领域的活动范式定义成:

02:01

一切具体数字表达的论断都能通过形式化的论证

02:06

以符合逻辑的方式加以证明

02:09

而这个范式就是后来所谓的“证明定理的过程”,

02:13

一个定理的证明背后就是无限多具体数字的成立

02:18

在古希腊

02:19

这个范式的巅峰就是欧几里得的《几何原本》。

02:23

这里全部采用了证明定理的方式阐述数学思想

02:27

并不拘泥在具体数字的计算上

02:30

公元8、9世纪

02:31

数学的再次阶跃式发展是由阿拉伯人推动的

02:35

代数(algebra)这个词就来源自阿拉伯语“al-jabr”,

02:39

这个词在阿拉伯语中是“某些东西”的意思

02:42

代数是在阿拉伯人和世界各地人的贸易中不断衍生出来的计算方法

02:48

除了上面这些之外

02:50

世界上其他地区虽然也出现过零星的数学研究

02:53

但它们都没有延续下去

02:56

并没有对今天的数学产生重大的影响

03:00

这些数学早期发展中出现的知识点

03:02

再加上2个来自十七世纪的数学进展

03:06

也就是微积分和概率论的初级知识

03:08

大体上就是全世界的中学数学课的内容基础

03:13

也就是说,最近300年的数学进展

03:16

根本没有走进中学数学课堂

03:19

但今天

03:20

数学领域内所有研究对象都是最近两、三百年内发展出来的

03:25

这就会让绝大部分人对数学世界有错误的印象

03:29

认为它不是一个繁荣发展的领域

03:32

那么,最近两百年

03:33

数学世界发生了怎样的转变呢?

03:36

首先是,数学子分支一下多了很多

03:40

300年之前的数学

03:41

大约可以分为4个不同的领域——算数、几何、微积分、代数

03:47

而一百年前

03:48

布尔代数、各种非欧几何、集合论等集中出现

03:52

数学可以划分成12个领域

03:55

如今

03:55

数学的子分支已经有六七十个了

03:58

微分几何、博弈论、拓扑学、测度论、李群、李代数等等是大家熟悉的

04:05

上面这些都是表面所见的变化

04:08

更深刻的变化总结起来

04:10

可以用研究范式的变化来描述

04:13

这个变化就像

04:14

古希腊数学提出数学围绕定理研究

04:18

改变了之前古巴比伦和古印度对围绕具体数字的研究那样

04:23

那么强烈

04:25

理解数学这门学科,最先进的概念是

04:28

数学是一门关于模式的科学(science of patterns)

04:32

在模式的角度下重新划分数学

04:34

数学就是另外的样子——

04:37

传统中与数有关的内容

04:39

比如算术、数论

04:40

都属于计算的模式

04:42

传统中的几何都属于形状的模式

04:46

传统中的微积分属于处理运动的模式

04:49

传统中逻辑属于推理的模式

04:52

传统中拓扑学属于研究封闭性与位置的模式

04:56

传统中的分形属于自相似的模式

04:59

数学符号的新理解

05:00

数学使用一套特殊的符号系统

05:03

每个符号都是抽象的概念

05:05

数学符号和音乐中的音符有高度类似的地位

05:09

一页蝌蚪一样的音符虽然代表着一份音乐作品

05:13

但只有当这些蝌蚪被演奏出来的时候才是音乐本身

05:18

数学符号也是这样

05:20

当它们只在纸上的时候并不是数学本身

05:24

只有当有能力“演绎”它们的人在脑中把数学符号理解后

05:29

数学才露出真身

05:31

由于每个符号都是抽象的

05:33

所以当数学露出真身时

05:35

也是抽象的

05:37

这种抽象的存在却能帮我们理解宇宙中压根看不见的模式

05:43

1623年伽利略的一句话是关于数学符号最好的描述:“只有那些懂得自然是用什么语言书写的人

05:51

才能读懂自然这本巨著

05:54

而这种语言就是数学

05:55

05:57

知道了这些

05:57

我们也可以重新理解什么是物理学

06:01

物理学就是宇宙经过数学这个镜片后看到的像

06:06

当飞机从头顶飞过

06:08

我们看不到飞机下方有任何支撑

06:11

只有通过数学

06:12

我们才看“看到”使飞机维持在天空的那些力、场

06:17

数学的抽象符号把自然界里的不可见变为可见

06:21

大学数学,巨大的跨越

06:22

如果进入大学,学习的是数学专业

06:24

那内容就大幅超越了中学数学的知识范畴

06:28

出现了很多完全脱离与物理现实对应的重要思想

06:33

简单一些的问题

06:34

比如“一个无穷与另一个无穷到底谁更大”,

06:39

或者“一个无限小除以另外一个无限小到底等于多少”。

06:44

复杂一些的问题就更多了

06:46

比如

06:46

如果“一个集合S由所有不是自身元素的集合构成”这样一个定义成立的话

06:53

那么集合S包含自身吗?

06:56

这就是罗素悖论

06:58

如果S属于S,根据S的定义

07:01

S就不能当作集合了

07:03

于是S就不属于S,矛盾了

07:06

反过来,如果S不属于S

07:08

那S就满足集合的定义

07:10

于是根据它的定义

07:12

S是集合,于是又矛盾了

07:15

总之,正反说都不对

07:17

这个悖论通俗又等效地表达就是

07:20

如果“世界上没有一句话是绝对的”,

07:23

那么这句话是绝对的吗?

07:26

一个理发师发誓给不自己理发的人理发

07:29

那这个理发师该不该给自己理发呢?

07:33

这些悖论导致了第三次数学危机

07:35

最后是通过修修补补

07:37

让数学大厦没有倒塌

07:39

修修补补的方式就是

07:41

在定义集合的同时添加一些额外限制

07:45

防止刚刚那些悖论出现

07:47

这些额外限制天然正确吗?

07:49

其实只能暂且默认它们正确

07:52

然后才能让其后的数学大厦保持不倒塌

07:57

而到底应该额外设定哪些限制才能让数学大厦不倒塌呢?

08:01

方法并不唯一

08:03

比如最著名的是ZF公理化(Z是策梅洛的缩写

08:07

F是弗兰克尔的缩写)

08:10

需要额外添加9条公理——外延公理、分类公理、配对公理、并集公理、正则公理等等

08:16

还有其他方法,比如ZFC公理

08:19

就在上面9条公理基础上又增加了选择公理

08:23

这样做也可以保证原有已经被证明的数学定理继续有效

08:28

还有冯·诺伊曼提出的NBG公理体系

08:32

选择不同的公理体系

08:33

就会导出不同的世界

08:35

比如

08:36

“分球悖论”(banach tarski paradox)说的是:

08:38

在选择公理成立的情况下

08:40

可以将一个三维实心球分成有限部分

08:44

然后仅仅通过旋转和平移到其他地方重新组合

08:48

就可以组成两个半径和原来相同的完整的球

08:53

通俗地说就是,只要选择公理成立

08:56

它就可以一个球变两个球

08:58

两个球变四个球,四个球变八个球

09:01

你说,这实在太违背常识了

09:03

于是不承认选择公理

09:06

不承认选择公理

09:07

还能导出更奇特的结论

09:09

比如一个空间具有两种不同的维度

09:13

而选择公理说的又是什么呢?

09:15

通俗地说就是:哪怕有无穷多个集合

09:19

每个集合都有无穷多个元素

09:22

也总是存在一个选择元素的规则能够从每一个集合里不多不少只选出来一个元素

09:29

至于规则是什么样的,不知道

09:32

反正存在就是了

09:34

以上内容的证明和思考与中学数学截然不同

09:38

不知道你是不是已经听懵了

09:40

但这也才刚刚接触到了最近200年数学发展的边缘

09:44

改革失败

09:45

1960年代

09:46

美国曾经搞过一次数学的教学改革

09:49

叫做新数学(New Math)

09:51

希望把那些最近200年来的数学内容引入教材

09:55

其实也就是把今天大学里学的数学内容往中学阶段挪一挪

10:00

初衷虽好

10:01

但实际执行的时候出现了偏差

10:03

偏差主要是由这样的念头导致的:“让学生忘掉各种复杂的计算技巧吧

10:09

只关注新概念就好”。

10:11

但对数学来说,有一点是比较残酷的:

10:15

你只有对某类数学概念对应的复杂计算掌握到一定水平

10:20

才能在之后理解这种数学概念真正的性质

10:24

在不精通计算之前

10:26

自以为的理解都是包含大量错误的

10:29

所以

10:29

那次数学教学改革没过几年就失败了

10:33

此后大学数学的内容一直都没有进入过中学课本

10:37

数学课的改革方法

10:39

学数学到底有什么用呢?

10:41

工业社会的进步需要大量掌握数学知识的人

10:44

这些人会自然地分成两类:

10:47

第一类人能找到给定数学问题的解

10:50

他们占比大多数

10:51

第二类人可以把

10:52

比如说制造业里遇到的问题翻译成数学语言

10:56

然后使用数学工具对问题做精确地分析

11:00

这个工作也被称为建立数学模型

11:02

然后再提出问题,解决问题

11:05

这类人占比很少,却是非常珍贵的

11:08

第二类人更要求对数学概念有深入的理解

11:12

今天的数学教材

11:14

虽然还是侧重训练学生的计算技巧

11:17

但学校可以适当开设数学概念和数学史的课程

11:21

供他们选修

11:22

这对那些已经熟练掌握计算技巧的学生来说

11:26

是更上一层楼的好方法