Además, todos estos sistemas definen de manera equivalente el concepto de algoritmo, lo que contribuye a reforzar la creencia de que la tesis de Church-Turing es cierta, aunque no se pueda demostrar formalmente.