"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."