In mathematics, the art of proposing a question must be held of higher value than solving it.
一个思想若称不上危险,那么它就不值得称作思想。
抽象的力量在计算机科学中至关重要,它使我们能够专注于问题的本质方面。