Kurt Gödel’s achievement in modern logic is singular and
monumental—indeed it is more than a monument, it is a landmark
which will remain visible far in space and time.
—John von Neumann
Upon presenting Kurt Gödel (1906-1978) with the Albert
Einstein...
