Stephen Cook

Stephen Arthur Cook (born December 14, 1939) is an American-Canadian computer scientist and mathematician. Quotes about Stephen Cook 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 https://arxiv.org/abs/1103.6187 External links Category:Computer scientists from the United States Category:Mathematicians from the United States Category:People from Buffalo Category:1939 births Category:Living people