查询词典 theory of types

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.

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

It puts emphasis on the analysis of Russells theory of types, and follows with the author thought about it, at the same time, this section analyzes how the paradox promotes the formation of the school of intuitionism and of formalism.

本文对这个问题从三个方面进行了分析：悖论与数理逻辑三大学派的关系：其中对罗素的类型论进行了重点分析，并加入自己的思考。

When being engaged in the research of the basis of mathematics, Russell put forward his theory of types to solve paradoxes and to achieve his subject of logicism.

类型论是罗素在从事数学基础研究时，为实现其逻辑主义论题而提出来的一种解决悖论的理论。

Russell's famous work on the theory of types was an attempt to avoid the paradoxes that beset Frege's version of logicism.

罗素的类型论著名的工作是为了避免矛盾困扰弗雷格的逻辑主义版本。

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

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

Therefore, this article first comparative analyze the branchesb between simple type theory and the theory of order type then described the reason is that Russell want to hold on his perspective of the position of philosophy, from simple theory of types to the theory of order types is a necessity across.

为此，本文首先比较分析了简单类型论与分支类型论在内容构建的区别，并进而从罗素实在论的哲学立场角度出发，分析了从简单类型论到分支类型论的跨越是有着必然性的。

The theory of types was an important outcome of the development of Russell's philosophy and logic, and It is closely linked.

类型论是罗素逻辑主义和哲学思想发展的一个重要成果，是与其逻辑主义立场紧密联系在一起的。

With his logic position. It can be said that the theory of types is a means to achieve Russell's dream.

可以说，类型论是罗素为实现其逻辑主义梦想而产生的一个重要理论。

Russell 'Mathematical Logic as based on the Theory of Types' in van Heijenoort From Frege to Godel.

二罗素，'数理逻辑的基础上，理论类型'的车Heijenoort，从弗雷格的哥德尔。

In order to complete the "" Principia Mathematica '""s writing, he creatively put forward the theory of types..

为了能完成《数学原理》的写作，他创造性地提出了类型论思想。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了