[2] 埃米尔·波斯特,"Finite Combinatory Processes Formulation I",The Journal of Symbolic Logic,Vol. 1,No. 3(Sep. 1936),103-105.重印于Martin Davis,ed.,The Undecidable,289-291.尽管波斯特的论文比图灵的论文发表得早,但是波斯特的论文是 The Journal of Symbolic Logic 杂志在1936年10月7日收到的,而 the Proceedings of the London Mathematical Society 在1936年5月28日就收到了图灵的论文