Surgieron otras definiciones de funciones computables que resultaron ser equivalentes a la de Turing, entre ellas destaca la teoría de funciones recursivas y el cálculo lambda desarrollado por Church entre los años 1932 y 1941.