单词 | 力迫方法 |
释义 | 【力迫方法】 拼译:forcing method 力迫方法是一种构造公理系统的模型的方法。由P.F.科恩在1963年为证明连续统假的否定( CH)与ZF相协调而提出的,当时证明了Con(ZF)→Con(ZF+ AC)及Con(ZFC)→Con(ZFC+ CH)等等,其后D.S.斯科特及R.M.索洛韦发展了布尔值模型的处理方法。J.R.休恩.菲尔德认识到斯科特及索洛韦的构造可以直接用偏序集而不必嵌入一完全布尔代数,流行的是休恩菲尔德的既具一般性又与科恩的思想比较接近的处理方法。 |
随便看 |
科学参考收录了7804条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。