查询结果
力迫法
lì pò fǎ
ㄌㄧˋ ㄆㄛˋ ㄈㄚˇ
「力迫法」是什么意思？
更新 2026-07-13 02:40:16
- 拼音字母li po fa
- 首字母lpf
- 注音符号ㄌㄧ ㄆㄛ ㄈㄚ
扩展释义
力迫法是公理集合论研究中构造扩充模型的一种重要方法，它是科恩在1963年证明连续统假设的独立性（实际是证明连续统假设的否定与ZF公理的协调性）而创立的。它从一种可构成模型M和相应的形式语言L出发使用附加于L的一组形式符号作为待定的ω子集簇G，获得L的一扩充语言L*，从而利用在M中建立的力迫关系确定非特殊的集合的集合簇G，然后从G出发，使用M的构造过程中确定的运算和相应的迭代过程获得模型M(G)。科恩运用力迫法证明选择公理和连续统假设的相对独立性，接着人们利用力迫法证明了一大批重要的数学命题的协调性和独立性问题。1965年沙拉维和斯考特等人又把这一方法和布尔值模型方法相结合获得力迫法的较为方便的...
拆字组词
相关词语
- 东田各庄村查含义
- 乌兰县查含义
- 以忍为阍查含义
- 何弃疗查含义
- 刀把查含义
- 刘兴芳查含义
- 刘尚武查含义
- 口道沟查含义
- 吉亚乡查含义
- 吴振博查含义
- 如是因查含义
- 天地民心查含义
- 大村彩子查含义
- 巡司河查含义
- 张少勇查含义
- 彦彰查含义
- 新车评网查含义
- 新闻斗阵讲查含义
- 朱冰雪查含义
- 李树青查含义
- 查尔顿查含义
- 桑村镇查含义
- 水牛犊查含义
- 海水温度查含义
- 烧苗查含义
- 燕景华庭查含义
- 电焊工尘肺查含义
- 破茧边缘查含义
- 稔稔腻腻查含义
- 穷理查含义
- 粘劫查含义
- 章鱼的爱情查含义
- 算盘子蛱蝶查含义
- 舍近务远查含义
- 荏弱难持查含义
- 袁劲松查含义
- 贾晶查含义
- 酸樱桃查含义
- 铁网珊瑚查含义
- 顾致农查含义
- 鸟海胜美查含义
- 西安市档案局查含义
- 团守彦查含义
- 秋川零奈查含义
- 光芒少年队查含义
- 滨田贤二查含义
- 贷款产出率查含义
- 海鲜全家福查含义
- 金腹白眉猴查含义
- 银色苀子梢查含义