简单类型论

把类只划分成各种型的类型论。英国罗素在1903年就有了这方面的设想。1921年,波兰逻辑学家赫维斯特克(L.Chwistek)曾对罗素的分支类型论提出简化的建议。五年后英国逻辑学家拉姆赛对数学悖论和语义学悖论作了区分,并提出了一个十 ......    （本文共 474 字 ）     [阅读本文] >>