查询词典 Russell

The ability to define the world in terms of sets is crucial to Russell's project of logicism, or the attempt to reduce all mathematics to formal logic.

能够确定的世界而言，是至关重要的套罗素的项目logicism ，或企图以减少所有数学形式逻辑。

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.

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

Russell made a claim that all pure mathematics could be deduced from logical principles, a belief called logicism.

罗素提出了索赔，所有纯数学可以推断从逻辑的原则，相信所谓 logicism 。

Logicism is the name given to the research programme initiated by Frege and developed by Russell and Whitehead the aim of which was to show how mathematics is reducible to logic.

逻辑主义是给予研究方案弗雷格开始的名义，罗素和怀特海发展其目的是为了显示数学是如何还原为逻辑。

Riders include: TJ Russell, Frankie Vinci, Johner Faulkner, Black Mitchell, Looney, and many more

骑手包括：勺罗素，弗兰基达芬奇，Johner福克纳，黑色米切尔，卢尼，更多的人

In the foreground is mission commander James McDivitt; in background is Russell Schweickart, lunar module pilot.

图中前面的是指令长詹姆斯·麦克迪维特，后面的是登月舱驾驶员拉塞尔·施威卡特。

This image was taken on the fourth day of the Apollo 9 Earth-orbital mission by lunar module pilot Russell L.

这幅照片拍摄于阿波罗9号地球轨道飞行任务的第四天，拍摄者是命令舱驾驶员斯科特的登月舱驾驶员施韦卡特

This is lyle Russell from Maylin and Block.

我是马林集团的罗素赖尔

"We also use blue and magenta, but sparingly," adds Russell.

"我们还用到了蓝色和紫红色，但相对较少，"拉塞尔补充说。

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。