数学原理 编辑
《数学原理》是由伯特兰·罗素与他的老师阿尔弗雷德·诺思·怀特黑德合著的一本数学书籍，书籍共分三卷，分别出版于1910年，1912年，1913年。
1
相关
逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序，是首个可以自动推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和伯特兰·罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序，是首个可以自动推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和伯特兰·罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
在数理逻辑中，新基础集合论是公理化集合论的一种，由威拉德·范奥曼·蒯因构想出来作为对《数学原理》中类型论的简化。蒯因1937年于《数理逻辑的新基础》一文中首次提及NF。请注意，此条目大多是在谈论NFU，这是Jensen于1969年所提出，并由Holmes于1998年阐述的一重要变体。
在数理逻辑中，新基础集合论是公理化集合论的一种，由威拉德·范奥曼·蒯因构想出来作为对《数学原理》中类型论的简化。蒯因1937年于《数理逻辑的新基础》一文中首次提及NF。请注意，此条目大多是在谈论NFU，这是Jensen于1969年所提出，并由Holmes于1998年阐述的一重要变体。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。