Los conceptos de algoritmo y computador universal son definidos desde la lente de la informatica teorica y en particular, a partir de las definiciones realizadas por Alan Mathison Turing, en su celebre articulo “On computable numbers, with an application to the Entscheidungsproblem” (Sobre numeros computables, con una aplicacion al problema de la decision). Para ello, nos situamos en el contexto historico adecuado, ilustramos los conceptos tanto desde sus definiciones formales como informales y finalmente, describimos la solucion obtenida por Turing al problema de la decision.