"Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo.