El matemático Stephen Cook, Premio Fundación BBVA por determinar qué problemas pueden resolver los ordenadores