From Trotsky to Gödel (The Life of Jean van Heijenoort)