Search results
Stephen Arthur Cook OC OOnt (born December 14, 1939) is an American-Canadian computer scientist and mathematician who has made significant contributions to the fields of complexity theory and proof complexity. He is a university professor emeritus at the University of Toronto, Department of Computer Science and Department of Mathematics.
Stephen Arthur Cook (1939, Búfalo (Nueva York)) es un reconocido científico de la computación. Cook formalizó el concepto de NP-completitud en un famoso artículo de 1971 titulado "The Complexity of Theorem Proving Procedures" ("La complejidad de los procedimientos de demostración de teoremas"), donde también formuló el problema de la ...
Cook received his Ph.D. in 1966. His thesis, titled On the Minimum Computation time of Functions, addresses the intrinsic computational complexity of multiplication. One contribution of the thesis was an improvement of Andrei Toom’s multiplication algorithm, which is now known as Toom-Cook
12 de ene. de 2016 · Stephen Cook, el matemático premiado por «rendirse» ante un ordenador. Ha sido reconocido por la Fundación BBVA por determinar qué problemas no pueden resolver las computadoras de manera...
Atractivo e interesante, sin duda, pero humilde. Ni siquiera su descubridor, el matemático estadounidense Stephen Cook, advirtió al principio sus muchas implicaciones. Se trata del problema P versus NP, que se ocupa de lo que puede resolver una computadora de forma eficiente. Cook lo formuló en 1971.
12 de ene. de 2016 · El primero es el concepto de computabilidad desarrollado por Alan Turing al definir qué pueden resolver los ordenadores y qué no. Más tarde, el matemático Stephen Cook (1939, Buffalo, Nueva...
14 de jul. de 2016 · 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.
