Cook recibió el Premio Turing en 1982 por su descubrimiento: