科技英语课文翻译UNIT1-8.docVIP

仅供参考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的集合中吗？否定的答案导致了矛盾的出现。当罗素发现了悖论，弗雷格立即就发现悖论对他的理论有致命的打击。尽管这样，他还不