APP 把类只划分成各种型的类型论。英国罗素在1903年就有了这方面的设想。1921年,波兰逻辑学家赫维斯特克(L.Chwistek)曾对罗素的分支类型论提出简化的建议。五年后英国逻辑学家拉姆赛对数学悖论和语义学悖论作了区分,并提出了一个十 （本文共 474 字 ） [阅读本文] >>
海量资源，尽在掌握
把类只划分成各种型的类型论。英国罗素在1903年就有了这方面的设想。1921年,波兰逻辑学家赫维斯特克(L.Chwistek)曾对罗素的分支类型论提出简化的建议。五年后英国逻辑学家拉姆赛对数学悖论和语义学悖论作了区分,并提出了一个十 （本文共 474 字 ） [阅读本文] >>
开通会员，享受整站包年服务
说明： 本文档由创作者上传发布，版权归属创作者。若内容存在侵权，请点击申诉举报