—— 请按键盘 空白键 开始游戏 ——

一个命题的证明是一种性质使得我们相信该命题的过程。
A proof of a proposition is a process the nature of which is such as to produce in us a belief in that proposition.
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.
The past is a foreign country; they do things differently there.