英语科技文阅读.pptVIP

LOGO 你知道罗素悖论吗？ Unit1 Contents 1 3 先了解一下下悖论的形式 1．一种论断看起来好像肯定错了，但实际上却是对的（佯谬） 3．一系列推理看起来好像无懈可击，可是却导致逻辑上自相矛盾。 2 2．一种论断看起来 好像肯定是对的，但实际上却错了（似是而非的理论）。 Hot Tip 第一段翻译：罗素悖论是基于这样的例子：一群理发师说只给那些不给自己刮胡子的人刮胡子。假设有一个理发师就在不给自己刮胡子的人这个集合里（设不给自己刮胡子的人为一个集合），然后根据这个集合的定义，他必须给自己刮胡子，但是这个集合中又没有一个理发师可以给自己刮胡子。（如果这样他就将成为给自己刮胡子的人中的一个）。 结果就是理发师如果给自己刮胡子，那就和他自己说的话相悖。如果不给自己刮胡子，也和他自己说的话相悖。 Paradox[‘p?r?d?ks]:悖论 barbers[’bɑ:b?s]:理发师 shave[?eiv] :刮胡子 be based on:以什么为根据 Diagram 第二段翻译 伯特兰.罗素在1901年发现的这个悖论，对他同为数学家的同事而言是个巨大的打击。在18世纪晚期，弗雷格试着制定所有计算时所使用的符号基础体系。他建立了形式表达式（比如x=2）和数学性质（比如偶数）之间的对应关系。在弗雷格建立的体系中，任何定义可以用来定义更深层次的性质。 foundation[faun‘dei??n]:基本原理 symbolic logic：符号 逻辑 Formal expression：形式表达式 even number：偶数 Dealt a blow:遭受了严重打击 correspondence [,k?:ris‘p?nd?ns] :一致 相当 弗雷格 Diagram 第三段 Txt Text Russell’s paradox, which he published in principles of Mathematics in 1903, demonstrated a fundamental limitation of such a system. In modern terms, this sort of system is best described in terms of sets, using so-called set-builder notation. For example , we can describe the collection of numbers 4,5 and 6 by saying that x is the collection of the integers, represented by n, which are greater than 3 and less than 7. We write this description of the set formally as x = {n: n is an integer and 3n7}. The objects in the set don’t have to be numbers. We might let y={x: x is a male resident of the United States}. 罗素的悖论，是他在 1903 年出版的数学原理，它表明这一系统的基本限制。从现代的角度看，这种系统是对集合的最贴切的描述，是使用所谓集的结构式。例如，我们可以描述的数字 4，5，和6 说 x由 大于 3 和小于 7 的整数n，表示的集合。我们通常把这个集合描述成，x = {n| 3 n 7,n∈Z}。集合中的对象并不一定是数字。我们可能会让 y = {x: x 是美国男性居民}。 Set:集合 set-builder notation:集的结构式 Integer [intid?? ：整数 罗庚 Diagram 第四段 恩斯特·策梅洛 Seemingly,any description of x could fill the space after the colon.But Russell(and independently,Ernst Zermelo)noticed that x={a:a is not in a}leads to a