数学是发明还是发现的.docx
- 文档编号:27240376
- 上传时间:2023-06-28
- 格式:DOCX
- 页数:7
- 大小:22.78KB
数学是发明还是发现的.docx
《数学是发明还是发现的.docx》由会员分享,可在线阅读,更多相关《数学是发明还是发现的.docx(7页珍藏版)》请在冰豆网上搜索。
数学是发明还是发现的
数学是创造还是发现的?
本文作者马里奥·利维奥是美国空间望远镜科学研究所的理论天体物理学家,对于各种宇宙现象有广泛的研究,包括暗能量、超新星爆发、太阳系外行星以及白矮星、中子星和黑洞等。
科学家可以推导出描绘亚原子现象的公式,工程师可以计算出航天器的飞行轨迹,皆得益于数学的魅力。
伽利略第一个站出来力挺“数学乃科学之语言〞这一观点,而我们也承受了他的看法,并期望用数学的语法来解释实验结果,乃至预测新的现象。
不管怎么说,数学的神通都令人瞠目。
看看苏格兰物理学家麦克斯韦〔JamesClerkMaxwell〕那个著名的方程组吧。
麦克斯韦方程组的4个方程,不仅囊括了19世纪60年代时所有的电磁学知识,而且还预测了无线电波的存在,此后又过了差不多20年,德国物理学家赫兹〔HeinrichHertz〕才通过实验探测到电磁波。
可以将如此海量的信息以极其简练、精准的方式表述出来的语言,可谓凤毛麟角。
无怪乎爱因斯坦会发出这样的感慨:
“数学本是人类思维的产物,与实际经历无关,缘何却能与具有物理现实性的种种客体吻合得如此完美,令人叫绝呢?
〞
1960年,诺贝尔奖得主、物理学家尤金·魏格纳〔EugeneWigner〕以“有用得说不通〞来阐述数学的伟大,而作为一位活泼的理论天体物理学家,我在工作中也感同身受。
无论我是想要弄清名为Ia型超新星〔Iasupernovae〕的恒星爆炸产生自哪种前身天体系统,还是推测当太阳最终变成红巨星时地球的命运,我使用的工具以及所建立的模型都属于数学范畴。
数学对自然界的诠释是如此不可思议,令我在整个职业生涯中为之神魂颠倒,为此,我从大约10年前起下定决心要更加深化地探究这个问题。
这道难题的核心,在于数学家、物理学家、哲学家及认知科学家多少世纪以来一直争论的一个话题:
数学终究是如爱因斯坦所坚信的那样,是人们创造出来的一套工具,还是本来就已经存在于抽象世界中,不过被人发现了而已?
爱因斯坦的观点源自于所谓形式主义〔Formalism〕学派,许多伟大的数学家,包括大卫·希尔伯特〔DavidHilbert〕、格奥尔格·康托尔〔GeorgCantor〕,以及布尔巴基学派的数学家,都与爱因斯坦看法一致。
但其他一些出色精英,如戈弗雷·哈罗德·哈代〔GodfreyHaroldHardy〕、罗杰·彭罗斯〔RogerPenrose〕以及库尔特·哥德尔〔KurtG?
del〕,那么持相反观点,他们信奉柏拉图主义〔Platonism〕。
这场有关数学本性的辩论如今仍然火爆,似乎难以找到明确的答案。
我认为,假如只是单纯地纠结于数学是被创造还是被发现的这个问题,或许会无视另一个更为纠结复杂的答案:
两者都起着关键作用。
我推想,将这两方面因素结合起来,应该能解释数学的魅力。
创造与发现并非势不两立;虽然消除它们之间的对立并不能完全解释数学的神奇效能,但鉴于这个问题实在是太深奥,即使仅仅是朝着解决问题的方向迈出一小步,也算是有所进展了。
创造与发现并重
数学“不合理〞的神奇成效通过两种截然不同的方式表达出来,依我看其中一种可称为主动方式,另一种可称为被动方式。
有时,科学家会针对现实世界中的现象专门打造一些方法来进展定量研究。
例如,牛顿创立微积分学,就是为了理解运动与变化的规律,其方法就是把运动和变化的过程分解为一系列逐帧演化的无穷小片断。
这类主动的创造,自然非常有效率,因为它们都是针对需要定向打造的。
不过,它们在某些情况下所到达的精度更让人啧啧称奇。
以量子电动力学〔quantumelectrodynamics〕这个专门为描绘光与物质互相作用而建立起来的数学理论为例。
当科学家运用此理论来计算电子的磁矩时,理论值与最新的实验结果〔1.00115965218073,2022年实测值〕几乎完全吻合,误差仅有十亿分之几。
还有更令人惊讶的事实。
有时,数学家在创始一个个完好的研究领域时,根本没想过它们会起的作用。
然而过了几十年,甚至假设干世纪后,物理学家才发现,正是这些数学分支可以圆满诠释他们的观测结果。
这类能表达数学“被动效力〞的实例不可胜数。
比方,法国数学家伽罗华〔évaristeGalois〕在19世纪初期建立群论时,只是想要弄清高次代数方程可否用根式求解。
广义地说,群是一类由特定范围的假设干元素〔例如整数〕组成的代数构造,它们可以进展特定的代数运算〔例如加法〕,并满足假设干详细的条件〔其中一个条件是存在单位元,拿整数加群来说,单位元就是0,它与任何整数相加,仍然得到这个整数本身〕。
但在20世纪的物理学中,这个相当抽象的理论竟然衍生出了最有成效的根本粒子分类方法〔根本粒子是物质的最小构造单元〕。
20世纪60年代,物理学家默里·盖尔曼〔MurrayGell-Mann〕和尤瓦尔·尼曼〔YuvalNe'eman〕各自证明,一个名为SU〔3〕的特殊的群反映了所谓强子这类亚原子粒子的某项特性,而正是群与根本粒子之间的这一联络,最终为描绘原子核是如何结合的现代理论奠定了根底。
分形〔fractals〕是一种出于抽象研究的需要而创造出来的数学构造,但后来还是同现实挂上了钩。
本图所示的球体堆集模型就是运用3D模拟软件制作出的一个分形。
对结的研究,是数学显示被动效力的又一个精彩实例。
数学上的结与日常生活中的结颇为相似,只是没有松开的端头。
19世纪60年代,开尔文爵士希望用有结的以太管来描绘原子。
他的模型搞错了方向,跟实际情况根本挂不上钩,但数学家们仍孜孜不倦地对结继续进展了数十年的分析,只不过是把它当作一个非常深奥的纯数学问题来研究。
令人惊讶的是,后来结理论竟然为我们提供了对弦论〔stringtheory〕和圈量子引力〔loopquantumgravity〕的假设干重要见解,它们正是我们眼下为构建一个可以使量子力学和广义相对论和谐统一的时空理论的最好尝试。
英国数学家哈代〔Hardy〕在数论领域的发现与此也有异曲同工之妙。
哈代为推动密码学研究立下了汗马功绩,尽管他本人先前曾断言,“任何人都还没有发现数论可以为打仗这回事派上什么用场〞。
此外,1854年,黎曼〔BernhardRiemann〕率先描绘了非欧几何——这种几何具有某些奇妙特性,例如平行线可能相交。
半个多世纪后,爱因斯坦正是借助于非欧几何创立了广义相对论。
一种形式浮现出来:
人们对周围世界的各种元素——包括图形、线条、集合、群组等——进展抽象概括后,创造出各种数学概念,有时出于某种详细目的,有时那么纯粹为了好玩。
他们接下来会努力寻找这些概念之间的联络。
这一创造与发现的过程是人为的,与柏拉图主义标榜的那种发现不同,因此,我们创立的数学归根结底取决于我们的知觉过程以及我们能设想出的心理场景。
例如,我们人类具有所谓“感数〞〔subitizing〕的天赋,可以一眼识别出数量,毫无疑问,这种本能催生了数字的概念。
我们非常擅长于感知各个物体的边缘,并且擅长区分直线与曲线,以及形状不同的图形,如圆和椭圆等。
或许,正是这些本能促进了算术与几何学的兴起和开展。
同理,人类无数次反复经历的各种因果关系,对于逻辑的创立至少也起了局部作用,并产生以下认识:
根据某些陈述,我们可以推断出其他一些陈述的正确性。
选择与进化
迈克尔·阿提亚〔MichaelAtiyah〕是20世纪最出色的数学家之一,他曾通过一项非常巧妙的假想实验来提醒我们掌握的数学概念是如何受知觉影响的——甚至连数字这类最根本的概念也不例外。
德国数学家克罗内克〔LeopoldKronecker〕有一句名言:
“上帝创造了整数,其余都是人做的工作。
〞但我们可以想象,假如世界上有智力的不是人类,而是一种生活在太平洋底与世隔绝的奇异水母,在它们周围,从海水的流动到海水温度与压力,都是连绵不断的。
在这样一个找不到什么独特个体,也就是不存在任何离散性元素的环境里,数字的概念有时机破茧而出吗?
假如没有什么东西可以让你去数,那还会有数字存在吗?
同水母一样,我们也要采用可以合适于自己所在环境的数学工具——毫无疑问,数学正是因此而显得神通广阔。
科学家并非随心所欲地选择分析工具,而是根据它们是否能准确预测实验结果来作出选择的。
当网球发球机吐球时,你可以用自然数1、2、3依次标示向外蹦出的球。
不过,消防员喷水救火时,要想对水流作出有意义的描绘,就得用体积或重量之类的概念了。
同样道理,各种亚原子粒子在粒子加速器中碰撞时,物理学家也是用能量及动量之类的指标,而不是用最终到底有多少粒子来评估碰撞。
最终粒子数只能给出有关原始粒子碰撞过程的局部信息,因为在这一过程中可能还有其他粒子产生。
只有最出色的模型才能历经时间的考验。
而那些失意的模型,比方笛卡尔用宇宙物质旋涡来描绘行星运动的尝试,就夭折了。
反观成功的模型,那么会随着新信息的出现而逐步改良。
例如,当人们对水星这颗行星的进动获得了极其准确的测量结果后,就必须用爱因斯坦的广义相对论来彻底改造牛顿的引力理论,才能对最新测量结果作出圆满解释。
任何一种行之有效的数学概念,寿命都是很长的。
比方,早在公元前250年左右,阿基米德就已经证明了球体外表积的公式,而直到今天,这个公式也跟当年一样站得住脚。
因此,任何时代的科学家都有一个极其庞大的数学公式宝库供其搜索,从中找出最合适的方法来使用。
科学家不仅在寻求答案,他们常常也挑选合适于用数学处理的问题。
然而,有一大批现象不可能作出准确的数学预测,有时甚至原那么上就是不可预测的。
例如,在经济学中,许多变量——比方说民众心理素质的详细情况——不适宜作定量分析。
任何理论的预测价值,均取决于各变量之间根底关系是否恒定。
我们的分析也无法彻底解读会产生混沌的系统〔在这类系统中,只要初始条件有极其微小的变化,都可能导致最终结果完全不同,因此无法进展长期预测〕。
数学家们创立了统计学和概率论来弥补上述缺陷,但众所周知,奥地利逻辑学家库尔特·哥德尔早已证明,数学本身是存在着固有局限性的。
自然界的对称性
数学能如此成功地诠释自然法那么,精心挑选问题与答案仅是原因之一。
这样的法那么首先必须存在,数学才有用武之地。
对数学家和物理学家来说,幸运的是我们这个宇宙看起来是被一些亘古不变的自然法那么所支配的。
决定宇宙最初构造的引力,同样也左右着今天的星系。
为理解释这种以不变应万变的现象,数学家和物理学家创造了对称性的概念。
物理学定律似乎都蕴含着相对于空间和时间的对称性。
无论在何时何地,从什么角度来查看这些定律,它们都是不变的。
此外,物理学定律对于所有观察者都是一视同仁的,无论这些观察者是处于静止状态,还是在做匀速运动或加速运动。
因此,无论我们在哪里做实验,中国也好,美国也好,乃至在仙女座大星云也好,也无论我们是今天做这个实验,还是10亿年后由另外某个人来做实验,都可以用同样的物理学定律来解释实验结果。
假如宇宙不具有这种对称性,那我们想要破解大自然宏伟设计的努力——也就是根据我们的观测结果建立相应的数学模型——可就要无功而返了,因为那样我们就得针对时空中的每个点,不断反复实验。
而在描绘亚原子粒子的物理学定律中,那么是另一类更复杂的对称性,即标准对称性占据主导地位。
由于量子世界的模糊性,某一给定粒子既可以是带负电的电子,也可以是不带电的中微子,还可以是二者的叠加态,除非我们测量了电荷,明确区分出它到底是电子还是中微子。
其实,假如我们把电子换成中微子,或者换成两者的任何一个叠加态,自然界的法那么照旧保持同一形式。
换成其他根本粒子,情况也仍然如此。
没有这种标准对称性,我们要建立一个有关宇宙根本运作原理的理论是极其困难的。
同样,没有局域性,情况也会非常棘手〔所谓局域性,是指我们这个宇宙中的任何事物仅受其近邻环境的直接影响,而不受远处发生的事件的影响〕。
有了局域性,我们就可以首先设法解读根本粒子之间最根底的力,然后利用其他各种知识元素,像拼七巧板一样尝试拼出宇宙的数学模型来。
现今在为统一各种互相作用的尝试中,最有希望成功的一种数学理论,需要依靠另一种对称——超对称性〔supersymmetry〕。
在由超对称性主导的宇宙里,每种粒子都有一个尚待发现的伙伴粒子。
假如这些伙伴粒子最终被发现[当欧洲原子核研究中心〔CERN〕的大型强子对撞机〔LHC〕投入全能量运行时,它们可能会被发现],那么这将是具有神奇效力的数学的又一项成功。
“师〞之概念,大体是从先秦时期的“师长、师傅、先生〞而来。
其中“师傅〞更早那么意指春秋时国君的老师。
?
说文解字?
中有注曰:
“师教人以道者之称也〞。
“师〞之含义,如今泛指从事教育工作或是传授知识技术也或是某方面有特长值得学习者。
“老师〞的原意并非由“老〞而形容“师〞。
“老〞在旧语义中也是一种尊称,隐喻年长且学识渊博者。
“老〞“师〞连用最初见于?
史记?
,有“荀卿最为老师〞之说法。
渐渐“老师〞之说也不再有年龄的限制,老少皆可适用。
只是司马迁笔下的“老师〞当然不是今日意义上的“老师〞,其只是“老〞和“师〞的复合构词,所表达的含义多指对知识渊博者的一种尊称,虽能从其身上学以“道〞,但其不一定是知识的传播者。
今天看来,“老师〞的必要条件不光是拥有知识,更重于传播知识。
在本文开头,我提出了两个互相关联的根本问题:
数学是人们创造的还是发现的?
是什么因素赋予了数学如此强大的解释才能与预测本领?
我相信第一个问题已经有了答案:
数学是创造与发现的精妙交融。
一般说来概念是创造的产物,而即便概念之间所有正确的关系在被发现之前就已经存在,人们仍然需要对研究哪些关系进展选择。
如今看来第二个问题似乎更为复杂。
毫无疑问,正因我们在使用数学方法时对题材进展了精心挑选,于是数学给我们留下了非常有效这种印象。
但假如本来就没有什么普遍存在的规律等着我们去发现,那数学就完全无用武之地了。
如今你可以这样问:
为何会存在放之四海而皆准的自然法那么?
或者说,为何我们的宇宙被某些对称性以及局域性所支配?
说实在的,我不知道答案,我只能说,在一个不存在上述特性的宇宙中,复杂性和生命或许永远也不会出现,我们当然也就没有时机提出这些问题了。
“教书先生〞恐怕是市井百姓最为熟悉的一种称呼,从最初的门馆、私塾到晚清的学堂,“教书先生〞那一行当怎么说也算是让国人景仰甚或敬畏的一种社会职业。
只是更早的“先生〞概念并非源于教书,最初出现的“先生〞一词也并非有传授知识那般的含义。
?
孟子?
中的“先生何为出此言也?
〞;?
论语?
中的“有酒食,先生馔〞;?
国策?
中的“先生坐,何至于此?
〞等等,均指“先生〞为父兄或有学问、有德行的长辈。
其实?
国策?
中本身就有“先生长者,有德之称〞的说法。
可见“先生〞之原意非真正的“老师〞之意,倒是与当今“先生〞的称呼更接近。
看来,“先生〞之根源含义在于礼貌和尊称,并非具学问者的专称。
称“老师〞为“先生〞的记载,首见于?
礼记?
曲礼?
,有“从于先生,不越礼而与人言〞,其中之“先生〞意为“年长、资深之传授知识者〞,与老师、老师之意根本一致。
“师〞之概念,大体是从先秦时期的“师长、师傅、先生〞而来。
其中“师傅〞更早那么意指春秋时国君的老师。
?
说文解字?
中有注曰:
“师教人以道者之称也〞。
“师〞之含义,如今泛指从事教育工作或是传授知识技术也或是某方面有特长值得学习者。
“老师〞的原意并非由“老〞而形容“师〞。
“老〞在旧语义中也是一种尊称,隐喻年长且学识渊博者。
“老〞“师〞连用最初见于?
史记?
,有“荀卿最为老师〞之说法。
渐渐“老师〞之说也不再有年龄的限制,老少皆可适用。
只是司马迁笔下的“老师〞当然不是今日意义上的“老师〞,其只是“老〞和“师〞的复合构词,所表达的含义多指对知识渊博者的一种尊称,虽能从其身上学以“道〞,但其不一定是知识的传播者。
今天看来,“老师〞的必要条件不光是拥有知识,更重于传播知识。
王真本文
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 数学 发明 还是 发现