En principio, los predicados que tanto Turing como Church proponían reemplazar parecían muy diferentes, pero, sin embargo, eran equivalentes ya que seleccionaban el mismo conjunto de funciones matemáticas.