Mathematician:Stephen Arthur Cook

From ProofWiki
Jump to navigation Jump to search

Mathematician

American mathematician and computer scientist who has made considerable progress in the field of complexity theory.


Nationality

American


History


Theorems and Definitions

Results named for Stephen Arthur Cook can be found here.


Publications

  • 1971: The Complexity of Theorem Proving Procedures (in which P versus NP was first formulated)
  • 1975: Feasibly Constructive Proofs and the Propositional Calculus
  • 1979: The Relative Efficiency of Propositional Proof Systems (with Robert A. Reckhow)