三七二十一
LUCKY !

实数不可数

康托1891年证明实数的数量比自然数多。假设所有实数可列出,沿对角线取反构造不在列表中的实数。

Reals are uncountable. Diagonal argument proves it.

对角线法的力量

还用于证明:停机问题不可判定(图灵)、幂集基数大于原集合、存在不可计算函数。

返回