數(shù)學(xué)危機(jī)的發(fā)生和重要意義(畢業(yè)論文).docVIP

編號編號 學(xué)學(xué)士士學(xué)學(xué)位位論論文文 數(shù)學(xué)危機(jī)的發(fā)生和重要意義數(shù)學(xué)危機(jī)的發(fā)生和重要意義 學(xué)生姓名 依比熱依木 艾山江 學(xué) 號 20080102054 系 部 數(shù)學(xué)系 專 業(yè) 數(shù)學(xué)與應(yīng)用數(shù)學(xué) 年 級 2008 年級 2 班 指導(dǎo)教師 杜剛老師 完成日期 年 月 日 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 中文摘要 三次數(shù)學(xué)危機(jī)實(shí)際上是西方數(shù)學(xué)發(fā)展過程矛盾斗爭的結(jié)果 也能看出在西 方社會 數(shù)學(xué)文化的精神已經(jīng)進(jìn)入到西方社會 是普通民眾的所具有的精神 一旦數(shù)學(xué)上問題與社會意識發(fā)生矛盾時 便會引起全社會的爭論 進(jìn)而產(chǎn)生了 危機(jī) 這些危機(jī)的解決是需要對數(shù)學(xué)的再認(rèn)識 再理解 在數(shù)學(xué)內(nèi)部用純粹知 識就可解決 三次危機(jī)一方面促進(jìn)了數(shù)學(xué)的發(fā)展 另一方面也展示了西方數(shù)學(xué) 在西方社會的文化地位 以及對西方人思維的影響 前者只需要數(shù)學(xué)發(fā)展歷程 可看出 而后者是需要我們進(jìn)一步仔細(xì)思考的內(nèi)容 關(guān)鍵詞 關(guān)鍵詞 數(shù)學(xué)危機(jī) 危機(jī)的發(fā)生 危機(jī)的解決 危機(jī)的重要意義 Mathematics crises and important meaning Abstract Three mathematical crisis in fact is the western mathematics development process of the struggle contradictions result can also see that in western society the spirit of mathematical culture has entered the western society is ordinary people a spirit once the math problem and social consciousness is contradictory will cause the social debate which brings the crisis The crisis is needed to solve the recognition of mathematics and understand in mathematical internal use pure knowledge can be solved Three crisis on one hand promoted mathematics of development on the other hand also shows the western mathematics in western society culture status and the influence of the thinking of westerners The former only need math development can 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 2 be seen and the latter is we need to think carefully about further the content Key words Mathematical crisis Crises The solution of the crisis The significance of the crisis 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 3 目 錄 中文摘要中文摘要 1 ABSTRACT 1 引言引言 2 1 1 第一次數(shù)學(xué)危機(jī)第一次數(shù)學(xué)危機(jī) 2 1 1 第一次數(shù)學(xué)危機(jī)的發(fā)生 2 1 2 第一次數(shù)學(xué)危機(jī)的解決 4 1 3 第一次數(shù)學(xué)危機(jī)的影響和重要意義 5 2 2 第二次數(shù)學(xué)危機(jī)第二次數(shù)學(xué)危機(jī) 7 2 1 第二次數(shù)學(xué)危機(jī)發(fā)生 7 2 2 第二次數(shù)學(xué)危機(jī)的解決 10 2 2 第二次數(shù)學(xué)危機(jī)的影響和重要意義 11 3 3 第三次數(shù)學(xué)危機(jī)第三次數(shù)學(xué)危機(jī) 12 3 1 第三次數(shù)學(xué)危機(jī)的產(chǎn)生 12 3 2 第三次數(shù)學(xué)危機(jī)的解決 14 3 2 第三次數(shù)學(xué)危機(jī)的影響和重要意義 16 參考文獻(xiàn)參考文獻(xiàn) 18 致謝致謝 18 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 2 引言 本文詳細(xì)介紹了三次數(shù)學(xué)危機(jī)的來龍去脈 每一次數(shù)學(xué)危機(jī)用一節(jié)的篇幅 包括危機(jī)的引發(fā) 危機(jī)的解決 在解決過程中產(chǎn)生的各種數(shù)學(xué)成果以及危機(jī)解 決后產(chǎn)生的深遠(yuǎn)影響 讀者通過本文可以充分了解危機(jī)對數(shù)學(xué)發(fā)展所起到的巨 大作用 又能對數(shù)學(xué)中歐幾里得幾何 無理數(shù) 微積分 集合論等的來龍去脈 獲得更清晰的認(rèn)識 并理解枝繁葉茂的數(shù)學(xué)大樹是如何一步一步成長起來的 在整個數(shù)學(xué)發(fā)展過程中存在許多更為深刻的矛盾 有窮與無窮 連續(xù)與離散 乃至存在與結(jié)構(gòu) 邏輯與直觀 概念與計(jì)算等等 數(shù)學(xué)的發(fā)展史貫穿著矛盾的 斗爭和解決 而在矛盾激化到涉及整個數(shù)學(xué)的基礎(chǔ)時 就會產(chǎn)生數(shù)學(xué)危機(jī) 1 第一次數(shù)學(xué)危機(jī) 1 11 1 第一次數(shù)學(xué)危機(jī)的發(fā)生第一次數(shù)學(xué)危機(jī)的發(fā)生 第一次危機(jī)發(fā)生在公元前 580 568 年之間的古希臘 那是的數(shù)學(xué)家畢達(dá)哥 拉斯建立了畢達(dá)哥拉斯派 畢達(dá)哥拉斯是公元前五世紀(jì)古希臘的著名數(shù)學(xué)家和 哲學(xué)家 由畢達(dá)哥拉斯提出的著名命題 萬物皆數(shù) 是該學(xué)派的哲學(xué)基礎(chǔ) 而 一切數(shù)均可標(biāo)成整數(shù)或整數(shù)之比 這是這一學(xué)派的數(shù)學(xué)信仰 但是人們對有 理數(shù)的認(rèn)識還很有限 對于無理數(shù)的概念更是一無所知 畢達(dá)哥拉斯學(xué)派所說 的數(shù) 原來是指整數(shù) 他們不把分?jǐn)?shù)看成一種數(shù) 而僅看作兩個整數(shù)之比 他 們的錯誤的認(rèn)為 宇宙間的一切現(xiàn)象都?xì)w結(jié)為整數(shù)或整數(shù)之比 然而 具有戲 劇性的是由畢達(dá)哥拉斯建立的畢達(dá)哥拉斯定理卻稱了畢達(dá)哥拉斯學(xué)派學(xué)數(shù)學(xué)信 仰的 奠基人 關(guān)于第一次危機(jī)還有一個十分悲情著名的事件 他有一個學(xué)生西帕索斯絕頂聰明 畢達(dá)哥拉斯在許多場合都講西帕索斯的 智慧超群 夸獎他的創(chuàng)新精神 為了摸清勾股數(shù)底子 畢達(dá)哥拉斯把篩選三元 數(shù)組的任務(wù)交給了西帕索斯 在研究過程中碰到了這樣一個問題 正方形的變 長為 1 那么 對角線多少呢 西帕索斯用了很長的時間 發(fā)現(xiàn)對角線的長 既不是整數(shù) 也不是兩個整數(shù)之比 于是他向畢達(dá)哥拉斯請教 西帕索斯思想清晰 敢于堅(jiān)持真理的人 他沒有被權(quán)威嚇到 也沒有被放 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 3 棄對的探究 一有機(jī)會就宣傳這個無理數(shù)的存在 對此畢達(dá)哥拉斯堅(jiān)持不住了 他認(rèn)為西帕索斯反叛于畢達(dá)哥拉斯學(xué)派 最后把他殘忍的扔進(jìn)海里淹死了 這 就是數(shù)學(xué)史上著名的 第一次數(shù)學(xué)危機(jī) 然而 他發(fā)現(xiàn)邊長相等的正方形其對角線長并不能整數(shù)或者整數(shù)之比表示 假設(shè)正方形邊長為 1 并設(shè)其對角線長為 以勾股定理應(yīng)有 即d 222 11d 那么 d 是多少呢 顯然不是整數(shù) 那它必是兩整數(shù)之比 西帕索斯 2 2d d 花了很長時間來尋找這兩個整數(shù)之比 結(jié)果沒有找著 反而找到了兩數(shù)不可通 約性的證明 用反證法證明如下 設(shè) 兩直角邊為 則由勾股定Rt ABC ab 理有 已設(shè)將中的公約數(shù)約去 即已經(jīng)互素 于是 為偶數(shù) 22 2ca ca和 a cc 為奇數(shù) 不妨令 則有 于是為偶數(shù) 這與前面已證 a2cm 2 2 22ma aa 互素矛盾 c 在這個模型中 一切事物的存在方式取決于數(shù)量及其幾何形狀 都是由點(diǎn) 或最小的存在單元按照相應(yīng)的各種幾何形象組合而成的 他指出 萬物的本 源是一 從一生產(chǎn)出二 二是屬于一的不定的質(zhì)料 一則是原因 從完滿的一 與不定的二中生產(chǎn)出各種數(shù)目 從數(shù)產(chǎn)生出點(diǎn) 從點(diǎn)產(chǎn)生出線 從線產(chǎn)生出面 既然數(shù)學(xué)是萬物的基礎(chǔ)和本質(zhì) 那么數(shù)是什么呢 在畢達(dá)哥拉斯看來 數(shù) 就是整數(shù)或整數(shù)之比 用整數(shù)之比表達(dá)的比稱可公度比 以及相比兩量可用公 共量單位量盡 確切的說 無理數(shù)的發(fā)現(xiàn)導(dǎo)致了畢達(dá)哥拉斯關(guān)于信條的破產(chǎn) 并進(jìn)一步導(dǎo)致了畢達(dá)哥拉斯以數(shù)為基礎(chǔ)的宇宙模型的破產(chǎn) 從數(shù)學(xué)上講 有理數(shù)和無理數(shù)都是無窮多個的 當(dāng)代數(shù)學(xué)家把無窮集合中 元素個數(shù)稱為基數(shù) 若一個集合元素個數(shù)和整數(shù)集合的元素個數(shù)相同則成為可 數(shù)集合 若一個幾何元素個數(shù)和全體實(shí)數(shù)的個數(shù)相同則成為不可數(shù)集 顯然不 可數(shù)無窮集合的元素個數(shù)遠(yuǎn)遠(yuǎn)多于可數(shù)無窮集合的個數(shù) 但是現(xiàn)在數(shù)學(xué)已經(jīng)證 明有理數(shù)集合只是一個可數(shù)無窮集 在整個實(shí)數(shù)集里面有理數(shù)只占了很少的一 部分 而廣大的無理數(shù)才占據(jù)了大多數(shù)席次 在畢達(dá)哥拉斯的時代科學(xué)家或者 哲學(xué)家門僅僅 猜到 了無窮宇宙中的一個很少的部分并沒有對眾多的無理數(shù) 做合理的解釋 而正是無理數(shù)的出現(xiàn)導(dǎo)致了危機(jī)的出現(xiàn) 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 4 1 21 2 第一次數(shù)學(xué)危機(jī)的解決第一次數(shù)學(xué)危機(jī)的解決 數(shù)學(xué)的第一次危機(jī)的解決大約在公元前 370 年 才華橫溢的希臘數(shù)學(xué)家畢 達(dá)哥拉斯的學(xué)生阿契塔和歐多克索斯以及柏拉圖給出兩個相等的定義從而消除 了這次危機(jī) 他們給出的定義與所涉及的量是否有公度無關(guān) 其實(shí)這也是自然 的 因?yàn)閮蓚€線段的比本來與第三條線段無關(guān) 畢達(dá)哥拉斯學(xué)派首先給出了以單位長為邊長的正方形的對角線的長度本能 用整數(shù)之比來表示的證明方法 證明過程如下 假設(shè) 是有理數(shù) 設(shè) 22 q p 1p qp q 是自然數(shù) 且 兩邊平方得 22 21pq 則必是兩倍數(shù) 也是兩倍數(shù) 2 q 2 q 1p q 為奇數(shù)p 2q q 是自然數(shù) 21ppp 是自然數(shù) 將上面兩個式子代入得 1 22 2 212pq 即 2 2 2 4414ppq 兩邊除以 2 得 2 2 4412ppq 觀察此式可看出等式左邊為奇數(shù) 右邊為偶數(shù) 這樣出現(xiàn)奇數(shù)等于偶數(shù) 引出矛盾 故是無理數(shù) 目前 證明是無理數(shù)的方法很多 無論是用初22 等數(shù)學(xué)知識還是高等數(shù)學(xué)知識都可以證明是無理數(shù) 2 數(shù) 并且可以從不同的角度來加以證明 例如 從無理數(shù)被發(fā)現(xiàn)的角度 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 5 從方程的角度 從正整數(shù)標(biāo)準(zhǔn)分解式的角度 從數(shù)的進(jìn)位制角度 從自然數(shù)公 里的角度等等 是無理數(shù)的種種證明 使我們對無理數(shù)有了進(jìn)一步的認(rèn)識 2 對數(shù)學(xué)中的美 對各種豐富的數(shù)學(xué)思想方法有更深刻的感受 這場危機(jī)通過在幾何學(xué)中引進(jìn)不可通約量概念而得到解決 兩個幾何線段 如果存在一個第三線段能同時量盡它們 就稱這兩個線段是可通約的 否則稱 為不可通約的 正方形的一邊與對角線 就不存在能同時量盡的它們的第三線 段 因此它們是不可通約的 很顯然 只要承認(rèn)不可通約量的存在使幾何量不 再受整數(shù)的限制 所謂數(shù)學(xué)危機(jī)就不復(fù)存在了 不可通約量的研究開始于公元 前 4 世紀(jì)的歐多克斯 其成果被歐幾里得所吸收 部分被收入他的 幾何原本 中 1 31 3 第一次數(shù)學(xué)危機(jī)的影響和重要意義第一次數(shù)學(xué)危機(jī)的影響和重要意義 畢達(dá)哥拉斯悖論的出現(xiàn) 對畢達(dá)哥拉斯學(xué)派產(chǎn)生了沉重的打擊 數(shù)即萬物 的世界觀被極大的動搖了 有理數(shù)的尊崇地位也受到了挑戰(zhàn) 因此也影響到了 整個數(shù)學(xué)的基礎(chǔ) 使數(shù)學(xué)界產(chǎn)生了極度的思維混亂 歷史上成為第一次數(shù)學(xué)危 機(jī) 從第一次數(shù)學(xué)危機(jī)的歷史論述中可知 哲學(xué) 邏輯和數(shù)學(xué)之間有緊密的聯(lián) 系 正確的哲學(xué)思想對數(shù)學(xué)的發(fā)展具有十分重要的指導(dǎo)意義 此外 哲學(xué)與邏 輯也必須不斷總結(jié)數(shù)學(xué)的新成果來發(fā)展自己 這兩方面的關(guān)系是不能偏廢的 否則就會使人類的知識出現(xiàn)不必要的曲折和危機(jī) 數(shù)學(xué)的第一次危機(jī)的實(shí)質(zhì)主 要在于數(shù)學(xué)家思維囿于錯誤的哲學(xué)思想 即主要在于數(shù)學(xué)家的思維被錯誤哲學(xué) 思想支配了 本來就是一個數(shù) 但它的發(fā)現(xiàn)結(jié)果反而導(dǎo)致了數(shù)學(xué)的危機(jī) 并2 成了數(shù)即萬物 而數(shù) 又只能是整數(shù)或者整數(shù)之比這種錯誤哲學(xué)觀點(diǎn)的犧牲 品 二百年后 大約在公元前 370 年 才華橫溢的歐多克索斯建立起一套完整的 比理論 他本人著作已失傳 他的成果被呆存在歐幾里德 幾何原本 一書第 五篇中 歐多克索的巧妙方法可以避免無理數(shù)這一 邏輯上丑聞 并保留住與 之相關(guān)的一些結(jié)論 從而解決了由無理數(shù)出現(xiàn)而引起的數(shù)學(xué)危機(jī) 但歐多克索 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 6 的解決方式 是借助幾何方法 通過避免直接出現(xiàn)無理數(shù)而實(shí)現(xiàn)的 這就生硬 地把數(shù)和量肢解開來 在這種方案下 對無理數(shù)的使用只有在幾何中是允許的 合法的 在代數(shù)中就是非法的 不合邏輯的 或者說無理數(shù)只當(dāng)作是附在幾何 上的單純符號 而不被當(dāng)作真正的數(shù) 一直到 18 世紀(jì) 當(dāng)數(shù)學(xué)家證明了基本常 數(shù)如圓周率是無理數(shù)時 擁護(hù)無理數(shù)存在的人才多起來 到十九世紀(jì)下半葉 現(xiàn)在意義上的實(shí)數(shù)理論建立起來后 無理數(shù)本質(zhì)被徹底高清 無理數(shù)在數(shù)學(xué)園 地中真正扎下了根 無理數(shù)在數(shù)學(xué)中合法地位的確立 一方面使人類對數(shù)的認(rèn) 識從有理數(shù)拓展到實(shí)數(shù) 另一方面也真正徹底 圓滿的解決了第一次數(shù)學(xué)危機(jī) 第一次數(shù)學(xué)危機(jī)的影響巨大的 它極大的推動了數(shù)學(xué)及其相關(guān)科學(xué)的發(fā)展 首先 第一次數(shù)學(xué)危機(jī)讓人們認(rèn)識到了無理數(shù)的存在 無理數(shù)從此誕生了 之 后 許多數(shù)學(xué)家正式研究了無理數(shù) 給出了無理數(shù)的嚴(yán)格定義 提出了一個含 有有理數(shù)和無理數(shù)的新的數(shù)類 并建立了完整的實(shí)數(shù)理論 為數(shù)學(xué)分析的發(fā)展 奠定了基礎(chǔ) 再者 第一次數(shù)學(xué)危機(jī)表明 直覺和經(jīng)驗(yàn)不一定靠得住 推理證 明才是可靠的 從此希臘人開始重視演繹推理 并由此建立了集合公里體系 歐氏幾何就是人們?yōu)榱讼?解除危機(jī) 在這個時候應(yīng)運(yùn)而生的 第一次 數(shù)學(xué)危機(jī) 極大地促進(jìn)了幾何學(xué)的發(fā)展 使幾何學(xué)在此后兩千年間成為幾乎是全 部嚴(yán)密數(shù)學(xué)的基礎(chǔ) 這不能不說是數(shù)學(xué)思想史上的一次據(jù)大革命 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 7 2 第二次數(shù)學(xué)危機(jī) 2 12 1 第二次數(shù)學(xué)危機(jī)發(fā)生第二次數(shù)學(xué)危機(jī)發(fā)生 這次數(shù)學(xué)危機(jī)的萌芽出現(xiàn)在大約公元前 450 年 從歷史或邏輯觀點(diǎn)來看 這次危機(jī)的發(fā)生帶有必然性 芝諾悖論的提出可能有更深的背景 不一定是專門針對數(shù)學(xué)的 但是它們 在數(shù)學(xué)王國中卻激起了一場軒然大波 它們說明了希臘人已經(jīng)看到 無窮小 與 很小很小 的矛盾 但他們無法解決這些矛盾 其后果是 希臘證明幾何 中從此就排除了無窮小 經(jīng)過許多人多年的努力 終于在 17 世紀(jì)晚期 形成了無窮小演算 微積分 這門科學(xué) 牛頓和萊布尼茲被公認(rèn)為微積分的奠基者 他們的功績主要在于 把各種有關(guān)問題的解法統(tǒng)一成微分法和積分法 有明確的計(jì)算步驟 微分法和 積分法互為逆運(yùn)算 由于運(yùn)算的完整性和應(yīng)用的廣泛性 微積分成為解決問題 的重要工具 同時 關(guān)于微積分基礎(chǔ)的問題也是越來越嚴(yán)重 求速度為例 瞬時速度是 當(dāng)趨近于零的值 是零 是很少的量 還是v 什么東西 無窮小量究竟是不是零 無窮小及其分析是否合理 由此而引起了 數(shù)學(xué)界甚至哲學(xué)界長達(dá)一個半世紀(jì)的爭論 造成第二次動搖數(shù)序理論基礎(chǔ)的危 機(jī) 無窮小量究竟是不是零 兩種答案都會導(dǎo)致矛盾 牛頓對它曾作過三種不 同解釋 1669 年說它是一種常量 1671 年又說它是一個趨于零的變量 1676 年又說它是 兩個正在消逝的量的最終比 但是 他始終無法解決上述矛盾 萊布尼茲試圖用和無窮小量成比例的有限量的差分來代替無窮小量 當(dāng)時一些數(shù)學(xué)家和其他學(xué)者 也批評過微積分的一些問題 指出其缺乏必 要的邏輯基礎(chǔ) 在那個勇于創(chuàng)造時代的初期 科學(xué)中 邏輯中存在這樣那樣的 問題 并不是個別現(xiàn)象 萊布尼茲在研究級教時 也認(rèn)為格拉弟的結(jié)論 1 1 1 1 1 2 是正確的 并解釋說 這就像一件東西 今天放在這個人處 明天放在那 個人處 于是相當(dāng)一人一生 對于無窮級數(shù)來說 有些運(yùn)算律并非都可以用 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 8 而要看條件 例如 上面 對上面的級數(shù) 如果利用結(jié)合律 則有 1 1 1 11 11 10000 利用交換律和結(jié)合律 就有 1 1 1 11 11 11 1 11 11 11 1 1 0003 利用結(jié)合律和分配律 就有 1 1 1 111 11 11 001 由此可見 如果不顧條件的話 盡管是正確的定律的定律也會導(dǎo)出荒謬的 結(jié)果 18 世紀(jì)的數(shù)學(xué)思想的確是不嚴(yán)密的 直觀的 他強(qiáng)調(diào)形式的計(jì)算而不管 基礎(chǔ)的可靠 其中特別是 沒有清楚的無窮小概念 從而導(dǎo)數(shù) 微分 積分等 概念不清楚 無窮大概念不清楚 所以說 第二次數(shù)學(xué)危機(jī)導(dǎo)源于微積分工具的使用 伴隨著人們科學(xué)理論 與實(shí)踐認(rèn)識的提高 十七世紀(jì)幾乎在同一時期 微積分這一銳利無比的數(shù)學(xué)工 具為牛頓 萊布尼茲各自獨(dú)立發(fā)現(xiàn) 這一工具一問世 就顯示出它的非凡能力 但是不管是牛頓 還是萊布尼茲所創(chuàng)立的微積分理論都不是嚴(yán)格的 兩人的理 論都建立在無窮小分析之上 但他們對作為基本概念的無窮小量的理解與運(yùn)用 卻是混亂的 因而 從微積分誕生時就遭到了一些人的反對與攻擊 其中攻擊 最猛烈的是英國大主教貝克萊 例如牛頓當(dāng)時是這樣的函數(shù)的導(dǎo)數(shù)的 n yx 然后用自變 2 12 1 2 nn nnn n n xxxn xxxxx 量的增量除以函數(shù)的增量 得 x y 21 12 1 2 n n nn nn xxx n ny n xxxn xxx xx 最后扔掉其中含有無窮小量的的項(xiàng) 即得到函數(shù)的導(dǎo)數(shù)為 x n yx 1n ynx 對于牛頓對導(dǎo)數(shù)求導(dǎo)過程的論述 哲學(xué)家貝克萊很快發(fā)現(xiàn)了其中的問題 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 9 他一針見血的指出 先用為除以 說明不等于零 然后又扔掉含有x y x 的項(xiàng) 則又說明等于零 這豈不是自相矛盾嗎 因此貝克萊嘲弄無窮小x x 是 逝去的量的靈魂 他認(rèn)為微積分是依靠雙重的錯誤得到了正確的結(jié)果 說 微積分的推到是 分明的詭辯 第二次數(shù)學(xué)危機(jī)導(dǎo)源于微積分工具的使用 數(shù)學(xué)先驅(qū)們的努力建立起來了 微積分基礎(chǔ) 然而還有一步最關(guān)鍵的工作有待完成 正如萊布尼茨后來所說的 在這樣的科學(xué)成就后 所缺少的只是引出問題的迷宮的一條線 即依照代數(shù) 樣式的解析計(jì)算法 這一步就是 以一般形式建立起新計(jì)算方法的基本概念及 相互聯(lián)系 創(chuàng)立一套一般的符號體系 建立正規(guī)的程序或算法 而完成這一步 絕非易事 世紀(jì)晚期 兩位科學(xué)巨匠牛頓和萊布尼茨幾乎同時再這一關(guān)鍵 工作上取得重大進(jìn)展 但是不管是牛頓的流數(shù)論 還是萊布尼茲所創(chuàng)立的微積 分理論 在創(chuàng)立之初都是不嚴(yán)格的 兩人的理論都建立在無窮小分析之上 但 他們對作為基本概念的無窮小量的理解與運(yùn)用卻是混亂的 因而 從微積分誕 生時就遭到了一些人的反對與攻擊 其中攻擊最猛烈的是英國大主教貝克萊 1734 年 貝克萊以 渺小的哲學(xué)家 之名出版了一本標(biāo)題很長的書 分析 學(xué)家 或一篇致一位不信神數(shù)學(xué)家的論文 其中審查一下近代分析學(xué)的對象 原則及論斷是不是比宗教的神秘 信仰的要點(diǎn)有更清晰的表達(dá) 或更明顯的推 理 在這本書中 貝克萊對牛頓的流數(shù)理論進(jìn)行了攻擊 例如他指責(zé)牛頓 為 計(jì)算比如說的導(dǎo)數(shù) 先將取一個不為 0 的增量 由 得到 2 xxx 2 2 xxx 后再被除 得到 最后突然令 求得導(dǎo)數(shù)為 2 2x xx x 2xx 0 x 2x 這是 依靠雙重錯誤得到了不科學(xué)卻正確的結(jié)果 瞪著眼睛說瞎話 是 分 明的詭辯 因?yàn)闊o窮小量在牛頓的理論中一會兒說是零 一會兒又說不是零 因此 貝克萊嘲笑無窮小量是 已死量的幽靈 貝克萊的攻擊雖說出自維護(hù)神 學(xué)的目的 但卻真正抓住了牛頓理論中的缺陷 是切中要害的 同時貝克萊還 指出萊布尼茨的微積分理論中 忽略高階無窮小消除誤差 的做法所得相互的 結(jié)論 是從錯誤的原理出發(fā)通過 錯誤的抵消 獲得的等等 無窮級數(shù)到底等于什么 1 1 1 1 1S 當(dāng)時人們認(rèn)為一方面 另一方面 1 11 10S 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 10 再有就是 所 11 11 11S 11 1 1 1 11SS 以 那么豈非這一矛盾竟使傅立葉那樣的數(shù)學(xué)家困惑不解 甚 1 2 S 1 01 2 至連被后人稱之為數(shù)學(xué)家之英雄的歐拉在此也犯下難以饒恕的錯誤 他在得到 后 令 得出 23 1 1 1 n xxxx x 1x 1 1 1 1 1 1 2 s 令 得出2x 1 1248 161 1 2 而這樣的荒謬結(jié)果歐拉居然也接受了 不僅如此 格蘭弟還發(fā)現(xiàn)了更有趣 的結(jié)論 3467 2 1 1 1 xxxxx xx 令 得到 用這種方法還可以得到?jīng)]有定值 1x 1 3 s 1 1 4 5 s 由此一例 即不難看出當(dāng)時數(shù)學(xué)中出現(xiàn)的混亂局面了 消除不諧和音 把 分析重新建立在邏輯基礎(chǔ)之上就成為數(shù)學(xué)家們迫在眉睫的任務(wù) 到十九世紀(jì) 批判 系統(tǒng)化和嚴(yán)密論證的必要時期降臨了 2 22 2 第二次數(shù)學(xué)危機(jī)的解決第二次數(shù)學(xué)危機(jī)的解決 對于牛頓對導(dǎo)數(shù)求導(dǎo)過程的論述 哲學(xué)家貝克萊很快發(fā)現(xiàn)了其中的問題 他一針見血的指出 先用為除數(shù)除以 說明不等于零 而后又扔掉含x y x 有的項(xiàng) 則又說明等于零 這不就是自相矛盾嗎 因此貝克萊嘲弄無窮x x 小是 逝去的量的鬼魂 他認(rèn)為微積分是依靠雙重的錯誤得到了正確的結(jié)果 說微積分的推導(dǎo)是 分明的詭辯 直到 19 世紀(jì) 柯西詳細(xì)而有系統(tǒng)地發(fā)展了極限理論 柯西認(rèn)為把無窮小量 作為確定的量 即使是零 都說不過去 它會與極限的定義發(fā)生矛盾 無窮小 量應(yīng)該是要怎樣小就怎樣小的量 因此本質(zhì)上它是變量 而且是以零為極限的 量 至此柯西澄清了前人的無窮小的概念 另外創(chuàng)立了 極限理論 加Weistrass 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 11 上實(shí)數(shù)理論 集合論的建立 從而把無窮小量從形而上學(xué)的束縛中解放出來 第二次數(shù)學(xué)危機(jī)基本解決 而我自己的理解是一個無窮小量 是不是零要看它 是運(yùn)動的還是靜止的 如果是靜止的 我們當(dāng)然認(rèn)為它可以看為零 如果是運(yùn) 動的 比如說 我們說 但個相乘就為 1 這就不是無窮小量了 當(dāng)我 1 n n 1 n 們遇到無窮小量等情況時 我們可以用洛比達(dá)法則反復(fù)求導(dǎo)來考查極限 也可 以用展式展開后 一階一階的比 我們總會在有限階比出大小 Taylor 2 22 2 第二次數(shù)學(xué)危機(jī)的影響和重要意義第二次數(shù)學(xué)危機(jī)的影響和重要意義 第二次數(shù)學(xué)危機(jī)的出現(xiàn) 迫使數(shù)學(xué)家們不得不認(rèn)真對待無窮小量 為了x 克服由此引起思維上的混亂 解決這一危機(jī) 無數(shù)人投入大量的勞動 在初期 經(jīng)過歐拉 拉格朗日等人的努力 微積分取得了一些進(jìn)展 從 19 世紀(jì)開始為徹 底解決微積分的基礎(chǔ)問題 柯西 外爾斯特拉斯等人進(jìn)行了微積分理論的嚴(yán)格 化工作 微積分內(nèi)在的根本矛盾 就是怎樣用數(shù)學(xué)的和邏輯的方法來表現(xiàn)無窮 小 從而表現(xiàn)與無窮小緊密相關(guān)的微積分的本質(zhì) 在解決使無窮小數(shù)學(xué)化的問 題上 出現(xiàn)了羅比達(dá)公理 一個量增加或減少與之相比是無窮小的另一個量 則可認(rèn)為它保持不變 而柯西采用的方法刻畫無窮小 把無窮小定義為以 0 為極限的變量 沿用到今 無窮小被極限代替了 后來外爾斯特拉斯又把它 明確化 給出了極限的嚴(yán)格定義 建立了極限理論 這樣就使微積分建立在極 限基礎(chǔ)之上了 極限的定義就是用靜態(tài)的刻畫動態(tài)極限 用有限量來 描述無限性過程 它是從有限到無限的橋梁和路標(biāo) 它表現(xiàn)了有限與無限的關(guān) 系 使微積分朝科學(xué)化 數(shù)學(xué)化前進(jìn)了一大步 極限理論的建立加速了微積分 的發(fā)展 它不僅在數(shù)學(xué)上 而且在認(rèn)識論上也有重大的意義 后來在考查極限 理論的基礎(chǔ)中 經(jīng)過代德金 康托爾 海涅 外爾斯特拉斯和巴門赫等人的努 力 產(chǎn)生了實(shí)數(shù)理論 在考查實(shí)數(shù)理論的基礎(chǔ)時 康托爾又創(chuàng)立了集合論 這 樣有了極限理論 實(shí)數(shù)理論和集合論三大理論后 微積分才算建立在比較穩(wěn)固 和完美的基礎(chǔ)之上了 從而結(jié)束了二百多年的紛亂爭論局面 進(jìn)而開辟了下一 個世紀(jì)的函數(shù)論的發(fā)展道路 第二次數(shù)學(xué)危機(jī)由人們對無窮量的探索而起 而貝克萊悖論是這一危機(jī)的 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 12 直接導(dǎo)火索 這一危機(jī)的產(chǎn)生 發(fā)展和解決造就了 18 世紀(jì)分析學(xué)的輝煌 18 世紀(jì)因而被稱為 分析時代 一代代數(shù)學(xué)先驅(qū)為將數(shù)學(xué)分析建立在嚴(yán)格堅(jiān)實(shí)的 基礎(chǔ)之上而不懈奮斗 直到 1889 年 皮亞諾給出了舉世聞名的自然數(shù)公理 建 立起自然數(shù)的皮亞諾公理系統(tǒng) 在自然數(shù)公理的基礎(chǔ)上簡明扼要地建立起了自 然數(shù)系 數(shù)學(xué)分析基礎(chǔ)依賴于使數(shù) 實(shí)數(shù)依賴于有理數(shù) 而有理數(shù)最終依賴于 自然數(shù) 一旦對自然數(shù)的邏輯處理完之后 家里實(shí)數(shù)的基本問題也就宣告完備 了 再經(jīng)過這樣自上而下既有趣又耐人尋味的基礎(chǔ)重建工程后 數(shù)學(xué)分析完全 建立在實(shí)數(shù)理論基礎(chǔ)之上了 于是 隨著分析的算術(shù)化 建立在十?dāng)?shù)理論之上 的微積分理論有了嚴(yán)格的基礎(chǔ) 微積分學(xué)無論在基本概念 還是邏輯嚴(yán)密性 形式嚴(yán)謹(jǐn)性上 都有如歐幾里得幾何學(xué)一般的令人驚嘆 然而 良日總是苦短 不久后 數(shù)學(xué)家們就只能以向往的心情回顧這段短暫 的數(shù)學(xué)天堂歲月了 新的轉(zhuǎn)折來自在分析嚴(yán)格化過程中產(chǎn)生的一個新的數(shù)學(xué)領(lǐng) 域 集合論 3 第三次數(shù)學(xué)危機(jī) 3 13 1 第三次數(shù)學(xué)危機(jī)的產(chǎn)生第三次數(shù)學(xué)危機(jī)的產(chǎn)生 十九世紀(jì)下半葉 康托爾創(chuàng)立了著名的集合論 在集合論剛產(chǎn)生時 曾遭 到許多人的猛烈攻擊 但不久這一開創(chuàng)性成果就為廣大數(shù)學(xué)家所接受了 并且 獲得廣泛而高度的贊譽(yù) 數(shù)學(xué)家們發(fā)現(xiàn) 從自然數(shù)與康托爾集合論出發(fā)可建立 起整個數(shù)學(xué)大廈 1900 年 國際數(shù)學(xué)家大會上 法國著名數(shù)學(xué)家龐加萊就曾興 高采烈地宣稱 借助集合論概念 我們可以建造整個數(shù)學(xué)大廈 今 天 我們可以說絕對的嚴(yán)格性已經(jīng)達(dá)到了 可是 好景不長 1903 年 一個震驚數(shù)學(xué)界的消息傳出 集合論是有漏洞 的 這就是英國數(shù)學(xué)家羅素提出的著名的羅素悖論 羅素構(gòu)造了一個集合由一切不是自身元素的集合所組成 然后羅素問 S S 是否屬于呢 根據(jù)排中律 一個元素或者屬于某個集合 或者不屬于某個SS 集合 因此 對于一個給定的集合 問是否屬于它自己是有意義的 但對這個 看似合理的問題的回答卻會陷入兩難境地 如果屬于 根據(jù)的定義 就SSSS 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 13 不屬于 反之 如果不屬于 同樣根據(jù)定義 就屬于 無論如何都是SSSSS 矛盾的 其實(shí) 在羅素之前集合論中就已經(jīng)發(fā)現(xiàn)了悖論 如 1897 年 布拉利和福爾 蒂提出了最大序數(shù)悖論 1899 年 康托爾自己發(fā)現(xiàn)了最大基數(shù)悖論 但是 由 于這兩個悖論都涉及集合中的許多復(fù)雜理論 所以只是在數(shù)學(xué)界揭起了一點(diǎn)小 漣漪 未能引起大的注意 羅素悖論則不同 它非常淺顯易懂 而且所涉及的 只是集合論中最基本的東西 所以 羅素悖論一提出就在當(dāng)時的數(shù)學(xué)界與邏輯 學(xué)界內(nèi)引起了極大震動 如 弗雷格在收到羅素介紹這一悖論的信后傷心地說 G 一個科學(xué)家所遇到的最不合心意的事莫過于是在他的工作即將結(jié)束時 其基 礎(chǔ)崩潰了 羅素先生的一封信正好把我置于這個境地 戴德金也因此推遲了他 的 什么是數(shù)的本質(zhì)和作用 一文的再版 可以說 這一悖論就象在平靜的數(shù) 學(xué)水面上投下了一塊巨石 而它所引起的巨大反響則導(dǎo)致了第三次數(shù)學(xué)危機(jī) 西班牙的小鎮(zhèn)塞維利亞有一個理發(fā)師 他有一條很特別的規(guī)定 只給那些不 給自己刮胡子的人刮胡子 但有一天 一個好事的人跑去問這個理發(fā)師一個問題 著實(shí)讓他很為難 也暴 露了這個特別規(guī)定的矛盾 那個人的問題是 理發(fā)師先生 您給不給自己刮胡子呢 這讓理發(fā)師不可避免地陷入了兩難境地 如果他給自己刮胡子 他就是自己 刮胡子的人 按照他的規(guī)定 他不能給自己刮胡子 如果他不給自己刮胡子 他就 是不給自己刮胡子的人 按照他的規(guī)定 他就應(yīng)該給自己刮胡子 不管怎樣的推 論 理發(fā)師的做法都是自相矛盾的 這真是令人哭笑不得的結(jié)果 用集合語言將這個問題表述如下 以表示是其自身成員的集合的集合 M 表示不是其自身成員的集合的集合 然后問是否為它自身的成員 如果NN 是它自身的成員 則屬于而不屬于 也就是說不是它自身的成員 NNMNN 另一方面 如果不是它自身的成員 則屬于而不屬于 也就是說NNNM 是它自身的成員 無論出現(xiàn)哪一種情況都將導(dǎo)出矛盾的結(jié)論 這就是著名的N 羅素悖論 1919 年 羅素又給出了這個悖論的通俗形式 即前面所提到的理發(fā) 師悖論 十九世紀(jì)下半葉 康托爾創(chuàng)立了著名的集合論 先簡單的介紹一下康托爾的集合論 康托爾是從研究 函數(shù)的三角級數(shù)表 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 14 達(dá)式的唯一性問題 的過程中 先是涉及無窮點(diǎn)集 隨后一步步地發(fā)展出一般 集合概念 并把集合論發(fā)函稱一門獨(dú)立的學(xué)科 在這個過程中 康托爾展示了 他讓世人驚異得想象力和創(chuàng)造力 在發(fā)現(xiàn)了無窮的存在后 從未有人試圖再把 無窮加以區(qū)分 然而康托爾的集合論告訴我們 無窮是分等級的 譬如 有理 數(shù)集合無理數(shù)集都是無窮集合 然而有理數(shù)集是可數(shù)集 無理數(shù)集是不可數(shù)集 而不可數(shù)集的級別要高于可數(shù)集 也就是說 無理數(shù)其實(shí)要比有理數(shù)多得多 這顯然是與我們的常識相違背的 更加不可思議的發(fā)現(xiàn)接踵而至 就像是打開 了的潘多拉魔盒 康托爾證明了直線上的點(diǎn)與 維空間中的點(diǎn)存在一一對應(yīng)關(guān) 系 繼而又發(fā)現(xiàn)了無窮集可分為無窮多的層次 并對各種無窮大建立了一個完 整的序列 康托爾全然不顧眾人的瞠目結(jié)舌 又發(fā)揮驚人的想象力從另一角度 創(chuàng)造了一種無限集的無窮譜集 康托爾為我們描繪出一幅無限王國的完整圖景 在集合論剛產(chǎn)生時 曾遭到許多人的猛烈攻擊 甚至康托爾的老師 著名 數(shù)學(xué)家克羅內(nèi)克也認(rèn)為康托爾的想法是極其荒謬的 是異想天開的 集合論顛 覆了人們 整體大于部分 等等的舊觀念 超限等理論又十分抽象難以理解 且往往與直覺或常識相悖 所以不難想象 在當(dāng)時 康托爾的集合論給了數(shù)學(xué) 家的心靈怎樣的震撼與沖擊 但不久這一開創(chuàng)性成果就為廣大數(shù)學(xué)家所接受了 并且獲得廣泛而高度的贊譽(yù) 康托爾的集合論從本質(zhì)上揭示了無窮的特性 使 人們對無窮的認(rèn)識上升到一個新的層次 集合論給數(shù)學(xué)開辟了廣闊的新領(lǐng)域 數(shù)學(xué)家們發(fā)現(xiàn) 從自然數(shù)與康托爾集合論出發(fā)可建立起整個數(shù)學(xué)大廈 嚴(yán)格的 分析基礎(chǔ)被歸結(jié)為實(shí)數(shù)理論 而實(shí)數(shù)理論又需要在自然數(shù)理論和集合論的基礎(chǔ) 上發(fā)展起來 因而集合論成為現(xiàn)代數(shù)學(xué)的基石 一切數(shù)學(xué)成果可建立在集合論 基礎(chǔ)上 這一發(fā)現(xiàn)使數(shù)學(xué)家們?yōu)橹兆?1900 年 國際數(shù)學(xué)家大會上 法國著 名數(shù)學(xué)家龐加萊就曾興高采烈地宣稱 借助集合論概念 我們可以建 造整個數(shù)學(xué)大廈 今天 我們可以說絕對的嚴(yán)格性已經(jīng)達(dá)到了 可是 好景不長 1903 年 一個震驚數(shù)學(xué)界的消息傳出 集合論是有漏洞 的 這就是英國數(shù)學(xué)家羅素提出的羅素悖論 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 15 3 23 2 第三次數(shù)學(xué)危機(jī)的解決第三次數(shù)學(xué)危機(jī)的解決 羅素的悖論發(fā)表之后 許多以前被看作消遣性智力游戲的古老悖論進(jìn)入了 數(shù)學(xué)家們的視野 一連串的悖論相繼提出并產(chǎn)生了第三次數(shù)學(xué)危機(jī)后 眾多數(shù) 學(xué)家開始分析悖論產(chǎn)生之因 并尋求消除悖論的解決方案 當(dāng)回顧這段歷史時 我們不得不說 悖論的出現(xiàn) 尤其是引起普遍關(guān)注 實(shí)在是恰逢其時 設(shè)若早 幾年出現(xiàn)這樣的事情 康托爾的反對派手中將增添一件極具殺傷力的武器 康 托爾的集合論能否幸存下來都很難預(yù)料了 好在悖論出現(xiàn)在集合論已經(jīng)贏得了 大量同盟軍的時刻 在這種情況下 固然會有反對派借題發(fā)揮 要求取消集合 論 但是更多卻站在保衛(wèi)集合論的立場上 迅速投入到解決危機(jī)的工作之中 人們希望能夠通過對康托爾的集合論進(jìn)行改造 通過對集合定義加以限制來排 除悖論 這就需要建立新的原則 這些原則必須足夠狹窄 以保證排除一切矛 盾 另一方面又必須充分廣闊 使康托爾集合論中一切有價值的內(nèi)容得以保存 下來 1908 年 策梅羅在自已這一原則基礎(chǔ)上提出第一個公理化集合論體系 他給出了 7 條公理 外延公理 對于兩個集合和 若屬于 且屬于 則 STSTTSST 這就是說 每一個集合都是由它的元素所決定的 初等集合公理 存在一個沒有元素的集合 并稱它為空集合 對于對象 域中的任意元素 存在集合和 ab與 a a b 分離公理 假如對集合 命題函數(shù)p x 是確定的 那么就存在集合S T 它恰好只包含那些使得為真 xS p x 冪集合公理 如果S是一集合 則的冪集合仍然是一個集合 換言之 S 一集合的子集合仍然組成一集合 并集合公理 如果是一集合 則S的并仍然是一集合 S 選擇公理 如果是不空集合的不交集合 那么存在的并的一子集合T它SS 與S的每一元素都恰好有一個公共元素 無窮公理 存在一集合 它含有空集合 并且對于任一對象 若 ZaaZ 則 策梅羅設(shè)計(jì)這一公理 是為了保證一個無限集是可以構(gòu)造的 aZ 在策梅羅的這種處理下 集合論變成一個完全抽象的公理化理論 在這樣一 學(xué)學(xué) 士士 學(xué)學(xué) 位位 論論 文文 BACHELOR S THESIS 16 個公理化的理論中 集合這個概念不加定義 它是滿足上述 7 條公理的條件的 對象 后來經(jīng)其他數(shù)學(xué)家改進(jìn) 稱為系統(tǒng) 這一公理化集合系統(tǒng)很大程度上ZF 彌補(bǔ)了康托爾樸素集合論的缺陷 除系統(tǒng)外 集合論的公理系統(tǒng)還有多種 ZF 如諾伊曼等人提出的系統(tǒng)等 公理化集合系統(tǒng)的建立 成功排除了集合論NBG 中出現(xiàn)的悖論 從而比較圓滿地解決了第三次數(shù)學(xué)危機(jī) 但在另一方面 羅素 悖論對數(shù)學(xué)而言有著更為深刻的影響 它使得數(shù)學(xué)基礎(chǔ)問題第一次以最迫切的 需要的姿態(tài)擺到數(shù)學(xué)家面前 導(dǎo)致了數(shù)學(xué)家對數(shù)學(xué)基礎(chǔ)的研究 而這方面的進(jìn) 一步發(fā)展又極其深刻地影響了整個數(shù)學(xué) 3 23 2 第三次數(shù)學(xué)危機(jī)的影響和重要意義第三次數(shù)學(xué)危機(jī)的影響和重要意義 從 20 世紀(jì)初到 30 年代 圍繞著數(shù)學(xué)基礎(chǔ)之爭 形成了現(xiàn)代數(shù)學(xué)史上著名 的三大數(shù)學(xué)流派 邏輯主義 直覺主義和形式主義 這三大學(xué)派的爭論 成為 數(shù)理邏輯發(fā)展的巨大推動力 邏輯主義的代表人物羅素 在于懷特海合作完成 的 數(shù)學(xué)原理 中 建立了一個完整的命題演算和謂詞演算系統(tǒng) 由于弗雷格 羅素等邏輯主義者的努力 形式邏輯從傳統(tǒng)路基到數(shù)理邏輯的發(fā)展基本實(shí)現(xiàn)了 而邏輯主義 代表另一個第一流的學(xué)術(shù)運(yùn)動 是對于人類思想的力量和美妙的 巨大貢獻(xiàn) 直覺主義否定了排中律 發(fā)展了自己的邏輯系統(tǒng) 形式主義者對數(shù) 理邏輯的發(fā)展起了更為洪要的作用 譬如形式主義的杰出人物希爾伯特 歌德 爾等 他們的努力使數(shù)理邏輯走上了全新的道路 1930 年后 數(shù)理邏輯進(jìn)入一 個大發(fā)展的新階段 作為者們數(shù)學(xué)分支成熟與蓬勃發(fā)展的標(biāo)志 數(shù)理邏輯本身 又劃分出證明輪 遞歸論 模型論 公理集合論等多個數(shù)學(xué)分支 然而 第三次數(shù)學(xué)危機(jī)的解決也留給數(shù)學(xué)家們一些令人困惑的問題 例如 在消除悖論時用到了重要的選擇公理 然而用選擇公理也可以證明出一些荒唐 的結(jié)論 且每一種選擇都會導(dǎo)致以資額無法控制的后果 這種選擇困難使數(shù)學(xué) 家在數(shù)學(xué)基礎(chǔ)研究中陷入了新的困境 問題還在于無論如何選擇都意味