#Bitcoin 元手艺 和 费马大定理的联系 费马大定理的证明过程： 1，谷山-志村 猜想：椭圆曲线方程 等价于 模形式。 2， 弗赖将费马方程转变为一个椭圆曲线方程。 3， 肯·里贝特 证明了谷山-志村 猜想隐含费马大定理。 4，怀尔斯着手证明谷三-志村猜想，顺带证明费马大定理。 5，怀尔斯使用伽瓦罗的群论思想来归纳证明椭圆曲线方程的解序列和模形式解的序列一一等价，且证明了每个椭圆曲线方程的一小部分解可以用来构成一个群。 6，波恩和宫刚宣称用 微分几何学来证明了该猜想，最后被证明宣告失败， 但他们 和怀尔斯 的证明元手艺是一致的：即“并行论哲学”。只是怀尔斯使用 椭圆曲线方程和模形式。 7，怀尔斯将伽罗瓦群应用于椭圆曲线方程，且将椭圆曲线方程拆解成无限多个项，然后他证明了每一个椭圆曲线方程的第一项必定是模形式的第一项。 8，利用 科利瓦金-弗莱切方法 将论证从 第一项扩展到椭圆曲线方程的所有各项。 9， 1993年，宣告证明了费马定理， 但存在最后的无穷收敛的证明的完备性问题。 10， 1994年， 依靠 岩泽理论 混合 科利瓦金-弗莱切方法 互相补足完美的证明了 谷三-志村猜想，顺便证明了费马定理。岩泽理论 补足了 科利瓦金-弗莱切方法 在无穷方向收敛的证明。 即 解决了1993年 证明版本的漏洞。 这个证明的元手艺的思想叫： 罗伯特·朗兰兹纲领：数学通过“并行论哲学”思想将一个又一个链环统一起来。 而 纳什 从费马大定理的证明的元手艺得到启发，想来通过一个具体的手艺来机械的完成朗兰兹纲领。 纳什思想计划的过程：层次内省逻辑。 -1， 图灵机是基本可计算形式理论，可以解决可递归的连续性问题。 -2， 图灵在图灵机的基础上追求完备性的解决方案上 图灵自己设计了图灵序数逻辑系统：通过 结合图灵机和神谕机的序数的超穷迭代 来解决 不可计算（不可递归）的问题。 但存在 不唯一/不变性的问题，类似于 1993年怀尔斯证明费马大定理的问题。 -3，纳什用 序数的定义的定义（引用） 来解决了图灵序数逻辑系统的 序数的每层 无限多个解的问题。 但依然存在无限多序数逻辑链条。 -4，用纳什非合作博弈的 纳什均衡到强解的思想解决无限多序数逻辑链条收敛到唯一的问题。 用纳什的思想 实例化 #Bitcoin ： -1， 用图灵机理论 来实现 BTC 货币的Transaction 业务，留下该理论解决不了的 双花问题。 -2， 通过 序数逻辑系统理论 把 双花问题 转化以 块高作为序数迭代的 Block 逻辑。 -3， 用Block 的 Hash 再定义了序数的定义，即让每条BlockChain 每一层只有唯一的 一个 Block。 -4， 使用 POW 的非合作博弈模式 来决策出唯一的强解：最重链。 这就是完整的 中本聪设计 Bitcoin 的元手艺。 也是数学家 继承了 希尔伯特数学完备大厦的一个迭代。 有意思的是：当年 哥德尔用不完全定理推翻了希尔伯特的数学完备大厦。而图灵接着用图灵机也实证了这个数学完备大厦。 而费马大定理的证明和Bitcoin 的无中心化的机械运行以及朗兰兹纲领 好像在 支持 希尔伯特 的数学完备性事业（Wir müssen wissen — wir werden wissen.）。 纳什在此做了 数学和文化都是演化的哲学断言。 随着人类文明的发展，以前有问题的一切数学问题，都可以通过组合新的技术理论 来实现完备的证明。(Lux(λ) ｜光灵｜GEB)