科技英语阅读翻译1-9单元译文
学习辅助网 www.5730.net
考研屋www.kaoyanwu.com英文写作翻译频道为大家整理的科技英语阅读翻译1-9单元译文，供大家参考:)
Unit 1
罗素悖论的提出是基于这样的一个事例:设想有这样一群理发师，他们只给不给自己理发的人理发。假设其中一个理发师符合上述的条件，不给自己理发;然而按照要求，他必须要给自己理发。但是在这个集合中没有人会给自己理发。(如果这样的话，这个理发师必定是给别人理发还要给自己理发)
1901年，伯特兰?罗素悖论的发现打击了他其中的一个
数学
数学高考答题卡模板高考数学答题卡模板三年级数学混合运算测试卷数学作业设计案例新人教版八年级上数学教学计划
家同事。在19世纪后期，弗雷格尝试发展一个基本原理以便数学上能使用符号逻辑。他确立了形式表达式(如:x =2)和数学特性(如偶数)之间的联系。按照弗雷格理论的发展，我们能自由的用一个特性去定义更多更深远的特性。
1903年，发表在《数学原理》上的罗素悖论从根本上揭示了弗雷格这种集合系统的局限性。就现在而言，这种类型的集合系统能很好的用俗称集的结构式来描述。例如，我们可以用 x代表整数，通过n来表示并且n大于3小于7，来表示4，5,6这样一个集合。这种集合的
书
关于书的成语关于读书的排比句社区图书漂流公约怎么写关于读书的小报汉书pdf
写形势就是: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
暗能量是用来命名一种未能给出解释的,与万有引力的作用相反，以一种极快的速度将各个星系拉开的力量。
暗能量与反重力有些相似。万有引力在局部的水平上把事物聚集到一起，然而，暗能量以
莘莘学子必备的交流网站----学习辅助网 www.5730.net
学习辅助网 www.5730.net
一种更宏大的规模把事物拉开。
它的存在并未被证明，但是暗能量是很多科学家在解释宇宙正在不断加速膨胀时的这一令人费解的观察时的最佳猜想。专家始终还是不知道是什么在驱动这种力量，但是对于想更多的了解暗能量的这种需求始终是宇宙学家的首要任务。
学习辅助网 www.5730.net 学习路上必备的交流学习网站
莘莘学子必备的交流网站----学习辅助网 www.5730.net
浙公网安备 33021202002483