科技英语阅读课文翻译最新修订版精选.pdfVIP

科技英语阅读1-9 单元译文： Unit 1 罗素悖论的提出是基于这样的一个事例：设想有这样一群理发师， 他们只给不给自己理发的人理发。假设其中一个理发师符合上述的条 件，不给自己理发；然而按照要求，他必须要给自己理发。但是在这 个集合中没有人会给自己理发。（如果这样的话，这个理发师必定是 给别人理发还要给自己理发） 1901 年，伯特兰 ·罗素悖论的发现打击了他其中的一个数学家同 事。在 19 世纪后期，弗雷格尝试发展一个基本原理以便数学上能使 用符号逻辑。他确立了形式表达式（如：x =2）和数学特性（如偶数） 之间的联系。按照弗雷格理论的发展，我们能自由的用一个特性去定 义更多更深远的特性。 1903 年，发表在《数学原理》上的罗素悖论从根本上揭示了弗雷 格这种集合系统的局限性。就现在而言，这种类型的集合系统能很好 的用俗称集的结构式来描述。例如，我们可以用 x 代表整数，通过n 来表示并且n 大于3 小于7，来表示4，5,6 这样一个集合。这种集 合的书写形势就是：x={n：n 是整数，3n7}。集合中的对象并不一 定是数字。我们也可让y={x：x 是美国的一个男性居民}。 表面上看，似乎任何一个关于x 的描述都有一个符合要求的空间。 但是，罗素（和策梅洛一起）发现x={a：a 不再a 中}导致一个矛盾， 就像对一群理发师的描述一样。x 它本身是在x 的集合中吗？否定的 答案导致了矛盾的出现。 当罗素发现了悖论，弗雷格立即就发现悖论对他的理论有致命的打 击。尽管这样，他还不能解决这个问题,并且上世纪有很多的尝试， 去解决这个问题（但没有成功）。 罗素自己对这个悖论的回答促进了类型理论的形成。他解释说，悖 论的问题在于我们混淆了数集和数集的集合。所以，罗素介绍了对象 的分级系统：数、数集、数集的集合等等。这个系统为形式化数学的 形成奠定了基础，至今它还应用于哲学研究和计算机科学分支。 策梅洛对于罗素悖论的解决方法用新的公理：对于任意公式A （x） 和任意集合b，都会有一个集合满足y={x：x 既在b 中又满足A （x）} 取代了以前的公理：对于任意公式A （x），都会有一个集合满足y={x： x 满足A （x）}。 究竟是什么样的努力使数学逻辑基础得以发展？现在数学家认识到 这个领域可以用所谓的策梅洛-弗兰克尔集合论来定义。形式化的语 言包含符号，例如e 表示 “其中一个数”，=表示等于，□代表集合中 没有任何元素。那么可以写下一个公式B （x）：如果如果y e x，而 y 是空集。在集的结构式中我们可以这样书写：y={x：x=□}，或者 更简单y={□}。罗素悖论就成这样：y={x：x 不在x 中}，那么y 是 否在y 中？ Unit2 暗能量是用来命名一种未能给出解释的,与万有引力的作用相 反，以一种极快的速度将各个星系拉开的力量。 暗能量与反重力有些相似。万有引力在局部的水平上把事物聚集 到一起，然而，暗能量以一种更宏大的规模把事物拉开。 它的存在并未被证明，但是暗能量是很多科学家在解释宇宙正在 不断加速膨胀时的这一令人费解的观察时的最佳猜想。专家始终还是 不知道是什么在驱动这种力量，但是对于想更多的了解暗能量的这种 需求始终是宇宙学家的首要任务。 令人惊讶的预言 暗能量如何被发现的故事是科学领域由令人惊讶的预言而演变 而来的一个经典案例。 在20 世纪90 年代中叶，天文学家开始测算宇宙膨胀的速度。因 为万有引力使质量集中，大多数的专家希望发现万有引力能够减慢宇 宙气球般膨胀的速度，或者停留在大约相同的速率上。 “这个数据并没有显示出我们所期待的结果。很多人发出了紧张 的笑声”，堪培拉的澳洲国立大学的Brian Schmidt 说——他独自领 导了一个小组在约翰·霍普金斯大学的天体物理学家Adam Riess 的 帮助下于1998 年发现了暗能量。 这些证据是建立在对明亮的正在爆炸的恒星——被称作超新星 ——常被天文学家用于追踪距离的标杆——的测量的基础上的。通过 往更深层次的观察，科学家能够回顾从前，因为这些发自超新星的光 要数十亿年才能被肉眼看到。 科学家观察了处于不同距离的很多超新星去确定它们到底正在以多 快的速度远离我们。 他们测量出观察对象的红移，或者说是由于多普勒效应导致它们 发出的光发生的改变，多普勒效应是当物体靠近我们或者远离我们运 动时发生波的压缩或膨胀所产生的一种效应。一种类比是救护车的汽 笛声会改变音高——当它朝你行驶，然后通过你身