其实不完全是这样,但比较接近了。艾伦图灵证明,只要一种语言具有四种能力,那么你就可以计算任何可以计算的东西。这四种能力是:从内存中读取bit的能力能够向内存写入bit测试bit和跳跃的能力无条件跳跃的能力 1 & 2 是对内存的访问,3 是 if/then/else 或其等效项,4 是 goto(或跳转到函数)。 你可以用这 4 个命令模拟加法和减法,从那里你可以得到除法和乘法等等;通过正确的数据编码,你可以构建一个文本解析器、一个编译器甚至一个神经网络——尽管这些代码有点难以调试和维护。