“Stephen Arthur Cook” ist einer jener Namen, welche (hoffentlich) jeder Informatikabsolvent, und zumindest jeder zweite frisch gebackene Mathematiker, im Rahmen des jeweiligen Studiums kennen und bewundern gelernt hat. War es doch Cook, der 1971 in …