数学三大危机
第一,希伯斯(Hippasu,米太旁登地方人,公元前5世纪)发现了一个腰为1的等腰直角三角形的斜边(即根号2)永远无法用最简整数比(不可公度比)来表示,从而发现了第一个无理数,推翻了毕达哥拉斯的著名理论。相传当时毕达哥拉斯派的人正在海上,但就因为这一发现而把希伯斯抛入大海。第二,微积分的合理性遭到严重质疑,险些要把整个微积分理论推翻。
第三,罗素悖论:S由一切不是自身元素的集合所组成,那S包含S吗?用通俗一点的话来说,小明有一天说:“我正在撒谎!”问小明到底撒谎还是说实话。罗素悖论的可怕在于,它不像最大序数悖论或最大基数悖论那样涉及集合高深知识,它很简单,却可以轻松摧毁集合理论!
中文名
数学三大危机
外文名
Three crises in Mathematics
第一次
发现了根号2,推翻“万物皆数”
第二次
微积分概念的合理性遭到严重质疑
第三次
集合论中的罗素悖论
第一次数学危机
毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一个合政治、学术、宗教三位一体的神秘主义派别:毕达哥拉斯学派。由毕达哥拉斯提出的著名命题“万物皆数”是该学派的哲学基石。毕达哥拉斯学派所说的数仅指整数。而“一切数均可表成整数或整数之比”则是这一学派的数学信仰。然而,具有戏剧性的是由毕达哥拉斯建立的毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”。
古希腊哲学家毕达哥拉斯
毕达哥拉斯定理提出后,其学派中的一个成员希帕索斯考虑了一个问题:边长为1的正方形其对角线长度是多少呢?他发现这一长度既不能用整数,也不能用分数表示,而只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数 的诞生。小小 的出现,却在当时的数学界掀起了一场巨大风暴。它直接动摇了毕达哥拉斯学派的数学信仰,使毕达哥拉斯学派为之大为恐慌。实际上,这一伟大发现不但是对毕达哥拉斯学派的致命打击,对于当时所有古希腊人的观念这都是一个极大的冲击。这一结论的悖论性表现在它与常识的冲突上:任何量,在任何精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信仰,就是在今天,测量技术已经高度发展时,这个断言也毫无例外是正确的!可是为我们的经验所确信的,完全符合常识的论断居然被小小的 的存在而推翻了!这应该是多么违反常识,多么荒谬的事!它简直把以前所知道的事情根本推翻了。更糟糕的是,面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人们认识上的危机,从而导致了西方数学史上一场大的风波,史称“第一次数学危机”。
第二次数学危机
出现
第二次数学危机导源于微积分工具的使用。伴随着人们科学理论与实践认识的提高,十七世纪几乎在同一时期,微积分这一锐利无比的数学工具为牛顿、莱布尼兹共同发现。这一工具一问世,就显示出它的非凡威力。许许多多疑难问题运用这一工具后变得易如反掌。但是不管是牛顿,还是莱布尼兹所创立的微积分理论都是不严格的。两人的理论都建立在无穷小分析之上,但他们对作为基本概念的无穷小量的理解与运用却是混乱的。因而,从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。
解决
经过柯西(微积分收官人)用极限的方法定义了无穷小量,微积分理论得以发展和完善,从而使数学大厦变得更加辉煌美丽!
第三次数学危机
出现
十九世纪下半叶,康托尔创立了著名的集合论,在集合论刚产生时,曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了,并且获得广泛而高度的赞誉。数学家们发现,从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”这一发现使数学家们为之陶醉。1900年,国际数学家大会上,法国著名数学家庞加莱就曾兴高采烈地宣称:“……借助集合论概念,我们可以建造整个数学大厦……今天,我们可以说绝对的严格性已经达到了……”
可是,好景不长。1903年,一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的著名的罗素悖论。
罗素构造了一个集合S:S由一切不是自身元素的集合所组成。然后罗素问:S是否属于S呢?根据排中律,一个元素或者属于某个集合,或者不属于某个集合。因此,对于一个给定的集合,问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S,根据S的定义,S就不属于S;反之,如果S不属于S,同样根据定义,S就属于S。无论如何都是矛盾的。
其实,在罗素之前集合论中就已经发现了悖论。如1897年,布拉利和福尔蒂提出了最大序数悖论。1899年,康托尔自己发现了最大基数悖论。但是,由于这两个悖论都涉及集合中的许多复杂理论,所以只是在数学界揭起了一点小涟漪,未能引起大的注意。罗素悖论则不同。它非常浅显易懂,而且所涉及的只是集合论中最基本的东西。所以,罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。如G.弗雷格在收到罗素介绍这一悖论的信后伤心地说:“一个科学家所遇到的最不合心意的事莫过于是在他的工作即将结束时,其基础崩溃了。罗素先生的一封信正好把我置于这个境地。”戴德金也因此推迟了他的《什么是数的本质和作用》一文的再版。可以说,这一悖论就像在平静的数学水面上投下了一块巨石,而它所引起的巨大反响则导致了第三次数学危机。
解决
排除悖论
危机产生后,数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。“这些原则必须足够狭窄,以保证排除一切矛盾;另一方面又必须充分广阔,使康托尔集合论中一切有价值的内容得以保存下来。”1908年,策梅罗在自己这一原则基础上提出第一个公理化集合论体系,后来经其他数学家改进,称为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。除ZF系统外,集合论的公理系统还有多种,如诺伊曼等人提出的NBG系统等。
公理化集合系统
成功排除了集合论中出现的悖论,从而比较圆满地解决了第三次数学危机。但在另一方面,罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争,形成了现代数学史上著名的三大数学流派,而各派的工作又都促进了数学的大发展等等。
绛旓細鏁板鍙蹭笂涓夊ぇ鍗辨満鏄細1銆佸笇浼柉鍙戠幇浜嗕竴涓叞涓1鐨勭瓑鑵扮洿瑙掍笁瑙掑舰鐨勬枩杈规案杩滄棤娉曠敤杈冪畝鏁存暟姣旀潵琛ㄧず锛屼粠鑰屽彂鐜颁簡涓涓棤鐞嗘暟锛屾帹缈讳簡姣曡揪鍝ユ媺鏂殑钁楀悕鐞嗚銆2銆寰Н鍒嗙殑鍚堢悊閬埌涓ラ噸璐ㄧ枒锛岄櫓浜涜鎶婃暣涓井绉垎鐞嗚鎺ㄧ炕銆3銆缃楃礌鎮栬涓嶅儚杈冨ぇ搴忔暟鎮栬鎴栬緝澶у熀鏁版倴璁洪偅鏍锋秹鍙婇珮娣辩煡璇嗭紝瀹冨緢绠鍗曪紝鍗村彲浠ヨ交鏉...
绛旓細鏁板涓夊ぇ鍗辨満鍏蜂綋鎸囧叧浜庢棤鐞嗘暟鐨勫彂鐜般佸叧浜庢棤绌峰皬鐨勯棶棰樸佸叧浜庨泦鍚堣鐨勬倴璁銆1銆佺涓澶у嵄鏈烘槸鍏充簬鏃犵悊鏁扮殑鍙戠幇銆傚湪鍙ゅ笇鑵婃椂鏈燂紝浜轰滑璁や负鎵鏈夌殑鏁伴兘鍙互鐢ㄦ湁鐞嗘暟鏉ヨ〃绀猴紝鍗虫墍鏈夌殑鏁伴兘鍙互琛ㄧず涓轰袱涓暣鏁颁箣姣斻傝繖绉嶈蹇靛湪鍏厓鍓5涓栫邯琚墦鐮淬傚笇甯曠储鏂彂鐜颁簡涓涓棦涓嶆槸鏁存暟涔熶笉鏄袱涓暣鏁颁箣姣旂殑闂锛岃繖...
绛旓細鏁板涓夊ぇ鍗辨満鏄揪鍝ユ媺鏂倴璁恒佽礉鍏嬭幈鎮栬鍜岀綏绱犳倴璁銆1銆佺涓娆℃暟瀛﹀嵄鏈猴細姣曡揪鍝ユ媺鏂倴璁烘瘯杈惧摜鎷夋柉瀛︽淳鍦ㄦ暟瀛︿笂鐨勪竴椤归噸澶ц础鐚槸璇佹槑浜嗘瘯杈惧摜鎷夋柉瀹氱悊锛屼篃灏辨槸鎴戜滑鎵璇寸殑鍕捐偂瀹氱悊銆傚嬀鑲″畾鐞嗘寚鍑虹洿瑙掍笁瑙掑舰涓夎竟搴旀湁濡備笅鍏崇郴锛屽嵆a^2=b^2+c^2锛宎鍜宐鍒嗗埆浠h〃鐩磋涓夎褰㈢殑涓ゆ潯鐩磋杈癸紝c琛ㄧず鏂滆竟銆傜劧鑰...
绛旓細鏁板鍙蹭笂鐨勭涓夋鍗辨満锛鏄敱1897骞寸殑绐佺劧鍐插嚮鑰屽嚭鐜扮殑锛屽埌鐜板湪锛屼粠鏁翠綋鏉ョ湅锛岃繕娌℃湁瑙e喅鍒颁护浜烘弧鎰忕殑绋嬪害銆傝繖娆″嵄鏈烘槸鐢变簬鍦ㄥ悍鎵樼殑涓鑸泦鍚堢悊璁虹殑杈圭紭鍙戠幇鎮栬閫犳垚鐨勩傜敱浜庨泦鍚堟蹇靛凡缁忔笚閫忓埌浼楀鐨勬暟瀛﹀垎鏀紝骞朵笖瀹為檯涓婇泦鍚堣鎴愪簡鏁板鐨勫熀纭锛屽洜姝ら泦鍚堣涓倴璁虹殑鍙戠幇鑷劧鍦板紩璧蜂簡瀵规暟瀛︾殑鏁翠釜鍩烘湰缁撴瀯鐨勬湁鏁...
绛旓細鏁板鐨勪笁澶у嵄鏈哄涓嬶細鏃犵悊鏁扮殑鍙戠幇锛岀涓娆℃暟瀛﹀嵄鏈哄ぇ绾﹀叕鍏冨墠5涓栫邯锛屼笉鍙氱害閲忕殑鍙戠幇瀵艰嚧浜嗘瘯杈惧摜鎷夋柉鎮栬銆傜浜屾鏁板鍗辨満18涓栫邯锛屽井鍒嗘硶鍜岀Н鍒嗘硶鍦ㄧ敓浜у拰瀹炶返涓婇兘鏈変簡骞挎硾鑰屾垚鍔熺殑搴旂敤锛屽ぇ閮ㄥ垎鏁板瀹跺杩欎竴鐞嗚鐨勫彲闈犳ф槸姣笉鎬鐤戠殑銆傜涓夋鏁板鍗辨満鏁板鍙蹭笂鐨勭涓夋鍗辨満锛屾槸鐢1897骞寸殑绐佺劧鍐插嚮...
绛旓細绗竴娆★紝鏃犵悊鏁扮殑浜х敓锛涚浜屾寰Н鍒嗙殑浜х敓锛堟棤绌峰ぇ锛屾棤绌峰皬锛夛紱绗笁娆★紝缃楃礌鎮栬浜х敓銆
绛旓細2銆佸叕鐞嗗寲闆嗗悎绯荤粺锛屾垚鍔熸帓闄や簡闆嗗悎璁轰腑鍑虹幇鐨勬倴璁猴紝浠庤屾瘮杈冨渾婊″湴瑙e喅浜嗙涓夋鏁板鍗辨満銆備絾鍦ㄥ彟涓鏂归潰锛缃楃礌鎮栬瀵规暟瀛﹁岃█鏈夌潃鏇翠负娣卞埢鐨勫奖鍝嶃傚畠浣垮緱鏁板鍩虹闂绗竴娆′互鏈杩垏鐨勯渶瑕佺殑濮挎佹憜鍒版暟瀛﹀闈㈠墠锛屽鑷翠簡鏁板瀹跺鏁板鍩虹鐨勭爺绌躲傝岃繖鏂归潰鐨勮繘涓姝ュ彂灞曞張鏋佸叾娣卞埢鍦板奖鍝嶄簡鏁翠釜鏁板銆傚鍥寸粫鐫...
绛旓細鏁板鍙蹭笂鐨勭涓夋鍗辨満锛屾槸鐢1897骞寸殑绐佺劧鍐插嚮鑰屽嚭鐜扮殑锛屽埌鐜板湪锛屼粠鏁翠綋鏉ョ湅锛岃繕娌℃湁瑙e喅鍒颁护浜烘弧鎰忕殑绋嬪害銆傝繖娆″嵄鏈烘槸鐢变簬鍦ㄥ悍鎵樺皵鐨勪竴鑸泦鍚堢悊璁虹殑杈圭紭鍙戠幇鎮栬閫犳垚鐨勩傜敱浜庨泦鍚堟蹇靛凡缁忔笚閫忓埌浼楀鐨勬暟瀛﹀垎鏀紝骞朵笖瀹為檯涓婇泦鍚堣鎴愪簡鏁板鐨勫熀纭锛屽洜姝ら泦鍚堣涓倴璁虹殑鍙戠幇鑷劧鍦板紩璧蜂簡瀵规暟瀛︾殑鏁翠釜鍩烘湰缁撴瀯鐨...
绛旓細鏁板涓夊ぇ鍗辨満绠杩帮細绗竴锛屽笇甯曠储鏂紙Hippasu锛岀背澶梺鐧诲湴鏂逛汉锛屽叕鍏冨墠5涓栫邯锛夊彂鐜颁簡涓涓叞涓1鐨勭瓑鑵扮洿瑙掍笁瑙掑舰鐨勬枩杈癸紙鍗虫牴鍙2锛夋案杩滄棤娉曠敤鏈绠鏁存暟姣旓紙涓嶅彲鍏害姣旓級鏉ヨ〃绀猴紝浠庤屽彂鐜颁簡绗竴涓棤鐞嗘暟锛屾帹缈讳簡姣曡揪鍝ユ媺鏂殑钁楀悕鐞嗚銆傜浉浼犲綋鏃舵瘯杈惧摜鎷夋柉娲剧殑浜烘鍦ㄦ捣涓婏紝浣嗗氨鍥犱负杩欎竴鍙戠幇鑰屾妸甯屽笗绱㈡柉鎶...
绛旓細涓夋鏁板鍗辨満绗竴娆℃暟瀛﹀嵄鏈哄彜甯岃厞鐨勬瘯杈惧摜鎷夋柉瀛︽淳銆備粬浠涓衡滀竾鐗╃殕鏁扳濓紝璁や负鏁板鐨勭煡璇嗘槸鍙潬鐨勩佸噯纭殑锛岃屼笖鍙互搴旂敤浜庣幇瀹炵殑涓栫晫銆傛暟瀛︾殑鐭ヨ瘑鏄敱浜庣函绮圭殑鎬濈淮鑰岃幏寰楋紝骞朵笉闇瑕佽瀵熴佺洿瑙夊強鏃ュ父缁忛獙銆 姣曡揪鍝ユ媺鏂殑鏁版槸鎸囨暣鏁帮紝浠栦滑鍦ㄦ暟瀛︿笂鐨勪竴椤归噸澶у彂鐜版槸璇佹槑浜嗗嬀鑲″畾鐞嗐備粬浠煡閬撴弧瓒崇洿瑙掍笁瑙...