Princeton University, 1980. A young and unambitious librarian named Anna Roth is assigned the task of retrieving the records of Kurt Gödel—the most fascinating and hermetic mathematician of the twentieth century. Her mission consists of befriending...