Esto es patente en el hecho de que el modelo procedimental efectivo que definió Post es diferente del de Turing.