Alan Turing es considerado el padre de la informática teórica. Desarrolló (lo que ahora se llama) la máquina Turing como un intento de definir con precisión la noción de una función computable y demos...Alan Turing es considerado el padre de la informática teórica. Desarrolló (lo que ahora se llama) la máquina Turing como un intento de definir con precisión la noción de una función computable y demostrar la indecibilidad del problema de decisión.
