The beauty of a mathematical proof is in its elegance and the way it reveals the underlying truth in a clear and concise manner.
一个有纸、笔、橡皮擦并且坚持严格的行为准则的人,实质上就是一台通用图灵机。