查询词典 Russell

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

She thinks it impossible for Russell to deoxidize mathematics to logic because he couldn't derive arithmetic from purely logic laws. In this meaning, we can say that Russell's trying is failed.

认为罗素的数学逻辑主义因为没有实现从纯逻辑出发、将数学化归为逻辑的目标，因而是失败的。

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

Although Russell's intellectual reputation is based on his work as a mathematician, philosopher, and logician, Russell was also noted for his work as a social reformer.

尽管罗素的智慧的声誉是基于他的工作作为一个数学家，哲学家和logician ，罗素还指出他的工作，作为一项社会改革者。

In chapter one, it gives a historical introduction to Russell' mathematics logicism and introduces how Russell put forward his idea.

第一章介绍了罗素形成数学逻辑主义思想的历史背景及其提出数学逻辑主义论题的情况。

From the defects in the basic theory of present classical infinite theory, the essential relationship between Russell's Paradox and Cantor's proof on the uncountability of real number set and the proof on the Cantor's Theorem of is analyzed and a mysterious error is found:The core of Cantor's above two important proofs in set theory are actually another versions of Russell's paradox and the very same paradoxical idea was applied in both Russell and Cantor's work, and Cantor made wrong use of this paradox idea with two logical mistakes.

从经典无穷理论体系中的缺陷入手，深入分析了罗素悖论与康托的实数集合不可数证明及康托定理证明之间的本质性联系，发现康托在这两个证明里的核心部分实际上是罗素悖论的翻版，它们与罗素悖论有完全相同的思路，并且康托犯了两个逻辑性错误而误用了这个悖论思路。

Park Ranger Russell Varon must go to great lengths to protect the small community and his family safe.

当一场飓风来袭时，大沼泽地国家公园的护林员Russell Varon正全力保护小镇和自己家人的安全。

The morphology and internal-structure of the compound eye of Aleurodicus dispersus Russell were observed with scanning electron microscope and histological methods.

采用扫描电镜和组织切片法，观察了螺旋粉虱Aleurodicus dispersus Russell成虫复眼的形态及其显微结构。

Kevin Russell and Scott Taylor, who were part of the backroom staff at Peterborough, have also joined North End.

Kevin Russell和Scott Taylor是彼得堡制服组的成员，现在也追随弗格森来到了普雷斯顿。

Parmenides, Spinoza, Hume, and Hegel, and more recently Russell (1985: 50) and Unger (1979), all denied their own existence.

Parmenides， Spinoza， Hume， and Hegel还有更近的Russell (1985： 50)和 Unger (1979)，都拒绝他们自己的存在。

Fancy gold-plated dangling earrings with facetted White Opal crystals.

花式镀金悬垂耳环与facetted白欧泊水晶。

This essay chooses the study aim from biology teachers in middle school in Shi Jiazhuang which tells us that most of the middle school biology teachers in Shi Jiazhuang have the"burnout", lower successfulness, individualize.

本文选取石家庄市初中生物教师作为研究对象，运用问卷调查的方法对石家庄市初中生物教师职业倦怠的现状进行调查，调查结果发现，石家庄市初中生物教师这一群体普遍存在职业倦怠，情感枯竭程度偏高，成就感偏低，去个性化程度最为严重。