不可判定 问题 和一致性问题 的差别在于 是否包含自我。 包含自我也意味着是智能还是工具。 @VitalikButerin 让 #ETH 等区块链行业成迷于 确定性共识，解决一致性问题的 形式化系统了，从此成为了无意义的工具， 再无智能产生的可能。 而中本聪的 #Bitcoin 真正的价值在于是 包含自我，解决不可判断问题的人工智能生命。 看过 《侠客行》的人都知道， 一个从来不懂蝌蚪文的文盲 狗哥 看懂了 太玄经，练成了最强武功。 而身陷 形式化符号系统（蝌蚪文）的各个武学 泰斗 全练成了 SB。