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 relación entre las clases de complejidadP y NP.
Por su avance en nuestra comprensión de la complejidad computacional de un modo significativo y profundo. Su artículo pionero, The Complexity of Theorem Proving Procedures, presentado en el ACM SIGACT Symposium on the Theory of Computing de 1971, sentó los cimientos de la teoría de NP-completitud. La exploración de los límites de la clase de complejidad NP-completo ha sido una de las actividades investigadoras más activas e importantes en las ciencias de la computación durante la última década.
El matemático ha sido galardonado con el Premio Fundación BBVA Fronteras del Conocimiento 2015 en la categoría de Tecnologías de la Información y la Comunicación “por su importante papel a la hora de determinar qué pueden los ordenadores resolver de forma eficiente y qué no”, según señala el acta del jurado. Además, destacaron que su trabajo “ha tenido un impacto decisivo en todos aquellos campos en los que los cálculos complejos son de vital importancia”.
stephen, cook, stephen, arthur, cook, 1939, búfalo, nueva, york, reconocido, científico, computación, información, personalnombre, nacimientostephen, arthur, cooknacimiento14, diciembre, 1939, años, búfalo, estados, unidos, nacionalidadcanadiense, estadouniden. Stephen Arthur Cook 1939 Bufalo Nueva York es un reconocido cientifico de la computacion Stephen CookInformacion personalNombre de nacimientoStephen Arthur CookNacimiento14 de diciembre de 1939 81 anos Bufalo Estados Unidos NacionalidadCanadiense y estadounidenseEducacionEducacionDoctor en CienciasEducado enUniversidad de HarvardUniversidad de MichiganSupervisor doctoralHao WangInformacion profesionalOcupacionInformatico teorico profesor universitario y matematicoAreaCiencias de la computacionEmpleadorUniversidad de TorontoUniversidad de California en BerkeleyMiembro deAcademia Estadounidense de las Artes y las CienciasAcademia de Ciencias de GotingaAssociation for Computing MachineryAcademia Nacional de Ciencias de los Estados Unidos desde 1985 Royal Society desde 1998 WebSitio webwww cs toronto edu sacook editar datos en Wikidata Cook formalizo el concepto de NP completitud en un famoso articulo de 1971 titulado The Complexity of Theorem Proving Procedures La complejidad de los procedimientos de demostracion de teoremas donde tambien formulo el problema de la relacion entre las clases de complejidad P y NP Cook recibio el Premio Turing en 1982 por su descubrimiento Por su avance en nuestra comprension de la complejidad computacional de un modo significativo y profundo Su articulo pionero The Complexity of Theorem Proving Procedures presentado en elACM SIGACT Symposium on the Theory of Computingde 1971 sento los cimientos de la teoria de NP completitud La exploracion de los limites de la clase de complejidad NP completo ha sido una de las actividades investigadoras mas activas e importantes en las ciencias de la computacion durante la ultima decada Recibio su licenciatura en 1961 por la Universidad de Michigan En la Universidad de Harvard recibio su titulo de master en 1962 y se doctoro en 1966 Desde 1966 hasta 1970 fue profesor asistente en la Universidad de California Berkeley Se unio al profesorado de la Universidad de Toronto en 1970 como profesor asociado siendo ascendido a profesor en 1975 y profesor universitario en 1985 en el Departamento de Informatica y en el de Matematicas El matematico ha sido galardonado con el Premio Fundacion BBVA Fronteras del Conocimiento 2015 en la categoria de Tecnologias de la Informacion y la Comunicacion por su importante papel a la hora de determinar que pueden los ordenadores resolver de forma eficiente y que no segun senala el acta del jurado Ademas destacaron que su trabajo ha tenido un impacto decisivo en todos aquellos campos en los que los calculos complejos son de vital importancia Enlaces externos Editar en ingles Estudiantes de Stephen A Cook Predecesor Edgar Frank Codd Premio Turing1982 Sucesor Ken ThompsonDennis RitchiePredecesor Leonard Kleinrock Premio Fundacion BBVA Fronteras del Conocimiento2015 Sucesor sucesor2 Datos Q62870 Multimedia Stephen CookObtenido de https es wikipedia org w index php title Stephen Cook amp oldid 128617940, wikipedia, wiki, leyendo, leer, libro, biblioteca,
