The development of formal systems has revolutionized our understanding of mathematics.
On developing company culture: "Part of company culture is path-dependent—it's the lessons you learn along the way."