Hace más de sesenta años, los lógicos matemáticos, al definir con precisión el concepto de algoritmo, dieron contenido a la antigua idea humana de un cálculo eficaz. Sus definiciones condujeron a la creación del ordenador digital, un interesante ejemplo de cómo el pensamiento doblega la materia a sus fines.