Stephen Cook

Stephen Arthur Cook (born December 14, 1939) is an American-Canadian computer scientist and mathematician.

• Cook’s theory has a special meaning to mathematical logic since Cook’s theory can be viewed as a branch of recursion theory. Freeman Dyson wrote a fantastic article in the 1980s, which recorded the story of how Gödel insisted on his “Unfashionable pursuits” in logic. In fact, when (computer science) people were talking about the unfairness of the late appointment of professorship to Gödel in the Institute for Advanced Study at Princeton, Stephen Cook reinstated the dignity of mathematical logic.
  • Li Chen (2011). Cook's Theory and the Twentieth Century Mathematics.