力迫
维基百科,自由的 encyclopedia
在数学学科集合论中,力迫是保罗·寇恩(Paul J. Cohen)发明的一种技术[1],用来证明与策梅洛-弗兰克尔公理有关的一致性和独立性结果。它在1962年首次被用来证明连续统假设和选择公理对策梅洛-弗兰克尔集合论的独立性。实际上在寇恩正式引入力迫法前,它已经被广泛地应用于递归论中。寇恩的力迫法最初是建立在分歧分层(ramified hierarchy)上,难于理解。1960年代通过梭罗维(英语:Robert M. Solovay)(Solovay)与斯科特(Scott)等人的努力力迫法被相当程度的重做和简化。
此条目没有列出任何参考或来源。 (2011年11月20日) |