现代计算机 只能遵循编程的规则（即人类语言的语法），但永远不能理解编程规则背后的语义（即人类语言的语义）。 原因是： 计算机 是通过参考可计算的图灵机理论设计的， 图灵机理论局限在 一阶谓词逻辑的 计算领域， 但不能对一阶谓词逻辑做出判定， 这是 图灵机理论实例化的计算机永远不能懂语义的语言。 那跳出图灵机理论的边界， 我们从二阶谓词逻辑出发，我们就能去研究 语义的 落地， 图灵在自己的 博士论文 《基于序数的逻辑系统》即在图灵机的可计算的局限边界上，往外拓展，用神谕图灵机+序数的超穷迭代 的方法来解决判定问题，从而用二阶谓词逻辑的构造问题的方式 解决一阶谓词的判定问题，从而解决 机器不能理解语义的问题。 Bitcoin 是这个理论的落地应用， Bitcoin 是自带 语义的人造产品，这是我们人类划时代意义的科技革命范式的开端。