计算机为什么会按人类的指令去执行？这本书用形式化语言（数学）证明了这个可能性。人类的语言如何“翻译”（映射）成机器语言？“翻译”过程如何保证了“语义”不变性。
当我们在计算机上撸代码时，如a=1，我们心里明白，我们是要将1赋值到变量a中，可是计算机并不能理解这句话的真正含义，它只能通过“映射”把我们的语句，转为机器语言，但这“映射”必需保证执行结果一致，尽管过程可能千奇百怪，各显神通，只要结果是对的，我们就认为它“语义”上一致。（即便有些执行顺序甚至相反）
我们在编程过程中，加减乘除，条件判断均容易在形式化语言中得到映射，唯独循环难以表达，当我们设定一个条件循环的时候，我们使用来拆解循环的方式，将循环拆解成if语句去处理，如同剥洋葱皮一样。
我们希望能产生另外一种境界，那便是人工智能编程模式，人类语言传达到机器底层的过程如下所示：
人话----->人工智能----->机器底层。
这种境界发生之时，人类便可以不再使用c++、python这些高级语言，码农们你们准备好了么？
