Davis [1965, p. 72], Post [1943, p. 200], and others, mistakenly refer to this paper as “[Turing (1987)

by Many papers, Kleene