查询词典 logicism
- 与 logicism 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
In chapter three, the author makes a comment on Russells mathematics logicism.
第三章对罗素的数学逻辑主义思想作出评论。
-
The relation between these three related parts of Frege's logicism isn't irrelevant.
弗雷格的"逻辑主义"三构分之间的关系并不是互不相干的。
-
But it is not a whole failure. Russell' contribution lies in his study of mathematics logicism promoting the development of mathematics logic.
但这种失败只是部分失败,其成功之处在于,罗素的数学逻辑主义研究对数理逻辑的发展作出了重要的贡献。
-
In chapter one, it gives a historical introduction to Russell' mathematics logicism and introduces how Russell put forward his idea.
第一章介绍了罗素形成数学逻辑主义思想的历史背景及其提出数学逻辑主义论题的情况。
-
The most typicaltheory and the most important contest is his idea that logic is the thought of logicism ofmathematics and other scientific foundation.
最典型的理论和最主要的内容就是他始创的逻辑学是数学乃至一切科学的基础的"逻辑主义"思想。
-
LM leads to a school of logicism based onmathematical research.
弗雷格的"数学逻辑主义"的努力引发了数学研究的"逻辑主义"学派。
-
At first sight the question of this essay is a question of theory of meaning, as we carefully survey, it turns to a question concerning the nature of logic. The logicism Frege and Wittgenstein insisted is the ultimate basis for their theory of meaning.
乍看之下,我们的问题似乎是一个意义的问题,过经过进一步的考察,我们发现这是一个关於辑本质的问题,弗格与维根斯坦所奉的辑主义是其意义的终极基础。
-
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.
罗素的类型论著名的工作是为了避免矛盾困扰弗雷格的逻辑主义版本。
-
This article listed the main arguments of Kant's "mathematics philosophy" and also compared Kant's view of mathematics with the concepts of mathematics in "logicism" and "formalism".
他说:我欣赏数学家的价值观,我赞美数学的优美和力量,……而且,奇迹的奇迹,它的一些美妙概念竟是支配物理世界的
- 推荐网络例句
-
On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.
另一方面,更重要的是由于城市住房是一种异质性产品。
-
Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.
气候直方图是将所收集的降水量测定值,分为几个相等的区间作为横轴,并将各区间内所测定值依所出现的次数累积而成的面积,用柱子排起来的图形,也叫做柱状图。
-
You rap, you know we are not so good at rapping, huh?
你唱吧,你也知道我们并不那么擅长说唱,对吧?