La historia dice en sus inicios que se desarrollaron diferentes modelos formales para resolverproblemas, es decir la definición formal de algoritmo.
Algunos de estos modelos fueron:
Seleccione una o más de una:
Retroalimentación
La respuesta correcta es: Alonzo Church (cálculo Lambda), Kurt Gödel (funciones recursivas), Alan Turing (máquina de Turing)