Gibt es mathematische Probleme, die auch mit den stärksten Computern nicht lösbar sind? Diese Frage warf Stephen A. Cook auf. Die Antwort fehlt bis heute.