科技英語閱讀翻譯_英語學(xué)習(xí)_外語學(xué)習(xí)_教育專區(qū)

《科技英語閱讀翻譯_英語學(xué)習(xí)_外語學(xué)習(xí)_教育專區(qū)》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。

1、目錄Unit11Unit23Unit36Unit410Unit512Unit616UNIT720Unit822UNIT925在此我們感謝楊運濤的付出！Unit1羅素悖論的提出是基于這樣的一個事例：設(shè)想有這樣一群理發(fā)師，他們只給不給自己理發(fā)的人理發(fā)。假設(shè)其中一個理發(fā)師符合上述的條件，不給自己理發(fā)；然而按照要求，他必須要給自己理發(fā)。但是在這個集合中沒有人會給自己理發(fā)。（如果這樣的話，這個理發(fā)師必定是給別人理發(fā)還要給自己理發(fā)）1901年，伯特蘭·羅素悖論的發(fā)現(xiàn)打擊了他其中的一個數(shù)學(xué)家同事。在19世紀(jì)后期，弗雷格嘗試發(fā)展一個基本原理以便數(shù)學(xué)上能使用符號邏輯。他確立了形式表達(dá)式

2、（如：x=2）和數(shù)學(xué)特性（如偶數(shù)）之間的聯(lián)系。按照弗雷格理論的發(fā)展，我們能自由的用一個特性去定義更多更深遠(yuǎn)的特性。1903年，發(fā)表在《數(shù)學(xué)原理》上的羅素悖論從根本上揭示了弗雷格這種集合系統(tǒng)的局限性。就現(xiàn)在而言，這種類型的集合系統(tǒng)能很好的用俗稱集的結(jié)構(gòu)式來描述。例如，我們可以用x代表整數(shù)，通過n來表示并且n大于3小于7，來表示4，5,6這樣一個集合。這種集合的書寫形勢就是：x={n：n是整數(shù)，3

3、={a：a不再a中}導(dǎo)致一個矛盾，就像對一群理發(fā)師的描述一樣。x它本身是在x的集合中嗎？否定的答案導(dǎo)致了矛盾的出現(xiàn)。當(dāng)羅素發(fā)現(xiàn)了悖論，弗雷格立即就發(fā)現(xiàn)悖論對他的理論有致命的打擊。盡管這樣，他還不能解決這個問題,并且上世紀(jì)有很多的嘗試，去解決這個問題（但沒有成功）。羅素自己對這個悖論的回答促進(jìn)了類型理論的形成。他解釋說，悖論的問題在于我們混淆了數(shù)集和數(shù)集的集合。所以，羅素介紹了對象的分級系統(tǒng)：數(shù)、數(shù)集、數(shù)集的集合等等。這個系統(tǒng)為形式化數(shù)學(xué)的形成奠定了基礎(chǔ)，至今它還應(yīng)用于哲學(xué)研究和計算機科學(xué)分支。策梅洛對于羅素悖論的解決方法用新的公理：對于任意公式A（x）和任意集合b，都

4、會有一個集合滿足y={x：x既在b中又滿足A（x）}取代了以前的公理：對于任意公式A（x），都會有一個集合滿足y={x：x滿足A（x）}。究竟是什么樣的努力使數(shù)學(xué)邏輯基礎(chǔ)得以發(fā)展？現(xiàn)在數(shù)學(xué)家認(rèn)識到這個領(lǐng)域可以用所謂的策梅洛-弗蘭克爾集合論來定義。形式化的語言包含符號，例如e表示“其中一個數(shù)”，=表示等于，□代表集合中沒有任何元素。那么可以寫下一個公式B（x）：如果如果yex，而y是空4集。在集的結(jié)構(gòu)式中我們可以這樣書寫：y={x：x=□}，或者更簡單y={□}。羅素悖論就成這樣：y={x：x不在x中}，那么y是否在y中!Unit2暗能量是用來命名一種未能給出解釋的,與

5、萬有引力的作用相反，以一種極快的速度將各個星系拉開的力量。暗能量與反重力有些相似。萬有引力在局部的水平上把事物聚集到一起，然而，暗能量以一種更宏大的規(guī)模把事物拉開。它的存在并未被證明，但是暗能量是很多科學(xué)家在解釋宇宙正在不斷加速膨脹時的這一令人費解的觀察時的最佳猜想。專家始終還是不知道是什么在驅(qū)動這種力量，但是對于想更多的了解暗能量的這種需求始終是宇宙學(xué)家的首要任務(wù)。暗能量如何被發(fā)現(xiàn)的故事是科學(xué)領(lǐng)域由令人驚訝的預(yù)言而演變而來的一個經(jīng)典案例。在20世紀(jì)90年代中葉，天文學(xué)家開始測算宇宙膨脹的速度。因為萬有引力使質(zhì)量集中，大多數(shù)的專家希望發(fā)現(xiàn)萬有引力能夠減慢宇宙氣球般膨脹

6、的速度，或者停留在大約5相同的速率上?！斑@個數(shù)據(jù)并沒有顯示出我們所期待的結(jié)果。很多人發(fā)出了緊張的笑聲”，堪培拉的澳洲國立大學(xué)的BrianSchmidt說——他獨自領(lǐng)導(dǎo)了一個小組在約翰·霍普金斯大學(xué)的天體物理學(xué)家AdamRiess的幫助下于1998年發(fā)現(xiàn)了暗能量。這些證據(jù)是建立在對明亮的正在爆炸的恒星——被稱作超新星——常被天文學(xué)家用于追蹤距離的標(biāo)桿——的測量的基礎(chǔ)上的。通過往更深層次的觀察，科學(xué)家能夠回顧從前，因為這些發(fā)自超新星的光要數(shù)十億年才能被肉眼看到?？茖W(xué)家觀察了處于不同距離的很多超新星去確定它們到底正在以多快的速度遠(yuǎn)離我們。他們測量出觀察對象的紅移，或者說是由

7、于多普勒效應(yīng)導(dǎo)致它們發(fā)出的光發(fā)生的改變，多普勒效應(yīng)是當(dāng)物體靠近我們或者遠(yuǎn)離我們運動時發(fā)生波的壓縮或膨脹所產(chǎn)生的一種效應(yīng)。一種類比是救護車的汽笛聲會改變音高——當(dāng)它朝你行駛，然后通過你身邊接著朝另一個方向去了的時候——他的聲波首先是壓縮的，接著伸長這些測量給了天文學(xué)家一個關(guān)于宇宙在不同歷史點的膨脹速度的圖景。研究人員還發(fā)現(xiàn)宇宙如今正在以前所未有的速度在膨6脹?！耙婚_始我們不情愿相信我們的結(jié)果，”加州大學(xué)伯克利分校的勞倫斯伯克利實驗室的天體物理學(xué)家SaulPerlmutter說，他領(lǐng)導(dǎo)的一個競爭性的小組發(fā)現(xiàn)了和Schmidt以及Riess相同的結(jié)果?！暗?/p>