LOGROS

!Indagamos por internet y encontramos estos logros, y nos parecieron muy interesantes, asi que no duden en leerlos!

• Una definición formal de computación y de computabilidad (Constable 2000).
• Una demostración de que existen problemas a los que no hay una solución computacional (problema de la parada, o halting problem en inglés) y problemas intratables. (Constable 2000).
• El concepto de lenguaje de programación, una herramienta para la expresión precisa de información metodológica a varios niveles de abstracción (Abelson y Sussman 1996).
• Tecnologías revolucionarias, como las computadoras de uso general, la Internet, las firmas digitales, el comercio electrónico y los motores de búsqueda (Constable 1997, Constable 2000).
• Ha habilitado nuevos tipos de investigación científica, como la física computacional y la química computacional (Constable 1997).