于是, 罗素于1903 年发表了《数学的原理》(The Principles of Mathematics),借助皮亚诺的符号系 统,以纯逻辑的概念和原理定义数学的基本概念和基本原理。
基于32个网页-相关网页
...(Giuseppe Peano)的影响,罗素把他的想法集中收入一本内容充实的著作中,这就是《数学原理》(The Principles of Mathematics)一书。在撰写这本书的过程中,他遇到了一个后来以其名字来命名的悖论,这产生自所有不属于自身的成员之类别的类别。
基于10个网页-相关网页
罗素在1903年出版的《数学的原则》(The Principles of Mathematics)一书中最早提出类型论;而在1908年的论文《以类型论为基础的数理逻辑》和1910—1913年与怀特海合著的《数学原理》中,则全面系统...
基于1个网页-相关网页
以上来源于: WordNet
This paper discuss this in detail with the principles of mathematics and mechanics, so as to further perfect and enrich the existing theory of calculation the isolated span calculation.
木文运用高等数学及力学的原理对此进行了详细的论述,从而使现有的孤立档计算理论更加充实、完善。
I attribute much of my success there to having learned, through the study of mathematics, and, in particular, theorems, how to analyze complicated principles.
我把我成功的大部分原因归结于学习数学的收获,尤其是分析复杂原则的那些定理。
Computer science is first and foremost a branch of applied mathematics, so a computer scientist should be expected to understand the principles of mathematical reasoning.
计算机科学首先是应用数学的一个分支,因此计算机科学家需要理解数据推理的原理。
应用推荐