类型论 - 中国百科网

高级检索

个人中心
切换机构账号
最新消息切换个人账号
退出

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

首页

类型论

/type theory/

最后更新 2022-01-20

浏览 554次

最后更新 2022-01-20

浏览 554次

0 意见反馈一键引用复制

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

英文名称: type theory

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

所属学科: 哲学

阅读历史

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

意见反馈

感谢您的反馈

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

谢谢！