El matemático estadounidense Stephen Arthur Cook ha sido galardonado con el Premio Fundación BBVA Fronteras del Conocimiento en Tecnologías de la Información y la Comunicación por demostrar que hay problemas que los ordenadores no son capaces de resolver en un tiempo razonable.
El trabajo de Stephen Cook, catedrático de Ciencias de la Computación en la Universidad de Toronto, ha tenido un impacto decisivo en campos como la biología, la física, la economía o la cibernética, donde los cálculos complejos son de vital importancia.
El jurado internacional del Premio Fundación BBVA Fronteras del Conocimiento ha considerado que su aportación es, junto al concepto de “computabilidad” de Alan Turing, uno de los hitos de la matemática de la computación. Si Turing definió qué pueden resolver los ordenadores y qué no, Cook incorporó el principio de eficiencia para determinar qué pueden resolver de forma eficiente y qué no.
