高级搜索
    专业板块 专题板块 大众板块
    首页

    类型论

    /type theory/
    最后更新 2022-01-20
    浏览 201次
    最后更新 2022-01-20
    浏览 201次
    0 意见反馈 条目引用

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


    英文名称
    type theory
    提出者
    B.A.W.罗素
    所属学科
    哲学

    精选发现

      相关条目

      阅读历史

        版权所有 © 2021 中国大百科全书出版社
        Copyrights © 2021 by Encyclopedia of China Publishing House.All Rights Reserved
        京ICP备13020690号-4 京公网安备 11010202008139号
        意见反馈

        提 交

        感谢您的反馈

        我们会尽快处理您的反馈！
        您可以进入个人中心的反馈栏目查看反馈详情。
        谢谢！