En 1937, el matemático inglés Alan Mathison Turing publica un famoso artículo que desarrolla el teorema de Gödel, y La máquina de Turing, mecanismo que formaliza el concepto de algoritmo, que pretende ser lo suficientemente general como para resolver cualquier problema posible (siempre que sea computacionalmente abordable). Turing demuestra que existen problemas irresolubles, inasequibles para cualquier máquina de Turing, y por ende, actualmente, para cualquier ordenador.
El concepto de "LA MAQUINA DE TURING" se conoce también como "LA FORMULA" o "LA ECUACIÓN", pero en cierto modo hay posibilidades infinitas de Máquinas de Turing.
No hay comentarios:
Publicar un comentario