数学推理可以相当系统地看作是两种能力的结合运用,我们可以称之为直觉和独创性。
因为我们是蛆虫的食物,因为不管你信不信,在这儿的每一个人,有一天都会停止呼吸、变冷、死亡。
好的研究在于提出正确的问题,而不仅仅是应用花哨的方法。
To me programming is more than an important practical art. It is also a gigantic undertaking in the foundations of knowledge.