免费人妻中文不卡无码_日本精品爽爽van在线_久久精品国产99久久丝袜蜜桃_女强人被春药精油按摩bd电影

戰(zhàn)爭、饑荒和瘟疫能引起悲劇，然而，人類思想的局限性也能引起理性上的悲劇。本書論及的不幸事件降臨在人類最為卓著且無與倫比的成就，對人類的理性精神具有最持久和最深刻的影響數學的頭上。

換句話說，這本書在非專業(yè)層次上探討數學尊嚴的興衰�？吹綌祵W現在的宏大規(guī)模，日益增多甚至呈繁榮之勢的數學活動，每年發(fā)表的數以千計的研究論文，對計算機興趣的迅猛增長以及尤其是在社會科學和生物科學中對定量關系的廣泛研究，數學的衰落從何談起？悲劇存在于何處？要回答這些問題，我們首先必須考慮是什么為數學贏得了巨大的聲望和榮譽。

作為一個獨立知識體系的數學起源于古希臘，自它誕生之日起的2000 多年來，數學家們一直在追求真理，而且成就輝煌。關于數和幾何圖形的龐大理論體系為數學提供了一個看起來似乎無限的確定性前景。

在數學以外的領域，數學概念及其推論為重大的科學理論提供精髓。盡管通過數學和科學的合作才獲得的知識用到了自然定律，但它們看來似乎與絕對的數學真理一樣絕對可信，因為天文學、力學、光學和空氣動力學中的數學所做的預測與觀察和實驗相當吻合。因此，數學能牢固把握宇宙的所作所為，能瓦解玄秘并代之以規(guī)律和秩序。人類得以趾高氣揚地俯瞰他周圍的世界，吹噓自己已經掌握了宇宙的許多秘密（實際上是一系列數學定理）。拉普拉斯 的話概括了數學家們一直在不懈地尋求真理的信念。他說，牛頓2 是最幸運的人，因為只有一個宇宙，而他已發(fā)現了它的規(guī)律。

數學依賴于一種特殊的方法去達到它驚人而有力的結果，即從不證自明的公理出發(fā)進行演繹推理，這種方法我們仍會在通常的高中幾何課上學習。它的實質是，若公理為真，則可以保證由它演繹出的結論為真。通過應用這些看起來清晰、正確且完美的邏輯，數學家們得出顯然是毋庸置疑、無可辯駁的結論。數學的這套方法在今天仍然沿用。任何時候，任何人想找一個推理的必然性和準確性的例子，一定會想到數學。

這種數學方法所取得的成功吸引了最偉大的智者，數學已顯示了人類理性的能力、根源和力量。所以他們想到，為什么不能把這種方法用到由權威、風俗、習慣控制的領域，比如在哲學、神學、倫理學、美學及社會科學中去尋求真理呢？人類的推理能力在數學和自然科學中是如此卓有成效，肯定也將成為上述其他領域思想和行為的主宰，為其獲得真理的美和美的真理。因此，在被稱作理性時代的啟蒙時期，數學方法，甚至和一些數學概念及定理，被應用到了人文領域之中。

洞察力最豐富的來源是后見之明。19 世紀初的創(chuàng)造，包括令人奇怪的幾種幾何學和代數學，迫使數學家們極不情愿地承認絕對意義上的數學或者科學中的數學真理并不都是真理。例如，他們發(fā)現幾種不同的幾何學同等地與空間經驗相吻合，但它們可能都不是真理。顯然，自然界的數學設計并不是固有的，或者如果是的話，人類的數學都未必是那個設計的最好詮釋。開啟真理的鑰匙失去了，這一事實是降臨到數學頭上的第一個不幸事件。

新的幾何學和代數學的誕生使數學家們感受到另一個宇宙的震動。尋求真理的信念使數學家們如醉如癡，總是迫不及待地用嚴密論證去追求那些虛無縹緲的真理。認識到數學并不是真理的化身動搖了他們從數學那里獲得的自信，他們開始重新檢驗他們的創(chuàng)造。他們失望地發(fā)現數學中的邏輯形容枯槁，慘不忍睹。

事實上，數學已經在不合邏輯地發(fā)展，不僅包括錯誤的證明、推理的漏洞，還有稍加注意就能避免的疏誤。這樣的錯誤比比皆是。這種不合邏輯的發(fā)展還涉及對概念的片面理解，無法真正認識邏輯所依賴的原理以及論證的不嚴謹性；也就是說，直覺、實證及借助于幾何圖形的證明取代了邏輯論證。

不過，數學仍然是一種對宇宙的有效描述，而且在許多人心里，特別是在柏拉圖主義者看來，數學是實在（reality）的一部分，是值得追求的。因此，數學家們決定去彌補丟失了的邏輯結構，重建有缺陷的部分。在19 世紀下半葉，數學的嚴密化運動（rigorization of mathematics）格外
引人注目。

到1900 年，數學家們確信已實現了自己的目標。盡管他們不得不滿足于數學僅能作為對宇宙的一個近似描述的觀點，許多人甚至放棄了宇宙的數學化設計這一信念，但的確慶幸他們重建了數學的邏輯結構。然而，他們還沒來得及炫耀自封的成功，在重建的數學中就發(fā)現了矛盾。一般稱這些矛盾為悖論（paradoxes），這是為了避免直接說矛盾而破壞了數學邏輯的委婉用語。

當時那些領頭的數學家?guī)缀趿⒖叹屯渡碛诮鉀Q這些矛盾，于是他們構想、闡述甚至建構了四種不同的數學學派，每一種都有眾多的追隨者。那些基礎的學派不僅努力解決已有的矛盾，而且力爭避免新的矛盾出現，換句話說，他們要建立數學的相容性（consistency）。在這些基礎研究中又出現了其他的問題，某些公理和演繹邏輯推理的可接受性也成為幾個學派采取不同立場的重要原因。

到1930 年，數學家們已滿足于接受幾種數學基礎中的一兩個，并且宣稱自己的數學證明至少和這些學派的原則相符。但是，災難再次降臨以哥德爾1 的一篇著名論文的形式出現。哥德爾證明了那幾個學派所接受的邏輯原理無法證明數學的一致性。這還不包括論文里其他一些意義重大、影響深遠的結果。哥德爾表明，對已取得的成功提出質疑不能不用到非�？梢傻倪壿嬙�理。哥德爾定理引起一場巨變。隨后的發(fā)展帶來了更大的麻煩。例如，就連過去極度推崇的、被認為是精密科學方法的公理化演繹方法看來也是有缺陷的。這些新的發(fā)展給數學增加了多種可能的結構，同時也把數學家分成了更多的相異群體。

數學的當前困境是有許多種數學流派，而且由于種種原因，每一種都無法使對立學派滿意。顯然，普遍接受的概念、正確無誤的推理體系1800 年時尊貴的數學和那時人的自信現在都成了癡心妄想。與未來數學相關的不確定性和可疑性，取代了過去的確定性和自滿。關于最確定的科學的基礎意見不一致不僅讓人吃驚，而且，溫和一點說，是讓人尷尬。目前的數學或是故作深沉，或是對廣泛承認的真理，所謂的完美無缺的邏輯的拙劣模仿。

有的數學家認為，關于接受什么作為真正數學的不同觀點，總有一天會統(tǒng)一起來。在這些人當中比較有名的是一群署名為尼古拉布爾巴基的法國領頭數學家們：

長期以來，對數學原理的重要修正幾乎無一不在不確定性時期之后，而不確定性確實使矛盾出現了并且一定得被解決。在至今已有25個世紀之久的這段時期里，數學家們一直在改正他們的錯誤，并且看到了這門科學欣欣向榮，而不是枯竭衰敗。這使他們有理由對未
來充滿希望。

然而，更多的數學家并不樂觀。20世紀最偉大的數學家之一，外爾在1944年曾指出：
數學的終極基礎和終極意義尚未解決，我們不知道沿著什么方向可以找到最終答案，或者甚至于是否有希望得到一個最終的、客觀的答案。數學化很可能是人類原始創(chuàng)造力的一項創(chuàng)造性活動，類似于語言或音樂，其歷史觀點否認完全客觀的合理性。

用歌德的話說：一門科學的歷史就是這門科學本身。

對于正確的數學是什么的問題所存在的分歧以及不同基礎的多樣性不僅嚴重影響數學本身，還波及最為生機勃勃的自然科學。我們將看到，最先進的自然科學理論（即這種理論的成果可以在感覺上或實體上體現出來。例如即便我們一點也不懂電磁波是什么，但我們能聽到收音機中傳出的聲音），這都是數學化的成果。因此，沒有親自對數學基礎下過功夫，而又不打算花費數年時間研究不完美的數學的科學家，一定會關心什么樣的數學能被理直氣壯地應用。

真理的喪失，數學和科學不斷增加的復雜性，以及對于何種方法應用于數學是最保險的的不確定性，已使大多數數學家放棄科學。風聲鶴唳，草木皆兵，數學家們不得不退回到那些證明方法看起來似乎很安全的數學領域。他們還發(fā)現人為編造出來的問題比自然界提出來的問題更
富魅力，處理起來更加得心應手。

因完美的數學是什么而產生的危機和矛盾還阻礙了數學的方法在許多其他文化領域中的應用，如哲學、政治科學、倫理學和美學。找到客觀、正確的定律和標準的希望變得微弱了，理性時代已經過去。

盡管數學令人不滿意，方法復雜多變，對可接受公理持不同意見，還有隨時可能出現的新矛盾，都會殃及大部分數學領域，但是一些數學家仍然把數學應用于自然現象中，而且事實上把應用領域擴大到經濟學、生物學和社會學。數學的繼續(xù)有效給我們兩點啟示。第一點是這種有效性（effectiveness）可用作判別正確性（correctness）的準則，當然這個準則是暫時性的。今天認為正確的，也許下次應用時就會被證明是錯的。

第二點涉及未知。真正的數學是什么？對此并無定論。為什么數學依舊有效？我們是在用不完美的工具創(chuàng)造奇跡嗎？如果人類已經被欺騙了，大自然也會受騙而屈服于人類的數學命令嗎？顯然不會。而且正是憑借建立在數學之上的技術，人類成功地登上了月球，探測了火星和木星。這難道不是對宇宙中的數學理論的證實嗎？那么，數學的人為因素與變幻莫測又何從談起呢？在心智和靈魂迷惘不定的時候，軀體能生存下去嗎？當然對于人類本身及數學，確實如此。因此我們應該去研究為什么會這樣。盡管數學的基礎尚不確定，數學家們的理論也彼此沖突，而數學卻已被證明成就輝煌，風采依然。