计算的三层世界： -1，追求一致性的图灵机，无类型的可递归。理性主义推理。 -2，追求完备性的序数逻辑系统，带类型的可递归。经验主义推理。 -3， 追求自驱动内省的非合作博弈，匿名对等的关系交互。直觉的构造主义证明。 也许：纳什确实是中本聪，纳什至少是中本聪设计 #Bitcoin 的核心思想来源。 @JNI_London @famous_ideal(Lux(λ) ｜光灵｜GEB)