科技英语阅读课文翻译

(1) [科技英语阅读课文翻译]科技英语阅读翻译1-9单元译文

写作翻译网权威发布科技英语阅读翻译1-9单元译文，更多科技英语阅读翻译1-9单元译文相关信息请访问英文写作翻译网。
英文写作翻译频道为大家整理的科技英语阅读翻译1-9单元译文，供大家参考:)Unit 1罗素悖论的提出是基于这样的一个事例：设想有这样一群理发师，他们只给不给自己理发的人理发。假设其中一个理发师符合上述的条件，不给自己理发；然而按照要求，他必须要给自己理发。但是在这个集合中没有人会给自己理发。（如果这样的话，这个理发师必定是给别人理发还要给自己理发）1901年，伯特兰·罗素悖论的发现打击了他其中的一个数学家同事。在19世纪后期，弗雷格尝试发展一个基本原理以便数学上能使用符号逻辑。他确立了形式表达式（如：x =2）和数学特性（如偶数）之间的联系。按照弗雷格理论的发展，我们能自由的用一个特性去定义更多更深远的特性。1903年，发表在《数学原理》上的罗素悖论从根本上揭示了弗雷格这种集合系统的局限性。就现在而言，这种类型的集合系统能很好的用俗称集的结构式来描述。例如，我们可以用 x代表整数，通过n来表示并且n大于3小于7，来表示4，5,6这样一个集合。这种集合的书写形势就是：x={n：n是整数，3罗素自己对这个悖论的回答促进了类型理论的形成。他解释说，悖论的问题在于我们混淆了数集和数集的集合。所以，罗素介绍了对象的分级系统：数、数集、数集的集合等等。这个系统为形式化数学的形成奠定了基础，至今它还应用于哲学研究和计算机科学分支。策梅洛对于罗素悖论的解决方法用新的公理：对于任意公式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暗能量是用来命名一种未能给出解释的,与万有引力的作用相反，以一种极快的速度将各个星系拉开的力量。暗能量与反重力有些相似。万有引力在局部的水平上把事物聚集到一起，然而，暗能量以一种更宏大的规模把事物拉开。它的存在并未被证明，但是暗能量是很多科学家在解释宇宙正在不断加速膨胀时的这一令人费解的观察时的最佳猜想。专家始终还是不知道是什么在驱动这种力量，但是对于想更多的了解暗能量的这种需求始终是宇宙学家的首要任务。

(2) [科技英语阅读课文翻译]科技英语课文翻译汇编

写作翻译网权威发布科技英语课文翻译汇编，更多科技英语课文翻译汇编相关信息请访问英文写作翻译网。
本文是写作翻译频道为您准备的《科技英语课文翻译汇编》请大家参考!

(3) [科技英语阅读课文翻译]研究生科技英语阅读翻译

写作翻译网权威发布研究生科技英语阅读翻译，更多研究生科技英语阅读翻译相关信息请访问英文写作翻译网。
英文写作翻译频道为大家整理的研究生科技英语阅读翻译，供大家参考:)Group: Number 1 Members: Yu Zhehua Yang Jing Rong Wei Wangxiaoqiao Li Ni Liu Qian
2011-12-23
1.What is it that makes mathematics mathematics?
Mathematics n. 数学，数学运算，数学应用
译：是什么使数学成为数学？ 是什么使数学成为数学？ 成为数学
2.What are the precise characteristics that make mathematics into a discipline that is so central to every advanced civilization, especially our own?Precise adj. 精确的，准确的
译 ： 到底是数学的哪些特性使得 数学成为对每一种高等文明， 数学成为对每一种高等文明，尤其 是对我们现在的文明如此重要的学 科？
3.Many explanations have been attempted.
对此， 译：（对此，）我们已经试着做出了一些 解释。 解释。
4.One of these sees mathematics as the ultimate in rational expression; in fact, the expression “the light of reason” could be used to refer to mathematics.Ultimate In fact Refer to n.终极，顶点 事实上，实际上 把…归因（于），认为…起源（于）
译：有一种解释认为数学是一种终 极的理性表达方式； 而实际上， 极的理性表达方式 ； 而实际上 ， 我 们可以用“ 理性之光” 们可以用 “ 理性之光 ” 这个说法来 形容数学。 形容数学。
5.From this point of view, the distinguishing aspect of mathematics would be the precision of its idea and its systematic use of the most stringent logical criteria.Distinguishing Precision Stringent Criteria adj.区别性的 n.精确（性）；精密（度） adj.严密的；有说服力的 pl.（批判、批评的）标准，准则，尺度
从这点我们可以看出， 译：从这点我们可以看出，数学有 别于其他学科的一个特点就是其观 点的严密性， 以及有 点的严密性 ， 以及 有 条理地使用符 合逻辑的 有说服力的准则。 合逻辑的、有说服力的准则。
6.In this view, mathematics offers a vision of a purely logical world.
Vision
n.视力，视觉，所见实物
从这点看来， 译 ： 从这点看来 ， 数学呈现给我们的是一个纯 粹逻辑的世界。 粹逻辑的世界。
7.One way of expressing this view is by saying that the natural world obeys the rules of logic and, since mathematics is the most perfectly logical of disciplines, it is not surprising that mathematics provides such a faithful description of reality.Discipline Faithful 准确可靠的 n.纪律，风纪，教养，训练 adj.忠实的，忠诚的，忠贞的，如实的，
我们可以这么说来阐明这一观点： 译：我们可以这么说来阐明这一观点： 自然世界遵循了逻辑法则， 自然世界遵循了逻辑法则 ， 由于数学 是最具逻辑性的学科， 是最具逻辑性的学科 ， 因此说数学对 现实进行了如实的描述这一点也不让 人惊讶。 人惊讶。
8.This view, that the deepest truth of mathematics isencoded
1
2
3
下一页

科技英语阅读课文翻译

http://m.zhuodaoren.com/tuijian777156/