Princeton, 1980. Anna Roth, eine junge Bibliothekarin, ist verblüfft als man ausgerechnet ihr eines Tages den Auftrag anvertraut, die Aufzeichnungen von Kurt Gödel für die Universität zurückzuerlangen - jenem Kurt Gödel, der als faszinierendster und undurchschaubarster Mathematiker des 20. Jahrhunderts gilt. Der Haken: Gödels Frau Adele weigert sich schon seit Jahren sie herauszugeben. Wird es Anna gelingen sie umzustimmen?