阿弗烈·诺夫·怀海德 编辑
阿尔弗雷德·诺思·怀特黑德，功绩勋章，英国数学家、哲学家。他是历程哲学学派的奠基者，目前已被视为可应用到多种学科，包括生态学、神学、教育学、物理学、生物学、经济学、心理学及其他领域。
2
相关
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。