"That's what really opened up the experience for me, to prove how bad it is to really text and drive."

VOA: special.2010.07.01

This is boring. In fact, you can do some nice things to prove what is the class of functions you can compute with straight-line programs, and what you'd see if you did that is, it's not particularly interesting.

这很无聊，实际上，你可以通过做一些很有趣的事情,来证明你可以通过直线程序,来做很多功能，但是你也看到我们之前讲过的了，这不太有趣。

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

So what is the doctrine ? of the philosopher-king intended to prove?

什么是哲学家国王,想要证明的信念？

耶鲁公开课 - 政治哲学导论课程节选

We prove things in mathematics that have never been proven before or we find new ways to prove these theorems or what have you and we can be creative.

我们用数学去证明从未被证明过的事物,我们探寻新的方法去证明那些定理,或其他诸如此类,总之,我们具有创造力

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

You believe everything. Next, you get a college education and you don't believe anything, and then you reach the level of wisdom, the Higher Naivete, and you know what to believe even though you can't prove it.

你会相信眼前的一切,然后你接受大学教育,这时你又开始怀疑一切了,最后你将达到,"高级天真"的智者境界,这时即使没有证据,你也会去相信

耶鲁公开课 - 古希腊历史简介课程节选

Now, Ludwig van Beethoven was in his fifties when he was working on his last symphony-- what would prove to be his last symphony-- his Ninth Symphony, and he'd been tinkering with this particular melody all the way back to probably 1803, so it's about twenty years or so.

路德维希·凡·贝多芬在五十多岁时,创作了他最后一首交响乐,后来成为他最后的交响曲,就是他的第九交响曲,他一直在锤炼这段旋律,也许要追溯到一八零三年,所以大概经历了二十个年头

耶鲁公开课 - 聆听音乐课程节选