"Facts are not truth, though they are part of it."
事实并非真相,尽管它们是真相的一部分。
Logic is the foundation of all mathematical reasoning.
优化编译器很像核电站。它们都非常强大,也非常危险。
Good research is like a good story—it has a beginning, a middle, and an end, and it holds together logically.
我喜欢把数学看作一种诗歌。
晏子春秋