力迫
維基百科,自由的 encyclopedia
在數學學科集合論中,力迫是保羅·寇恩(Paul J. Cohen)發明的一種技術[1],用來證明與策梅洛-弗蘭克爾公理有關的一致性和獨立性結果。它在1962年首次被用來證明連續統假設和選擇公理對策梅洛-弗蘭克爾集合論的獨立性。實際上在寇恩正式引入力迫法前,它已經被廣泛地應用於遞歸論中。寇恩的力迫法最初是建立在分歧分層(ramified hierarchy)上,難於理解。1960年代通過梭羅維(英語:Robert M. Solovay)(Solovay)與斯科特(Scott)等人的努力力迫法被相當程度的重做和簡化。
此條目沒有列出任何參考或來源。 (2011年11月20日) |