Según la tesis de Church-Turing, el concepto de "algoritmo" que poseen los seres humanos y las "definiciones formales" de dicha palabra, utilizadas en las ciencias de la computación, son equivalentes.