这本书要讲的正是这篇论文。它包含了图灵原版36页的论文<sup>〔1〕</sup>“On Computable Numbers, with an Application to the Entscheidungsproblem”和<span title="〔2〕 阿兰•图灵,Proceedings of the London Mathematical Society,2nd series,Vol.43,(1937),pp.544-546。">增补的3页修订<sup>〔2〕</sup></span>,并辅以背景材料和大量注解。阅读图灵的原版论文就是在探索他构建图灵机的思维过程,就像在他充满想象、内容丰富的思想中进行一次奇特的旅行。

〔1〕 阿兰•图灵,Proceedings of the London Mathematical Society,2nd series,Vol.42(1936),pp.230-265。
〔2〕 阿兰•图灵,Proceedings of the London Mathematical Society,2nd series,Vol.43,(1937),pp.544-546。

这本书要讲的正是这篇论文。它包含了图灵原版36页的论文<sup>〔1〕</sup>“On Computable Numbers, with an Application to the Entscheidungsproblem”和<span title="〔2〕 阿兰•图灵,Proceedings of the London Mathematical Society,2nd series,Vol.43,(1937),pp.544-546。">增补的3页修订<sup>〔2〕</sup></span>,并辅以背景材料和大量注解。阅读图灵的原版论文就是在探索他构建图灵机的思维过程,就像在他充满想象、内容丰富的思想中进行一次奇特的旅行。

 <sub>〔1〕 阿兰•图灵,*Proceedings of the London Mathematical Society*,2nd series,Vol.42(1936),pp.230-265。</sub>   
<sub style="display:none;">〔2〕 阿兰•图灵,Proceedings of the London Mathematical Society,2nd series,Vol.43,(1937),pp.544-546。</sub>