It turns out not, but it does evince the fact that we have some basic syntax like mathematics and equal signs and whatnot with which we can now start using for more useful purposes.

结果不是那样的，但这的确有个事实,我们有些基本的运算法则和等号和,其他一些东西，用来为我们一些,更多有用的目的而服务的。

哈佛公开课 - 计算机科学课程节选