请问「分支类型论」是什么意思？
2026-07-16 04:03:29
「分支类型论」读音
拼音 fēn zhī lèi xíng lùn，注音 ㄈㄣ ㄓ ㄌㄟˋ ㄒㄧㄥˊ ㄌㄨㄣˋ
| 拼音字母 | fen zhi lei xing lun |
|---|---|
| 拼音首字母 | fzlxl |
| 注音符号 | ㄈㄣ ㄓ ㄌㄟ ㄒㄧㄥ ㄌㄨㄣ |
| 注音首符号 | ㄈㄓㄌㄒㄌ |
「分支类型论」释义
扩展释义 分支类型论(ramified theory of types)亦称“分枝类型论”、“类型支论”，是英国哲学家、逻辑学家罗素为了使数学的逻辑主义构造能避免出现悖论而发展起来的理论。按照这一理论，首先应对集合(谓词)进行分类(Type)：属于0类的是个体(即给定的不作逻辑分析的东西)，属于1类的是个体的集合，属于2类的是1类中的集合的集合，也即个体的集合的集合，…,。类的划分的原则是：任何集合都必须从属于确定的类，另外，对命题的组成来说，则只有“某一类对象是否属于仅次于它的那一类的集合”这样的表达式才是有意义的。在分支类型论中，还必须按照定义的方式对同一类中的集合进行级(Order)的划分：一般地...
友情链接
抓书网 短词网 书号查询 星云网 作文香樟树是什么意思？ 阅读心理学是什么意思？ 顺答是什么意思？ 白发丹心是什么意思？ 唐玲云是什么意思？ hóng jī tī xiāng gēn是什么意思？ 部首查字是什么意思？ 沈阳天气预报30天是什么意思？ 合肥天气预报30天是什么意思？ 湛是什么意思？ 查看详情是什么意思？ jiǔ quán shì guó tǔ jú 酒泉市国土局是什么意思？ 程宪伟是什么意思？ 太原天气预报30天是什么意思？ 瘤岩螺是什么意思？ 歇后语 歇后语是汉语的一种特殊语言形式。是群众在生活实践中所创造的一种特殊语言形式，是一种短小、风趣、形象的语句。是什么意思？