En 1930, la computabilidad Turing permitió clasificar las funciones para las que existen algoritmos.