Durante 70 años, los matemáticos se han visto atrapados en el denominado Problema de Halting: los ordenadores de vez en cuando se bloquean en una sola línea de código y no pasan a la siguiente, y nadie puede predecir con fiabilidad cuándo ocurrirá esto (el clásico reloj de arena sin fin). Hace unos años, el investigador de Microsoft Byron Cook y sus colegas, hicieron lo impensable hallando una solución. Cuando Cook tratado de describir la solución, sin embargo, le resultó imposible de explicar con símbolos matemáticos existentes. (Sigue en
#3)