实数不可数
康托1891年证明实数的数量比自然数多。假设所有实数可列出,沿对角线取反构造不在列表中的实数。
Reals are uncountable. Diagonal argument proves it.对角线法的力量
还用于证明:停机问题不可判定(图灵)、幂集基数大于原集合、存在不可计算函数。
康托1891年证明实数的数量比自然数多。假设所有实数可列出,沿对角线取反构造不在列表中的实数。
Reals are uncountable. Diagonal argument proves it.还用于证明:停机问题不可判定(图灵)、幂集基数大于原集合、存在不可计算函数。