Actually we could prove inductively that it holds, but how do we know it stops?

这是一种归纳型的定义,事实上我们能够归纳性地证明它？

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

His fundamental concern is to try to argue for the immortality of the soul.

他最关心的是,能否证明灵魂的不灭性

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

None of these do we have vaccines for, and it's turned out that sexually transmitted diseases for a variety of reasons, we'll come back to later, are particularly difficult to develop vaccines for.

这些病我们都没有疫苗,已经证明,对于性传播疾病,有很多原因使得,我们稍后回来再讲,针对这类疾病的疫苗特别难做出来

耶鲁公开课 - 生物医学工程探索课程节选

And so, Descartes' attempt to establish the distinctness of the mind, the immateriality of the mind, on the basis of this Cartesian thought experiment, I think that's unsuccessful.

所以,笛卡尔试图,用他的卡式思想实验来证明,心灵的独立存在性,和非物质性,我认为这种尝试是失败的

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