Ambas tesis Turing y Church, son equivalentes.