"One of the curious things about mathematics that clearly emerges... is that mathematics which is concerned with reasoning nevertheless creates processes which can be applied almost mechanically, that is, without reasoning. The thinking is, so to speak, mechanized and this mechanization enables us to solve complicated problems in no time. We think up processes so that we don't have to think."