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

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

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

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

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

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

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

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

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