What I mean by that is, pick a simple set of values, and let's walk through it to see what happens. And this is useful because it's going to allow me to A make sure that I've got something that's going to terminate, it's going to let me make sure that in fact I'm doing the right kinds of updates.

原因你们知道的，好，模拟代码,我的意思就是,选出一系列的值来,然后模拟下代码的执行来看看结果,这很有用因为这让我确保我的程序在某个地方,可以终止，还会让我确保实际上我。

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

But since it is my intent to write something useful to whoever understands it, it has appeared to me more fitting to go directly to the effectual truth of things than to the imagination of it.

但因为我的目的是,书写一些对任何懂的人,有用的东西，所以最合适的方式是,直接书写事情的有力事实,而非妄想。

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