^［1］ 阿兰·图灵，“On Computable Numbers, with an Application to the Entscheidungsproblem”，Proceedings of the London Mathematical Society，2nd series，Vol.42（1936），pp.230-265。

^［2］ 阿兰·图灵，“On Computable Numbers, with an Application to the Entscheidungsproblem A Correction”，Proceedings of the London Mathematical Society，2nd series，Vol.43，(1937)，pp.544-546。

^［3］ 阿隆佐·邱奇对 “On Computable Numbers, with an Application to the Entscheidungsproblem”，一文的评论，The Journal of Symbolic Logic，Vol. 2，No. 1，1937年3月，42-43。

^［4］ 中文版依然保留图灵原始论文的印刷体和排版，其下是中译文，译文不再保留页码和版式。——编者注

^［5］ 这一说法是John P. Burgess在George S. Boolos、John P. Burgess和Richard C. Jeffrey所著的 Computability and Logic, fourth edition（Cambridge University Press，2002）一书的前言中提到的。

^［6］ 这些和其他文档可以从The Collected Works of A.M. Turing（Amsterdam: Elsevier，1992，2001）的4卷中获得。其中大部分重要资料由B. Jack Copeland收集到 The Essential Turing（Oxford University Press，2004）和 Alan Turing’s Automatic Computing Engine（Oxford University Press，2005）中。前者包含了与图灵机相关的文章和论文，后者是关于20世纪40年代中后期ACE计算机工程的。

^［7］ 中文版《哥德尔、埃舍尔、巴赫——集异璧之大成》由商务印书馆1996年8月出版。

——译者注