［1］ 本书作者，Code：The Hidden Language of Computer Hardware and Software（Microsoft Press，1999），第23章。

    ［2］ G. H. 哈代，《纯数学教程》（A Course of Pure Mathematics，10th edition，Cambridge University Press，1952，中文版已由人民邮电出版社出版），30。戴德金定理并没有包含在哈代的第1版（1908）中，但出现在第6版（1933）。我并没有仔细检查不同版本的差别。图灵在1931年去剑桥大学之前读了哈代的书，那时他可能得到的是第5版（1928）。哈代的书并不是图灵得知戴德金定理的唯一来源。罗素所著《数学的原理》（The Principles of Mathematics，Cambridge University Press，1903）的第34章、Introduction to Mathematical Philosophy（George Allen & Unwin，1919，1920）的第7章、E. W. Hobson所著The Theory of Functions of a Real Variable and the Theory of Fourier’s Series的第1章（图灵在其论文的第8节所引用）都谈到了戴德金定理。1872年，戴德金写的一本小册子“Stetigkeit und Irrationale Zahlen”也谈到了这个定理。第一个谈及这个定理的英文译本翻译自戴德金的文集“on the Theory of Numbers”，译者是Wooster W. Beman（Open Court Press，1901，Dover，1963），翻译后的标题改为“Continuity and Irrational Numbers”。这篇译文后来被William Ewald在From Kant to Hilbert: A Source Book in the Foundations of Mathematics（Oxford University Press）中重新修订。可参见该书的Vol. II，765-779。

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

    ［4］ 阿隆佐·邱奇，“A Note on the Entscheidungsproblem”，The Journal of Symbolic Logic，Vol. 1，No. 1（ Mar. 1936），40-41。

    ［5］ 阿隆佐·邱奇，“Correction to A Note on the Entscheidungsproblem”，The Journal of Symbolic Logic，Vol. 1，No. 3（Sept. 1936），101-102。