Teoría De La Computabilidad

Investigar si un problema matemático es solucionable o no, y qué cantidad de cálculos numéricos se requieren para resolverlo. Basándose en los trabajos del matemático británico Alan Turing (1912-1954) y de la estadounidense Alonzo Church (1903-1995), afirma que, en la medida en que un procedimiento es inequívoco, existe una forma algorítmica de ejecutarlo.