停机问题：对角化证明、不可判定性与推论

本专题已纳入学习路线，正文将在路线架构审查通过后补充。