1930 erschüttert der Wiener Mathematiker Kurt Gödel mit seinen Unvollständigkeitssätzen die Grundlagen der Mathematik. Er weist nach, dass es in jedem formal-logischen System Probleme gibt, die nicht lösbar und entscheidbar sind. Die Wahrheit ist der Beweisbarkeit überlegen. Zwischen 1978 und 1995 erschüttert eine Serie von Bombenanschlägen die USA. Ziele der Brief- und Rohrbomben sind Manager großer Fluggesellschaften und Wissenschaftler verschiedener Eliteuniversitäten. Den Täter tauft das FBI "Unabomber", ein Computerkürzel aus "Universities" und "Airlines". 1996 verhaftet das FBI den ehemaligen Mathematikprofessor Ted Kaczynski. Warum wird ein Mathematiker anscheinend zum Terroristen?