UTM: Topics in the theory of numbers(数论论题) Foundations of logic and mathematics(基础逻辑与数学) Extreme value and related models with applications in engineering and science(极端价值及相关模式在工程与科学中的应用) .
基于12个网页-相关网页
使用逻辑符号来定义与厘清基础数学概念，例如集合、关系式、函数和整数。
Use logical notation to define and reason about fundamental mathematical concepts such as sets, relations, functions, and integers.
他认为，数学的基础应是逻辑，从而提出他的数学逻辑主义论题：数学与逻辑等同，全部数学可以化归为逻辑。
In Russells opinion, logic should be the foundation of mathematics. Then he put forward his topic that mathematics is the same as logic and it can be deoxidized to logic.
应用推荐