Stephen Cook
Période historique : 1939-présent
Pionnier de la complexité algorithmique ayant formulé la NP-complétude et le problème P vs NP.
Contenu & Formulation mathématique
Genèse & Portée historique
Dans son article fondateur de 1971 The Complexity of Theorem-Proving Procedures, Stephen Cook a démontré que le problème de satisfiabilité booléenne SAT est NP-complet, posant la première pierre de la théorie de la NP-complétude et remportant le prix Turing en 1982.
Ironie de l'histoire, l'Université de Californie à Berkeley refusa sa titularisation en 1970 juste avant qu'il ne publie cette découverte majeure qui allait changer à jamais l'informatique.
Filiations & Relations conceptuelles (1)
Objet de collection MathTCG
Stephen Cook
Pionnier de la complexité algorithmique ayant formulé la NP-complétude et le problème P vs NP.
Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.