连续统假设

generalized boolean algebra

广义布尔代数

generalized almost periodic function 广义殆周期函数 | generalized boolean algebra 广义布尔代数 | generalized continuum hypothesis 广义连续统假设

continuum hypothesis

连续统假设

Cohen)获得全球数学界最荣誉的菲尔兹(Fields)奖,他的贡献就在他以新的逻辑概念与工具,证明选择公设(Axiom of Choice)与连续统假设(Continuum Hypothesis)独立於集合论的其他公设.

generalized continuum hypothesis

广义连续统假设

generalized boolean algebra 广义布尔代数 | generalized continuum hypothesis 广义连续统假设 | generalized coordinates 广义坐标

continuum

连续统

计算机永远不能代替人,要解决这些难题,还要靠人的思想...""连续统"(Continuum)即实数集(有理、无理数的统称). 如奇数集、偶数集、质数集、合数集、n方集、空集等. "连续统假设"创立者康托(Georg Cantor)猜测:"在连续统与可列集间再无其它元素存在".

forcing

强迫

简介: 出版於1966年,这些从史丹福大学的一个教程中取出的讲义使得Cohen的证明连续统假设的独立性的突破性工作得以为一般的数学工作者所知. 在证明这个定理的时候,Cohen引入了强迫(forcing)的概念,它导致了公理化集合论中的很多其他重要结果.

forcing

力迫法

1963年美国数学家保罗.柯恩以力迫法(forcing)证明连续统假设不能由ZFC推导. 也就是说,连续统假设成立与否无法由ZFC确定. 第二题 算术公理之兼容性(Consistency) 已解决. 库尔特.哥德尔在1930年证明了哥德尔不完备定理.

generalized ideal class group

广义理想类群

广义拉格朗日乘子|generalized Lagrange multiplier | 广义理想类群|generalized ideal class group | 广义连续统假设|generalized continuum hypothesis

broad sense Mathieu function

广义马蒂厄函数

广义连续统假设|generalized continuum hypothesis | 广义马蒂厄函数|broad sense Mathieu function | 广义幂级数解|solution of generalized power series

uniovular twin：真孪生

uncompetitative inhibition 非竞争性抑制 | uniovular twin 真孪生 | unit membrane 单位膜

play off one against the other：挑拨离间, 从中得利

play off (难分胜负的)延长赛 使出丑 嘲弄 以...冒充 假装有病 | play off one against the other 挑拨离间, 从中得利 | play off one against another 挑拨离间, 从中得利