请问「力迫法」是什么意思?
2026-07-16 00:17:46
「力迫法」读音
拼音 lì pò fǎ,注音 ㄌㄧˋ ㄆㄛˋ ㄈㄚˇ
| 拼音字母 | li po fa |
|---|---|
| 拼音首字母 | lpf |
| 注音符号 | ㄌㄧ ㄆㄛ ㄈㄚ |
| 注音首符号 | ㄌㄆㄈ |
「力迫法」释义
扩展释义 力迫法是公理集合论研究中构造扩充模型的一种重要方法,它是科恩在1963年证明连续统假设的独立性(实际是证明连续统假设的否定与ZF公理的协调性)而创立的。它从一种可构成模型M和相应的形式语言L出发使用附加于L的一组形式符号作为待定的ω子集簇G,获得L的一扩充语言L*,从而利用在M中建立的力迫关系确定非特殊的集合的集合簇G,然后从G出发,使用M的构造过程中确定的运算和相应的迭代过程获得模型M(G)。科恩运用力迫法证明选择公理和连续统假设的相对独立性,接着人们利用力迫法证明了一大批重要的数学命题的协调性和独立性问题。1965年沙拉维和斯考特等人又把这一方法和布尔值模型方法相结合获得力迫法的较为方便的...
友情链接
抓书网 短词网 书号查询 星云网 太原天气预报30天是什么意思? 昆明市两周天气是什么意思? 「感恩节」猪肉降价了,依旧钓鱼去是什么意思? 热是什么意思? 查看新疆天气-苏州天气预报 查看新疆天气 新疆是什么意思? 工程测量年终工作总结(热门十五篇)是什么意思? 布兰妮小甜甜是什么意思? 高中英语作文(九篇)是什么意思? 来安特产是什么意思? 查看河北天气-咸阳天气预报 查看河北天气 河北是什么意思? 乌鲁木齐天气预报30天是什么意思? 拉萨天气预报30天是什么意思? 合肥垂钓水域是什么意思? 查看云南天气-天气日志 查看云南天气 云南是什么意思? 安溪铁观音是什么意思? 百家号是什么意思?