图灵机解决的是可计算问题，神谕图灵机解决的 是 不可判定问题，超穷迭代解决的是完备性问题。 Bitcoin中与之分别对应的是：TX的脚本构造和 Block的nonce构造属于可计算的图灵机范畴， Block的选择和确认属于神谕图灵机的 直觉判定问题范畴， 而 最长链的 累加最优迭代属于 超穷迭代的完备性问题范畴。 其中 TX的内部的存在性判定问题 计算等价于 Block的 存在性判定。 而 Block 的判定依赖于 分布式系统内部的 超越单节点的相对判定完成。 而 规约出来的block 直觉判定的 精确性 属于 基于序数逻辑 对角论证对应 时间戳序列的 超穷迭代 。