# Mathematician:Stephen Arthur Cook

## Mathematician

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

American

## 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)