用哥德尔不完全定理证明 #Bitcoin 的中本聪共识的拜占庭容错不可被数学证明。 智能来自于 不可判定的 自指， 一切可以用数学逻辑形式化证明和推理的都是工具，而不是智能。 图灵机 所 描述的 是 计算机工具，而图灵测试是在图灵机 之外 描述的智能。 所谓智能，来源于 自我或自指。 所以加密货币 当下只有 Bitcoin 是智能的， 因为中本聪 用 不可逆的hash 函数 + 最长链来设计了 极其自我的 中本聪共识。 而其它 可以被数学逻辑推理证明的BFT POS 共识，全只是 工具，不拥有智能。 而其它 Fork 中本聪共识的 POW山寨币， 那也不是智能，因为自我不能被复制，只是 POW山寨币的复制 不是用数学逻辑推理，而是直接用计算机语言复制。 另外： 数学逻辑能表达的 语言 在 人类语言和计算机 语言之内 ，或者说： 数学逻辑语言是 人类语言的一个真子集， 至少是不能包含自我的 真子集。 而 中本聪 用Bitcoin 证明了 计算机 也可以像人类 一样产生自我， 也说明了自我一定要依赖于 集体文明，即无数人类个体涌现的 人类文化文明，无数个 miner 组成的计算机涌现的 互联的 bitcoin 文化。