英语人>网络例句>Russell 相关的网络例句
Russell相关的网络例句

查询词典 Russell

与 Russell 相关的网络例句 [注:此内容来源于网络,仅供参考]

In contrast, Russell believes we are also in possession of certain kinds of a priori knowledge.

相比之下,罗素认为,我们也拥有某些类型的先验知识。

Between 1910 and 1913 Bertrand Russell and Alfred North Whitehead published their three-volume "Principia Mathematica", in which, among other things, they sought to solve certain paradoxes that arose from Cantor's work.

在1910年-1913年间罗素和怀特海发表了他们的三卷作品《数学原理》除了其它内容之外,两人寻求要解决从康托尔工作中产生的某些悖论。

In preface, Russell's mathematics logicism is introduced in brief. It is thought to be include not only the idea of mathematics can be deoxidized to logic, but also the work of settle Russell' paradox.

在前言中,简要地介绍了罗素的数学逻辑主义思想,认为它除了"将数学还原为逻辑"这一观点外,还包括了解决罗素悖论的工作。

We know that the simple theory of types have already eliminated Russell paradox, but why Russell introduced the theory of order types .

指出简单类型论已经消除了罗素悖论,但为什么罗素要引入很少有人接受的分支类型论呢?

There is a version of the correspondence theory of truth advocated by Bertrand Russell that I want to defend in this thesis. In particular, I want to defend Russell's multiple-relation theory of judgment.

我将在我的论文里为罗素所主张的真理理论辩护,特别是罗素的判断的多重关系理论。

Through a new analysis on 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 , a mysterious error was found:the very same logic contradiction was applied in both Russell and Cantor's work.

分析了罗素悖论与康托的实数集合不可数证明及康托定理证明之间的本质性联系,发现康托在这两个非构造性证明中所依赖的、用对角线法所构造出的矛盾其实就是罗素悖论中所揭示的逻辑矛盾。

Through a new analysis on the essential relationship between Russell's Paradox and Cantor's proofs on the uncountability of real number set and the proof on the Cantor's Theorem of ,two mysterious errors were found: The very same idea was applied in both Russell and Cantor's work, but Cantor made wrong use of it with two logical mistakes.

分析了罗素悖论与康托的实数集合不可数证明及康托定理证明之间的本质性联系,发现康托的这两个非构造性证明与罗素悖论有完全相同的思路,但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。

In preface, Russell's mathematics logicism is introduced in brief. It is thought to be include not only the idea of mathematics can be deoxidized to logic, but also the work of settle Russell' paradox.

在前言中,简要地介绍了罗素的数学逻辑主义思想,认为它除了&将数学还原为逻辑&这一观点外,还包括了解决罗素悖论的工作。

Frege, Russell, Kripke, etc., analyzed and explained this problem, and their views are not the same: Frege did not make the distinction between proper names and descriptions, and thought that difference in other aspects between proper names and descriptions can be tolerated as long as their references are the same; yet Russell strictly distinguished proper names from descriptions; and Kripke regarded proper names as rigid designators, and descriptions as non-rigid designators.

弗雷格、罗素和克里普克等人都对名称问题进行了分析和说明,而且他们的观点都不尽相同:弗雷格不区分专名和摹状词,认为它们只要指称相同,其他方面的不同都是可以容忍的;罗素严格区分了专名和摹状词;而克里普克却认为专名是严格的指示词,摹状词是非严格的指示词。

Cambridge university or British Universities alliance "Russell Group" and Russell Group of European university league Coimbra Group members.

剑桥大学还是英国的名校联盟&罗素集团&和欧洲的大学联盟科英布拉集团的成员。

第6/37页 首页 < ... 2 3 4 5 6 7 8 9 10 ... > 尾页
相关中文对照歌词
Henry Russell's Last Words
This Train (Russell's Song)
Russell's Song
推荐网络例句

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。

There is no differences of cell proliferation vitality between labeled and unlabeled NSCs.

双标记神经干细胞的增殖、分化活力与未标记神经干细胞相比无改变。