The Nachlass of Kurt Gödel was donated to the Institute for Advanced Study a few months after Gödel’s death by his widow Adele, who in her will also bequeathed the literary rights to his papers to the Institute. At the time of their donation the papers were in a jumbled state, and the only person al...