可用性是安全问题。 无法感知现实世界的 机器只能当作工具，不能够解决现实世界的安全性问题。 比如： 自动驾驶汽车 如果不能 感知 现实世界的道路的 可用性， 那么汽车的自动驾驶一定是不安全的。现实世界的道路是多变的， 汽车不能感知复杂多变的现实世界，那么汽车就没可用性，如果硬要使用，那就是不安全的。 同理： 形式化区块链行业， 如果 公链不能感知 现实世界， 那么该公链 就是不可用的，自然该公链就是不安全的。 原因： 哥德尔不完全定理证明了任何单一的形式化系统 都是不完全的，封闭的，不能解决自指的问题。 解决方案： 找到 各个单一形式化系统的自指接口， 用P/NP 的非线性逻辑 组合成 多个形式化系统互相链接的 涌现的非线性自适应整体。 用例： Bitcoin Bitcoin 的 计算nonce 的miner 是一类 形式化系统， 该类形式化系统可以允许 1到无穷个 该类形式化系统形成的实体miner 同时去对一个块的nonce 求解竞争。 这是P/NP问题的 求解难方面的形式化系统。 最长链 是 分布式账本UTXO的 底座，同时 也是 分布式形式化系统miner 自指的接口，也是 分布式形式化系统miner 的 P/NP 问题的验证方面的形式化系统。 且 最长链 是一个直觉假设，假设51%的忠诚节点 会产生最长链。 从而用直觉的假设解决了 哥德尔不完全定理的自指问题。 最终结果： Bitcoin 通过 直觉假设（图灵命名为神谕机） 链接 P/NP 求解难 和验证容易 的两类形式化系统，从而涌现出了非线性自适应系统， 从而在 P/NP 求解难的 这类形式化系统感知了现实世界， 在P/NP验证容易的这类形式化系统中涌现了价值。 从而成为了一个 和 人类自然 统一的有机整体，即人机共生系统。