Se remonta a  finales del siglo XIX , cuando en 1854 George Boole argumenta que el razonamiento lógico se puede sistematizar; así como hoy en día puede parecer algo evidente, este argumento sienta las bases de la inteligencia artificial y  fue considerado como una genialidad en aquel entonces. Le siguió el que es considerado el padre de la computación moderna, Alan Turing ; quien introdujo  el concepto de algoritmo en su publicación:  "los números computables".