1 停机问题的来源 Alan Turing: 《On Computable Numbers, with an Application to the Entscheidungsproblem》 resource: https://people.math.ethz.ch/~halorenz/4students/Literatur/TuringFullText.pdf 停机问题（Halting Problem）：是否…