^［1］ 安德鲁·霍奇斯，Alan Turing: The Enigma（Simon & Schuster，1983）,95。

^［2］ 霍奇斯，Alan Turing，113。

^［3］ 同上。

^［4］ 阿兰·图灵，“Systems of Logic Based on Ordinals”，Proceedings of the London Mathematical Society，2nd Series，Volume 45（1939），161-228。重印于阿兰·图灵，Collected Works of A.M.Turing: Mathematical Logic（Elsevier，2001），161-228，以及B.Jack Copeland，ed.，The Essential Turing（Oxford University Press，2004），146-204。

^［5］ 霍奇斯，Alan Turing，152。