The names "Post–Turing program" and "Post–Turing machine" were used by Martin Davis in 1973–1974 (Davis 1973, pp.  69ff).
"Post-图灵程序"和"Post-图灵机"的名字由Martin Davis在1973年-1974年使用（Davis 1973, pp. 69ff）。