If you want to keep something precious, you have to lock it up and throw away the key.

逻辑学的研究是对正确推理原则的研究。

The best programs are written so that computing machines can perform them quickly and so that human beings can understand them clearly. A programmer is ideally an essayist who works with traditional aesthetic and literary forms as well as mathematical concepts, to communicate the way that an algorithm works and to convince a reader that the results will be correct.