分支类型论
基本解释
简解
分支类型论的词语属性
拼音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)的划分：一般地...
猜你喜欢
- qingnianbing青年兵
- dangguimizhou当归米粥
- caowangzhen曹王镇
- huā mì花蜜
- shuishengduikang水声对抗
- bicongsaiming蔽聪塞明
- wenzhangsiyou文章四友
- shencishusui深刺腧髓
- hehuachigongyuan荷花池公园
- luyanuo鲁亚诺
- dungengdunfan顿羹顿饭
- qianrensuozhi千人所指
- kengdiejiongjiongjiong坑爹囧囧囧
- huainanzhan淮南站
- lvzongjun吕宗军
- chunliangbaijiu纯粮白酒
- bienangzhong鼻腭囊肿
- jianakachanshi迦那卡禅师
- qilerongrong其乐融融
- bagou巴沟
- xinliyanshi心理验尸
- huoxianzhanshen火线战神
- pililantianshi霹雳蓝天使
- rongyixuan荣艺轩
- dengjiatangxiang邓家塘乡
- jiàng wēn降温
- xuanjian玄间
- zhongguotonggongye中国铜工业
- diaohuanluosi吊环螺丝
- yiyuchong衣鱼虫