The three-layered world of computation: -1, Turing machines pursuing consistency, typeless and recursive. Rationalist reasoning. -2, Ordinal logical systems pursuing completeness, typed and recursive. Empiricist reasoning. -3, Non-cooperative games pursuing self-driven introspection, anonymous peer-to-peer relational interactions. Intuitionist constructive proofs. Maybe: Nash really is Satoshi Nakamoto, or at least Nash was the core inspiration behind Satoshi's design of Bitcoin. @JNI_London @famous_ideal