| 单词 | Forcing |
| 释义 | ForcingA technique in Set Theory invented by P. Cohen (1963, 1964, 1966) and used to prove that the Axiom of Choice andContinuum Hypothesis are independent of one another in Zermelo-Fraenkel Set Theory. See also Axiom of Choice, Continuum Hypothesis, Set Theory, Zermelo-Fraenkel Set Theory
Cohen, P. J. ``The Independence of the Continuum Hypothesis.'' Proc. Nat. Acad. Sci. U. S. A. 50, 1143-1148, 1963. Cohen, P. J. ``The Independence of the Continuum Hypothesis. II.'' Proc. Nat. Acad. Sci. U. S. A. 51, 105-110, 1964. Cohen, P. J. Set Theory and the Continuum Hypothesis. New York: W. A. Benjamin, 1966. |
| 随便看 |
|
数学辞典收录了8975条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。