第一次數學危機─無理數的由來
公元前500年，古希臘畢達哥拉斯(Pythagoras)學派的弟子希勃索斯(Hippasus)發現了一個驚人的事實，一個正方形的對角線與其一邊的長度是不可公度的(若正方形邊長是1，則對角線的長不是一個有理數)。這一不可公度性與畢氏學派“萬物皆為數”(指有理數)的哲理大相徑庭。這一發現使該學派領導人惶恐、惱怒，認為這將動搖他們在學術界的統治地位。希勃索斯因此被囚禁，受到百般折磨，最後競遭到沉舟身亡的懲處。
不可通約的本質是什麼？長期以來眾說紛壇，得不到正確的解釋，兩個不可通約的比值也一直被認為是不可理喻的數。15世紀意大利著名畫家達芬奇稱之為“無理的數”，17世紀德國天文學家開普勒稱之為“不可名狀”的數。
然而，真理畢竟是淹沒不了的，畢氏學派抹殺真理才是“無理”。人們為了紀念希勃索斯這位為真理而獻身的可敬學者，就把不可通約的量取名為“無理數”這便是“無理數”的由來。
同時它導致了第一次數學危機。
例如，就有理數的英文「rational number」來說，「ratio」 一字表示「比例」，「rational number」應該翻譯為「可比數」吧！而無論當初人們如何由拉丁文轉成rational number，把它想成有理之數可真無理。
注册 登录 论坛开通窝窝 网页游戏 打折机票 搜索帮助导航Dreamland科学论坛 » 数学天堂(Paradise of Maths) » 数学危机与广义相对论奇点（转自“繁星客栈”）
网页搜索 站内搜索搜索
返回列表 回复 发帖
发新话题发布投票发布悬赏发布辩论发布活动发布视频发布商品王天信 发短消息
加为好友
王天信 当前离线
UID16 帖子203 精华3 积分3384 阅读权限100 在线时间43 小时 注册时间2007-8-20 最后登录2009-9-21
弱电统一
1# 打印 字体大小: tT 发表于 2007-11-28 16:19 | 只看该作者 踩窝窝 送礼物 问候Ta -
数学危机与广义相对论奇点（转自“繁星客栈”）
相关搜索: 数学危机
数学危机与广义相对论的奇点
作者：萍踪浪迹（王善钦）
对于三次数学危机的看法，学界可谓仁者见，仁智者见智，当然还有一种情况，那就是傻者见傻。
第一次数学危机因为无理数的引入而消除。
第二次数学危机则旷日持久，且事关重大，在数学界和哲学界的震撼力也事三次数学危机中最大的一个。Newton和Leibnitz的微积分被公认为人类智力史上的最伟大成就之一，事实上，正如von Neumann所认为的那样，无论给这个成就多么高的评价都不过分。常微分方程，微分几何，偏微分方程都是以微积分为基础的。但是，学过数学史的人都知道，微积分诞生之初是建立于不严格的基础之上的。这使它从一开始就备受争议。有人认为，上世纪四五十年代的物理学奉行工具主义，实际上，真正的工具主义是在Newton时代。只要结果和现象符合，就是对的，不要管它什么基础。
但是，无穷小仍然困扰着所有为这门学科辩护的人。说远一点，很多人都说，微积分可以和现实模型如此逼近是这个学科的巨大成就。这话其实颠倒了。量子电动力学（QED）可以探索到一亿亿分之一米之内，但是微积分中的无穷小是一种要多小就有多小的“数”，那么它实际上要多精确就有多精确，我们要感叹的其实应该是“现实的测量技术和制造技术可以如此逼近微积分算出来的结果”，而不是相反地拿现实来验证微积分地准确度。
但是，正如很多人所熟知地那样，Newton和Leibnitz虽然在优先权上面掐架，但是在面对无穷小的时候实际上是同命的（可惜不是同命鸳鸯，不然不会为了优先权争个头破血流），早在微积分建立之处，荷兰物理学家Nieuwentyt就指责Newton的流数术含糊不清，同时指责Leibnitz的高阶微分缺乏根据。
著名主教Berkley于1734年发表《分析学家，或致一个不信神的数学家》，矛头直指Newton和Leibnitz以及Halley，它先扬后抑，先说：“流数方法逝一把通用的钥匙，当代数学家们借助它来解开几何学的、最终也是大自然的秘密。这一方法能够在发现定理和解决问题方面大大超越古人。”但接下来就开始讽刺：“正因为如此，其发挥和便成为那些号称深刻的几何学家们主要的（如果不是唯一的）事业。”或许他把 John Bernoulli讽刺Newton的话翻版了一下。他把无穷小说成是逝去的灵魂“它们既不是有限量，又不是无限小，又不是零，难道我们不能称它为消逝的灵魂吗？”
这篇文章实质上是给Newton和Leibnitz鞭尸，因为当时Leibnitz已经去世18年，Newton已经去世7年，看来在这方面Newton是胜利了，Lebnitz去世时Newton很高兴，并宣称因为生前伤害了他而深感欣慰。可见周伯通对郭靖说的一套理论简直是放之四海皆准的真理，那就是，当你恨一个人时，最好是和他比谁更长寿，如果对方先死了，你就胜利了。Newton一胜就是11年，可见他是相当不容易的。
Berkley的鞭尸至少使当时以及后世的数学家难堪，d Aalembert，Euler和Lagrange都加入了反击的行列。d Aalembert发展了Newton的首末比方法，但是他开始用极限概念代替了Newton含糊不清的“最初”于“最终”比，Euler不愧使“分析的化身”，他写的《无限小分析引论》，《微分学》，《积分学》，不仅是18世纪分析学的标准教材，而且是后世诸君公然抄袭于辗转抄袭的最好样本。在1755年出版的《微分学》中，Euler给出了“不同阶零”的理论，可惜太超前了，这么形式化的东西使得当时的数学家普遍无法理解，但是这个理论微积分基础的算术化于代数化论证打下了基础。但是他没有成功。
1786年，Lagrange在柏林科学院数学分部设立一个奖项，悬赏征答关于无穷小的合理解释。瑞士的Huillier获奖，他题写的一句话是：“无穷，是吞没我们思想的深渊。”但是他也没有解决问题。
Euler和Lagrange都至死未见问题的解决，据说，Euler在去世那天刚结束一个问题的思考，他抽了一口烟，被呛了一下，他说：“我要死了。”然后滑落到椅子下，死了。有一次著名数学家Erdos在演讲中讲到这里，一个听众在下面喊：“Euler最后猜想实现了。”
但是，他多少有些魂牵梦萦的无穷小的猜想却是在他死后近四十年才由一个法国青年数学家Cauchy渐渐实现。1821年Cauchy在名著《代数分析教程》中，给出极限论的奠基性工作，他定义了变量与函数的概念（第一个将函数的地位拉到数学的中心的是Euler），再定义变量的极限，然后说“无穷小是极限为零的量”，然后建立连续、导数与微分、积分。但是他认为连续函数必可导，后来的Weierstrass给出了一个处处连续却处处不可微的函数，也算是掘了Cauchy的墓。
有个教师让学生说个成语，能描述一个人高兴且带有数字的，一个学生非常自信地举手回答：“含笑九泉”。但是Cauchy实际上被Weierstrass搞得无法含笑九泉。Weierstrass指出Cauchy的论述方式依赖于几何直观，所以是不严密的，还有一点令现在的数学本科生都惊讶的是：Cauchy对于连续性和一致连续性都区分不清，Cauchy从直观上认为无理数是有理数的极限，但是无法严格论证，也正因为这个原因，他关于无穷小的一些论证是循环论证。Weierstrass和Cantor以及Dedkind分别独立地建立了实数理论。Dedkind地方法（Dedkind分割）是几何化的，Weierstrass和Cantor的方法则是一样的，都是从极限论本身出发，即用有理数基本序列的等价类来定义实数。基本序列是由Cauchy提出的，全人种树，后人乘凉。Cauchy实际上离建立实数理论仅一步之差却始终无法迈出，他知道基本序列就是有极限的序列。有理数的基本序列的极限不一定是有理数，在极限不是有理数时，Cauchy茫然失措，而后世的Cantor却这个有理数基本序列本身用来定义无理数。Cantor是个对于无限理论有着极度热情和自信的人，，他把基本序列这个对象视为一个点，把无限集作为一个整体使用，Cauchy那一步没有迈出就不足为奇了。
Weierstrass是在Cauchy的基础上建立起真正严密的微积分基础的，他第一个认识到严密化需要严格的实数概念。他定义了函数项级数一致收敛的概念，所以他被称为“分析之父”。
事情还没有完，当初物理学家和工程师那么方便地用无穷小解决问题，现在却被那些烦琐地逻辑论证取代了，无穷小就这样死了。看来无穷小从诞生之初就是错误？
先放着这个，我们来看第三次数学悖论。1900年的第二届世界数学家大会上数学大师Poincare宣称数学地绝对严密已经做到。一年后，Russel提出了著名的理发师悖论，使得Cantor提出的集合论受到严重威胁。Russel悖论迫使Dedkind立即推迟印发他关于数与连续性的第三版，Freg深表震惊，说“在工作结束后才发现那大厦的基础已经动摇，对于一个科学工作者来说，没有什么比这更不幸了。”
在经历了无数场没有结果的争论后，Zermelo于1908年提出了新的集合论体系，经过Fraenkel、Skolem和von Neumann改进后形成著名的Zermelo-Fraenkel公理集合论，加上选择公理，形成所谓的ZFC公理集合论。现代数学的逻辑学主体是在ZFC的基础上建立起来的。但是ZFC并不完备，它既不能证明自己的无矛盾性也无法判明连续统假设的真伪，而且选择公理会导致著名的“分球悖论”。在这方面，数理逻辑学家们都甘于当鸵鸟了，何况那些从事于数学基础无关学科的数学家？
真正非常“关心”数学危机的是一些哲学家和一些喜欢看数学家出丑且爱好危言耸听、哗众取宠的人，很可能上述的种类会在同一个人身上出现。数学危机的实质是什么？我不厌其烦地复述了那么多很多人都知道的事实是为了什么？
其实，所谓地数学危机只是人在江湖地产物，我么们这些事后诸葛是看不出什么危机不危机地，因为它们都解决了。我们可以看见先辈地艰辛，但是我们没有和他们共同为这些问题地解决共同努力过。在这种语境下，那些东西是相应时代困扰当时数学精英的“危机”，而不是真的危机。
第一次数学危机是因为没有无理数的概念，不可公度性成为Pythagoras学派的讳莫如深的话题。把数域扩张后，形成了实数域，问题解决了。
第二次数学危机虽然绵延两百多年，但是仍然通过上面所说的数位数学家尤其是Cauchy和Weierstrass的工作而圆满解决。
第三次数学危机出在集合概念的不精确之上，最后ZFC公理集合论的出现解决了这个问题。时间不超过30年，如果从Zermelo开始算的话，就7年。
上面还提到了无穷小的地位，现在接着补充几句，上世纪六十年代，Robinson提出了非标准分析（与Weierstrass的标准分析相对比），把无穷小和无穷大都纳入广义的数之中，恢复了无穷小的地位。在非标准分析里，无穷小是可以像一般的数那样自由运算的，但是不满足Archimedes性质。非标准分析要大量涉及数理逻辑，所以实际上学习起来比标准分析难许多。但是，如果它真的没有缺漏的话，那么从理论意义上说，它以一个很正当的理由复活了传统的无穷小。
在这里，我们就可以看出，三次数学危机实质上都是对象的定义不恰当导致的。这就犹如广义相对论的奇点一样。在Schwarzschild真空外部解中，r=2M和r=0处出现奇性，诱导度规下的线元变成无穷大。但是，r=2M（称为Schwarzschild半径）处的奇性是因为坐标选取的不当导致的，是伪奇性，上面的奇点都是伪奇点，或者称为坐标奇点。对Schwarzschild时空进行Kruskal延拓后可以消去Schwarzschild半径处的奇性，它实际上把Schwarzschild坐标与Eddington坐标的优点都吸收了，它时最完备的坐标覆盖并且消除了坐标奇性，但是它无法消除r=0处的奇性，这时时空奇性或者说时本质奇性。在黑洞理论中，r=2M是事件视界而不是时空奇点集。由两族类光测地线可以画出各点光锥分析质点运动，可以判明在Schwarzschild半径以内的任何光子都无法越出这个半径，而只能坠向时空奇点（r=0）。
同样道理，数学危机中对象的定义不精确犹如广义相对论中坐标选取的不当一样，前者导致伪数学危机，后者导致伪奇点。但是即使把对象定义地极度精确，数学中仍然无法避免Godel不完备定理，要知道即使是ZFC公理集合论，也难逃Godel不完备定理的制约，同样，即使选择了最大程度的坐标延拓——Kruskal延拓，也无法消除时空奇点，所有物质在这个奇点被撕得粉碎。
真正的“数学危机”时类似于Godel不完备定理的结论的出现，而不是那所谓的三次数学危机。真正的奇点时那个永远无法消除得时空奇点而不是事件视界上的点集。
当所谓的哲学家幸灾乐祸地笑话数学家在数学危机中地慌乱失措时，他们没有想到，正是他们嘲笑地这些人认识了这么深入地课题并且解决了这些课题，而那些哲学家连残羹剩饭都没有捞到手，只会自以为高明地瞎评论。
数学史专家Kline（请不要与著名数学家Klein混淆）认为数学家都是奉行“家丑不可外扬”的不诚实之人，所以他很正义地站出来告诉全世界被数学家愚弄地人们来认识数学地家丑。可惜，他真的很颠倒，数学界由什么困难和悖论，都是公之于世的，只不过外行人没有去留心而已。而那些数学“危机”的讨论，哪一次像政客密谋那样偷偷摸摸了？Kline想当英雄，但他没有当成功。
很可笑地是，Kline在《数学，确定性的丧失》中，举了个例子，说蜘蛛看见地下室地蜘蛛网破了，就担心大楼坍塌。但是Kline之流对于数学危机地渲染，其实也是和这蜘蛛一样可笑。是地，Godel不完备定理之类地真危机是存在地，但是它没有影响数学地健康发展，也没有影响数学在其他学科上地精彩应用。它只是说明了数学不是万能，说明了Hilbert元数学无法实现。
大学三年级时看到Halmos接受记者采访时的记录(那书很早了)，由于Halmos和Kline一样反对所谓的“新数学”教育，记者就把两这相提并论，这激起Halmos这位数学大师的愤怒，他直接抨击Kline数学观点的无聊与肤浅，当时我看了真是痛快极了。知音啊。因为我从大一开始就鄙视Kline以及Kline之流的以数学的审判官自居的不入流的角色。那是我大学时代最激动的读书经历之一，还有一次是看Weil在Columbia大学的《数论今昔两讲》，还有一次是看萧荫堂在1983年的数学家大会上关于复几何新进展的一小时报告。还有一次是读Milnor的《Morse理论》
收藏 分享 评分
-
跨越时空间隔的缝隙，拨开量子泡沫的嬉戏，我发现我爱你。
冲出黑洞疯狂的追击，浸淋新星降生的晨曦，我不能没有你。
回复 引用 订阅 TOP
Albert 发短消息
MSN 聊天
加为好友
Albert (超弦)当前离线
UID1 帖子584 精华8 积分8787 阅读权限200 在线时间270 小时 注册时间2007-7-22 最后登录2010-5-21
管理员
2# 发表于 2007-12-7 08:30 | 只看该作者 踩窝窝 送礼物 问候Ta 对三次数学危机早有了解。
但是不同意文中说：“第二次数学危机最严重”。事实上，最严重的是第三次。而且这一次涉及到数学的根本，且至今无法解决，且永远无法解决。
第二次数学危机早就在20世纪初那个分析学繁荣的时候解决了呀。
-
单位元弹起了对称的乐章，循环群迷失了生成元的故乡……古老的递归天使的吟唱，多少年后在最初的奇点中消亡
归去归去来兮，Euler图里穷举着来时的脚印，Hamilton图里搜索不到你的行迹……
世上本没有难走的路，可是两个结点间隔了千万的权数，再也找不到更华丽的词语来描述这样的拓扑……
一个空集中可有你的容身之处？
回复 引用 TOP
返回列表
论坛行政(Administration)
行政通知(Announcement)
心怀辰宇(Universe in our mind)
天一天文社
业余发现
天文同好(Astro Friends)
望远镜与摄影(Telescope and Photographing)
无锡天文爱好者联盟
时空乐章(Canto of Space-Time)
宇宙的琴弦(Universe's String)
薛定谔的猫(Schrdinger's Cat)
桀骜的时空(Independent Space)
物理学其他(Common Physics)
逻辑的引擎(Logic Engine)
数学天堂(Paradise of Maths)
比特世界(Bit's World)
算法与数据结构(Algorithm and Structure)
人工智能之梦(Dreams of Artificial Intelligence)
思想者的维度
哲学漫谈
学术诗派(Academic Poems)
学术诗派
International Science Fans
International Science Fans
银河游泳(Swimming in Milky Way)
呛死在银河水池里(Off-Topic)
Dreamland |联系我们 |论坛统计|Archiver
GMT+8, 2010-11-20 22:17, Processed in 0.137500 second(s), 5 queries, Gzip enabled.
Powered by Discuz! 7.0.0
© 2001-2010 Comsenz Inc.
廊坊网络警
察报警平台 数学
公元前500年，古希臘畢達哥拉斯(Pythagoras)學派的弟子希勃索斯(Hippasus)發現了一個驚人的事實，一個正方形的對角線與其一邊的長度是不可公度的(若正方形邊長是1，則對角線的長不是一個有理數)。這一不可公度性與畢氏學派“萬物皆為數”(指有理數)的哲理大相徑庭。這一發現使該學派領導人惶恐、惱怒，認為這將動搖他們在學術界的統治地位。希勃索斯因此被囚禁，受到百般折磨，最後競遭到沉舟身亡的懲處。
不可通約的本質是什麼？長期以來眾說紛壇，得不到正確的解釋，兩個不可通約的比值也一直被認為是不可理喻的數。15世紀意大利著名畫家達芬奇稱之為“無理的數”，17世紀德國天文學家開普勒稱之為“不可名狀”的數。
然而，真理畢竟是淹沒不了的，畢氏學派抹殺真理才是“無理”。人們為了紀念希勃索斯這位為真理而獻身的可敬學者，就把不可通約的量取名為“無理數”這便是“無理數”的由來。
同時它導致了第一次數學危機。
例如，就有理數的英文「rational number」來說，「ratio」 一字表示「比例」，「rational number」應該翻譯為「可比數」吧！而無論當初人們如何由拉丁文轉成rational number，把它想成有理之數可真無理。
注册 登录 论坛开通窝窝 网页游戏 打折机票 搜索帮助导航Dreamland科学论坛 » 数学天堂(Paradise of Maths) » 数学危机与广义相对论奇点（转自“繁星客栈”）
网页搜索 站内搜索搜索
返回列表 回复 发帖
发新话题发布投票发布悬赏发布辩论发布活动发布视频发布商品王天信 发短消息
加为好友
王天信 当前离线
UID16 帖子203 精华3 积分3384 阅读权限100 在线时间43 小时 注册时间2007-8-20 最后登录2009-9-21
弱电统一
1# 打印 字体大小: tT 发表于 2007-11-28 16:19 | 只看该作者 踩窝窝 送礼物 问候Ta -
数学危机与广义相对论奇点（转自“繁星客栈”）
相关搜索: 数学危机
数学危机与广义相对论的奇点
作者：萍踪浪迹（王善钦）
对于三次数学危机的看法，学界可谓仁者见，仁智者见智，当然还有一种情况，那就是傻者见傻。
第一次数学危机因为无理数的引入而消除。
第二次数学危机则旷日持久，且事关重大，在数学界和哲学界的震撼力也事三次数学危机中最大的一个。Newton和Leibnitz的微积分被公认为人类智力史上的最伟大成就之一，事实上，正如von Neumann所认为的那样，无论给这个成就多么高的评价都不过分。常微分方程，微分几何，偏微分方程都是以微积分为基础的。但是，学过数学史的人都知道，微积分诞生之初是建立于不严格的基础之上的。这使它从一开始就备受争议。有人认为，上世纪四五十年代的物理学奉行工具主义，实际上，真正的工具主义是在Newton时代。只要结果和现象符合，就是对的，不要管它什么基础。
但是，无穷小仍然困扰着所有为这门学科辩护的人。说远一点，很多人都说，微积分可以和现实模型如此逼近是这个学科的巨大成就。这话其实颠倒了。量子电动力学（QED）可以探索到一亿亿分之一米之内，但是微积分中的无穷小是一种要多小就有多小的“数”，那么它实际上要多精确就有多精确，我们要感叹的其实应该是“现实的测量技术和制造技术可以如此逼近微积分算出来的结果”，而不是相反地拿现实来验证微积分地准确度。
但是，正如很多人所熟知地那样，Newton和Leibnitz虽然在优先权上面掐架，但是在面对无穷小的时候实际上是同命的（可惜不是同命鸳鸯，不然不会为了优先权争个头破血流），早在微积分建立之处，荷兰物理学家Nieuwentyt就指责Newton的流数术含糊不清，同时指责Leibnitz的高阶微分缺乏根据。
著名主教Berkley于1734年发表《分析学家，或致一个不信神的数学家》，矛头直指Newton和Leibnitz以及Halley，它先扬后抑，先说：“流数方法逝一把通用的钥匙，当代数学家们借助它来解开几何学的、最终也是大自然的秘密。这一方法能够在发现定理和解决问题方面大大超越古人。”但接下来就开始讽刺：“正因为如此，其发挥和便成为那些号称深刻的几何学家们主要的（如果不是唯一的）事业。”或许他把 John Bernoulli讽刺Newton的话翻版了一下。他把无穷小说成是逝去的灵魂“它们既不是有限量，又不是无限小，又不是零，难道我们不能称它为消逝的灵魂吗？”
这篇文章实质上是给Newton和Leibnitz鞭尸，因为当时Leibnitz已经去世18年，Newton已经去世7年，看来在这方面Newton是胜利了，Lebnitz去世时Newton很高兴，并宣称因为生前伤害了他而深感欣慰。可见周伯通对郭靖说的一套理论简直是放之四海皆准的真理，那就是，当你恨一个人时，最好是和他比谁更长寿，如果对方先死了，你就胜利了。Newton一胜就是11年，可见他是相当不容易的。
Berkley的鞭尸至少使当时以及后世的数学家难堪，d Aalembert，Euler和Lagrange都加入了反击的行列。d Aalembert发展了Newton的首末比方法，但是他开始用极限概念代替了Newton含糊不清的“最初”于“最终”比，Euler不愧使“分析的化身”，他写的《无限小分析引论》，《微分学》，《积分学》，不仅是18世纪分析学的标准教材，而且是后世诸君公然抄袭于辗转抄袭的最好样本。在1755年出版的《微分学》中，Euler给出了“不同阶零”的理论，可惜太超前了，这么形式化的东西使得当时的数学家普遍无法理解，但是这个理论微积分基础的算术化于代数化论证打下了基础。但是他没有成功。
1786年，Lagrange在柏林科学院数学分部设立一个奖项，悬赏征答关于无穷小的合理解释。瑞士的Huillier获奖，他题写的一句话是：“无穷，是吞没我们思想的深渊。”但是他也没有解决问题。
Euler和Lagrange都至死未见问题的解决，据说，Euler在去世那天刚结束一个问题的思考，他抽了一口烟，被呛了一下，他说：“我要死了。”然后滑落到椅子下，死了。有一次著名数学家Erdos在演讲中讲到这里，一个听众在下面喊：“Euler最后猜想实现了。”
但是，他多少有些魂牵梦萦的无穷小的猜想却是在他死后近四十年才由一个法国青年数学家Cauchy渐渐实现。1821年Cauchy在名著《代数分析教程》中，给出极限论的奠基性工作，他定义了变量与函数的概念（第一个将函数的地位拉到数学的中心的是Euler），再定义变量的极限，然后说“无穷小是极限为零的量”，然后建立连续、导数与微分、积分。但是他认为连续函数必可导，后来的Weierstrass给出了一个处处连续却处处不可微的函数，也算是掘了Cauchy的墓。
有个教师让学生说个成语，能描述一个人高兴且带有数字的，一个学生非常自信地举手回答：“含笑九泉”。但是Cauchy实际上被Weierstrass搞得无法含笑九泉。Weierstrass指出Cauchy的论述方式依赖于几何直观，所以是不严密的，还有一点令现在的数学本科生都惊讶的是：Cauchy对于连续性和一致连续性都区分不清，Cauchy从直观上认为无理数是有理数的极限，但是无法严格论证，也正因为这个原因，他关于无穷小的一些论证是循环论证。Weierstrass和Cantor以及Dedkind分别独立地建立了实数理论。Dedkind地方法（Dedkind分割）是几何化的，Weierstrass和Cantor的方法则是一样的，都是从极限论本身出发，即用有理数基本序列的等价类来定义实数。基本序列是由Cauchy提出的，全人种树，后人乘凉。Cauchy实际上离建立实数理论仅一步之差却始终无法迈出，他知道基本序列就是有极限的序列。有理数的基本序列的极限不一定是有理数，在极限不是有理数时，Cauchy茫然失措，而后世的Cantor却这个有理数基本序列本身用来定义无理数。Cantor是个对于无限理论有着极度热情和自信的人，，他把基本序列这个对象视为一个点，把无限集作为一个整体使用，Cauchy那一步没有迈出就不足为奇了。
Weierstrass是在Cauchy的基础上建立起真正严密的微积分基础的，他第一个认识到严密化需要严格的实数概念。他定义了函数项级数一致收敛的概念，所以他被称为“分析之父”。
事情还没有完，当初物理学家和工程师那么方便地用无穷小解决问题，现在却被那些烦琐地逻辑论证取代了，无穷小就这样死了。看来无穷小从诞生之初就是错误？
先放着这个，我们来看第三次数学悖论。1900年的第二届世界数学家大会上数学大师Poincare宣称数学地绝对严密已经做到。一年后，Russel提出了著名的理发师悖论，使得Cantor提出的集合论受到严重威胁。Russel悖论迫使Dedkind立即推迟印发他关于数与连续性的第三版，Freg深表震惊，说“在工作结束后才发现那大厦的基础已经动摇，对于一个科学工作者来说，没有什么比这更不幸了。”
在经历了无数场没有结果的争论后，Zermelo于1908年提出了新的集合论体系，经过Fraenkel、Skolem和von Neumann改进后形成著名的Zermelo-Fraenkel公理集合论，加上选择公理，形成所谓的ZFC公理集合论。现代数学的逻辑学主体是在ZFC的基础上建立起来的。但是ZFC并不完备，它既不能证明自己的无矛盾性也无法判明连续统假设的真伪，而且选择公理会导致著名的“分球悖论”。在这方面，数理逻辑学家们都甘于当鸵鸟了，何况那些从事于数学基础无关学科的数学家？
真正非常“关心”数学危机的是一些哲学家和一些喜欢看数学家出丑且爱好危言耸听、哗众取宠的人，很可能上述的种类会在同一个人身上出现。数学危机的实质是什么？我不厌其烦地复述了那么多很多人都知道的事实是为了什么？
其实，所谓地数学危机只是人在江湖地产物，我么们这些事后诸葛是看不出什么危机不危机地，因为它们都解决了。我们可以看见先辈地艰辛，但是我们没有和他们共同为这些问题地解决共同努力过。在这种语境下，那些东西是相应时代困扰当时数学精英的“危机”，而不是真的危机。
第一次数学危机是因为没有无理数的概念，不可公度性成为Pythagoras学派的讳莫如深的话题。把数域扩张后，形成了实数域，问题解决了。
第二次数学危机虽然绵延两百多年，但是仍然通过上面所说的数位数学家尤其是Cauchy和Weierstrass的工作而圆满解决。
第三次数学危机出在集合概念的不精确之上，最后ZFC公理集合论的出现解决了这个问题。时间不超过30年，如果从Zermelo开始算的话，就7年。
上面还提到了无穷小的地位，现在接着补充几句，上世纪六十年代，Robinson提出了非标准分析（与Weierstrass的标准分析相对比），把无穷小和无穷大都纳入广义的数之中，恢复了无穷小的地位。在非标准分析里，无穷小是可以像一般的数那样自由运算的，但是不满足Archimedes性质。非标准分析要大量涉及数理逻辑，所以实际上学习起来比标准分析难许多。但是，如果它真的没有缺漏的话，那么从理论意义上说，它以一个很正当的理由复活了传统的无穷小。
在这里，我们就可以看出，三次数学危机实质上都是对象的定义不恰当导致的。这就犹如广义相对论的奇点一样。在Schwarzschild真空外部解中，r=2M和r=0处出现奇性，诱导度规下的线元变成无穷大。但是，r=2M（称为Schwarzschild半径）处的奇性是因为坐标选取的不当导致的，是伪奇性，上面的奇点都是伪奇点，或者称为坐标奇点。对Schwarzschild时空进行Kruskal延拓后可以消去Schwarzschild半径处的奇性，它实际上把Schwarzschild坐标与Eddington坐标的优点都吸收了，它时最完备的坐标覆盖并且消除了坐标奇性，但是它无法消除r=0处的奇性，这时时空奇性或者说时本质奇性。在黑洞理论中，r=2M是事件视界而不是时空奇点集。由两族类光测地线可以画出各点光锥分析质点运动，可以判明在Schwarzschild半径以内的任何光子都无法越出这个半径，而只能坠向时空奇点（r=0）。
同样道理，数学危机中对象的定义不精确犹如广义相对论中坐标选取的不当一样，前者导致伪数学危机，后者导致伪奇点。但是即使把对象定义地极度精确，数学中仍然无法避免Godel不完备定理，要知道即使是ZFC公理集合论，也难逃Godel不完备定理的制约，同样，即使选择了最大程度的坐标延拓——Kruskal延拓，也无法消除时空奇点，所有物质在这个奇点被撕得粉碎。
真正的“数学危机”时类似于Godel不完备定理的结论的出现，而不是那所谓的三次数学危机。真正的奇点时那个永远无法消除得时空奇点而不是事件视界上的点集。
当所谓的哲学家幸灾乐祸地笑话数学家在数学危机中地慌乱失措时，他们没有想到，正是他们嘲笑地这些人认识了这么深入地课题并且解决了这些课题，而那些哲学家连残羹剩饭都没有捞到手，只会自以为高明地瞎评论。
数学史专家Kline（请不要与著名数学家Klein混淆）认为数学家都是奉行“家丑不可外扬”的不诚实之人，所以他很正义地站出来告诉全世界被数学家愚弄地人们来认识数学地家丑。可惜，他真的很颠倒，数学界由什么困难和悖论，都是公之于世的，只不过外行人没有去留心而已。而那些数学“危机”的讨论，哪一次像政客密谋那样偷偷摸摸了？Kline想当英雄，但他没有当成功。
很可笑地是，Kline在《数学，确定性的丧失》中，举了个例子，说蜘蛛看见地下室地蜘蛛网破了，就担心大楼坍塌。但是Kline之流对于数学危机地渲染，其实也是和这蜘蛛一样可笑。是地，Godel不完备定理之类地真危机是存在地，但是它没有影响数学地健康发展，也没有影响数学在其他学科上地精彩应用。它只是说明了数学不是万能，说明了Hilbert元数学无法实现。
大学三年级时看到Halmos接受记者采访时的记录(那书很早了)，由于Halmos和Kline一样反对所谓的“新数学”教育，记者就把两这相提并论，这激起Halmos这位数学大师的愤怒，他直接抨击Kline数学观点的无聊与肤浅，当时我看了真是痛快极了。知音啊。因为我从大一开始就鄙视Kline以及Kline之流的以数学的审判官自居的不入流的角色。那是我大学时代最激动的读书经历之一，还有一次是看Weil在Columbia大学的《数论今昔两讲》，还有一次是看萧荫堂在1983年的数学家大会上关于复几何新进展的一小时报告。还有一次是读Milnor的《Morse理论》
收藏 分享 评分
-
跨越时空间隔的缝隙，拨开量子泡沫的嬉戏，我发现我爱你。
冲出黑洞疯狂的追击，浸淋新星降生的晨曦，我不能没有你。
回复 引用 订阅 TOP
Albert 发短消息
MSN 聊天
加为好友
Albert (超弦)当前离线
UID1 帖子584 精华8 积分8787 阅读权限200 在线时间270 小时 注册时间2007-7-22 最后登录2010-5-21
管理员
2# 发表于 2007-12-7 08:30 | 只看该作者 踩窝窝 送礼物 问候Ta 对三次数学危机早有了解。
但是不同意文中说：“第二次数学危机最严重”。事实上，最严重的是第三次。而且这一次涉及到数学的根本，且至今无法解决，且永远无法解决。
第二次数学危机早就在20世纪初那个分析学繁荣的时候解决了呀。
-
单位元弹起了对称的乐章，循环群迷失了生成元的故乡……古老的递归天使的吟唱，多少年后在最初的奇点中消亡
归去归去来兮，Euler图里穷举着来时的脚印，Hamilton图里搜索不到你的行迹……
世上本没有难走的路，可是两个结点间隔了千万的权数，再也找不到更华丽的词语来描述这样的拓扑……
一个空集中可有你的容身之处？
回复 引用 TOP
返回列表
论坛行政(Administration)
行政通知(Announcement)
心怀辰宇(Universe in our mind)
天一天文社
业余发现
天文同好(Astro Friends)
望远镜与摄影(Telescope and Photographing)
无锡天文爱好者联盟
时空乐章(Canto of Space-Time)
宇宙的琴弦(Universe's String)
薛定谔的猫(Schrdinger's Cat)
桀骜的时空(Independent Space)
物理学其他(Common Physics)
逻辑的引擎(Logic Engine)
数学天堂(Paradise of Maths)
比特世界(Bit's World)
算法与数据结构(Algorithm and Structure)
人工智能之梦(Dreams of Artificial Intelligence)
思想者的维度
哲学漫谈
学术诗派(Academic Poems)
学术诗派
International Science Fans
International Science Fans
银河游泳(Swimming in Milky Way)
呛死在银河水池里(Off-Topic)
Dreamland |联系我们 |论坛统计|Archiver
GMT+8, 2010-11-20 22:17, Processed in 0.137500 second(s), 5 queries, Gzip enabled.
Powered by Discuz! 7.0.0
© 2001-2010 Comsenz Inc.
廊坊网络警
察报警平台 数学
选择“Disable on www.wenxuecity.com”
选择“don't run on pages on this domain”
