类型论 - 中国百科网

高级检索

专业板块专题板块大众板块

首页

类型论

/type theory/

最后更新 2022-01-20

浏览 389次

最后更新 2022-01-20

浏览 389次

0 意见反馈一键引用

由B.A.W.罗素提出的通过将讨论的对象（集合、命题函数、性质、谓词等）区分为不同类型而避免悖论的解悖方案。

英文名称: type theory

提出者: B.A.W.罗素

所属学科: 哲学

阅读历史

版权所有 © 2025 中国大百科全书出版社
Copyrights © 2025 by Encyclopedia of China Publishing House.All Rights Reserved
京ICP备13020690号-4 京公网安备 11010202008139号
网络出版服务许可证：(署)网出证(京)字第155号

意见反馈

感谢您的反馈

我们会尽快处理您的反馈！

谢谢！