出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
| 词条 | 类型论 |
| 释义 | 类型论 类型论 一种逻辑理论。其特点是:所讨论的对象(类、命题函数、性质、谓词等)被区分为不同的类型。1903年,英国哲学家罗素提出了类型论的初步设想。1908年,他成功地构造了一种类型论——分支类型论,在其三卷本巨著《数学原理》中,以分支类型论为基础,由若干逻辑公理出发,再加上无穷公理和选择公理,既推导出了经典数学,又避免了已知的各种悖论。但是,分支类型论有着严重的缺陷:一是过于复杂的繁琐,二是它的两个主要支柱“恶性循环原则”和“可归化公理”存在着内在的冲突。为消除这些缺陷,1921年波兰逻辑学家克维斯特克(Leon 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。