"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."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
Imported from EN Wikiquote
https://en.wikiquote.org/wiki/Stephen_Cook
Revision History
No revisions have been submitted for this quote.
Categories
Stephen Cook
1 quote on TrueQuotesView all quotes by Stephen Cook →
Related Quotes
"Rule 1 of cryptanalysis: check for plaintext."
"Never underestimate the attention, risk, money, and time that an opponent will put into reading traffic."
"It is easy to run a secure computer system. You merely have to disconnect all dial-up connections and permit only dir…"
"Good health is fundamental to living a fruitful life, and although I don't contribute to people's health as a doctor,…"
"Role models are critical for anyone, including Black women in STEM in academia."
"Many important lessons stand out to me. First, do not underestimate yourself. I have done and am doing more things th…"
"Second, understand that failure is part of the journey. We often hear about people's successes but not so much about …"
"Third, persist. All mountains are surmountable simply by taking one step at a time. I believe the main thing that has…"
"Finally, ask for help. I learned early in my academic journey not to be afraid to ask for help. It doesn't matter how…"
"Crowdsourcing is a powerful way to build datasets that can support research."