La teoría de la computabilidad es conocida, también, como la teoría de las funciones recursivas.