图灵的 论可计算数 的论文 号称 计算机行业第一的论文， 开启了 以图灵机为抽象模型设计计算机的 大时代。 但在这个时代，图灵机作为 确定性计算工具来使用已尽胜任有余。 但是用来解决 不可预测的自适应复杂系统，那完全不足了。 而哥德尔也证明过 任何包含计算的形式化系统是不完备的。 图灵和邱奇这对师生，在论可计算的 两篇文章中：lamda 演算和 图灵机 都 用 机械化/确定性的形式化系统 抽象的建立的可计算的模型。 但此时，即 1937/1938年，图灵在邱奇的带领下，在普林斯顿大学读博士， 而博士论文要解决的问题：即 怎么基于哥德尔不完备定理的形式化系统上构造完备系统的方法论，也是站在 图灵和邱奇 的 只解决 可计算问题的图灵机和lamda演算模型的基础上 往前走一步，解决 可判定性问题。 邱奇指导图灵做的 博士论文 《基于序数的 逻辑系统》带来一个完整的方法论：引入神谕图灵机 用 Transfinite 的手艺来构建 无穷趋近的完备系统。 而 中本聪构造Bitcoin 的手艺， 即为这个手艺。 每个 Block 都有一个相同命题的假设，即最长链原则。 在每个块中的交易 存在系统的图灵度（置信度）会随着 后续指引的块的增加 而增加 。 即 每个块的交易是否100%确认， 在于最长链后续一个块一个块的 Transfinite 模式的 增长而来。