So actually, the problem with static semantics is you'd like it to catch everything, you don't always get it.

因此实际上，你希望静态语义检查,能捕获所有的错误，但是经常结果不是这样的。

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

But the problem is, when you make specific falsifiable predictions they don't always do that well.

但问题是，你所得出的这些具体而可证伪的预测,并不总是很准。

耶鲁公开课 - 心理学导论课程节选

I simply want to point out enough about the problem to help you see why I don't think free will is a slam-dunk for the soul.

我只是想尽可能地,把这个问题提出来,以帮助你们认识到,为什么我不认同自由意志是灵魂的制胜利器

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