Three recent things: 1. The general construction method for defining ordinals in Nash's revised Turing ordinal logic system. 2. How does Nash's non-cooperative game theory integrate into the Turing ordinal logic system? 3. How can Nash's revised hierarchical introspective logic system based on the Turing ordinal logic system be developed into a universal AGI? (Bitcoin is just the first simple example of this theoretical method, which Satoshi Nakamoto referred to as the consensus mechanism).