Recommend a book: This book explains Turing's superpoor iterative recursion of ordinal logic systems and the principle of Turing oracle machines. This is the core theoretical guidance for Satoshi Nakamoto's development of Bitcoin. There is a concluding sentence in the article that left a deep impression: Incompatibility between completeness and invariance. The completeness system is not static, but constantly iterating and changing on its own.