计算性和复杂度理论2

本文主要是关于图灵可确定，不可确定问题和半确定问题等 本文中可确定或不可确定也翻译为可决定，不可决定，这里我统一用可确定与不可确定 文章目录 预备知识 可数与不可数集合 可数集合 符号 不可数聚合 定理：自然数集的幂集 P ( N ) \mathcal{P}(\mathbb{N}) P(N)是不可数的 证明：反证法 不可确定问题 对角线语言 定理：对角线语言 D D D是不可确定的 证明：反证法

>>阅读原文<<