^［1］ 这是埃米尔·波斯特论文的附录中标识在脚注中的订正之一，详见 “Recursive Unsolvability of a Problem of Thue”，The Journal of Symbolic Logic，Vol. 12，No. 1（Mar. 1947），1-11。整篇文章转载于Martin Davis，ed.，The Undecidable（Raven Press，1965），293-303。附录（包括添加的脚注）转载于B. Jack Copeland，ed.，The Essential Turing（Oxford University Press，2004），97-101。

^［2］ tar-pit这本是地质学术语，此处用来指运行冗长缓慢的计算机例程。——编者注

^［3］ 频率单位，相当于10²¹Hz。——编者注