数学推理可以相当系统地看作是两种能力的结合运用,我们可以称之为直觉和独创性。
我们从地下开采的石头承载着4亿年的历史,我们只是暂时的保管者。
In the realm of theoretical computer science, we often find that the most profound insights come from the simplest ideas.