But part of the process of being systematic is not assuming that I'm going to get a lucky guess. But not even thinking really hard at this point. But just pruning the search space.

但是系统化的过程是不允许,假设我做出了,一个幸运的猜测的,而是逐步缩小搜索空间。

麻省理工公开课 - 计算机科学及编程导论课程节选

At the end of last class, we started sketching an argument that comes from Descartes, the Cartesian argument, that says merely by the process of thinking, on the basis of thought alone, it tends to show that the mind-- We all agree that there are minds.

在上次课的最后,我们开始简述一个,来自笛卡尔的论证,或称为卡氏论证,这个论证说仅仅通过思考,仅仅在思想的基础上,它就能证明心灵,我们都承认有心灵

耶鲁公开课 - 死亡课程节选