En este articulo, introdujo la Maquina de Turing,
una entidad matemática abstracta que formalizo el concepto de algoritmo y
resulta ser la precursora de las computadoras digitales. Con ayuda de su
maquina, Turing pudo demostrar que existen problemas irresolubles, de los que
ningún computador será capaz de obtener su solución, por lo que a Alan Turing
se le considera el padre de la teoría de la compatibilidad.
No hay comentarios:
Publicar un comentario