不可判定性

定理 停机问题 Halt 是图灵可识别的.

定理 停机问题 Halt 不可判定.

定理 $A_{TM}$ 的补不是图灵可识别的.