計算性和複雜度理論2

本文主要是關於圖靈可確定，不可確定問題和半確定問題等 本文中可確定或不可確定也翻譯爲可決定，不可決定，這裏我統一用可確定與不可確定 文章目錄 預備知識 可數與不可數集合 可數集合 符號 不可數聚合 定理：自然數集的冪集 P ( N ) \mathcal{P}(\mathbb{N}) P(N)是不可數的 證明：反證法 不可確定問題 對角線語言 定理：對角線語言 D D D是不可確定的 證明：反證法

>>阅读原文<<