"In 1920 logic was mostly a philosopher's garden. There were also a few mathematicians there, cultivating the logical roots of the mathematical tree. Today, Theory, Set Theory, and Proof Theory, logic's major subdisciplines, have become full-fledged branches of mathematics."