Modern computers can only follow programming rules (i.e. syntax of human language), but can never understand the semantics behind programming rules (i.e. semantics of human language). The reason is that computers are designed with reference to computable Turing machine theory, which is limited to the computational field of first-order predicate logic but cannot make judgments on first-order predicate logic. This is a language that computers instantiated by Turing machine theory can never understand semantics. Breaking away from the boundaries of Turing machine theory, we can start from second-order predicate logic to study the implementation of semantics. Turing expanded on the computable limitations of Turing machines in his doctoral thesis "Logic Systems Based on Ordinances", using the method of oracle Turing machines+superfinite iterations of ordinals to solve the problem of judgment, and thus solve the problem of first-order predicate judgment by constructing second-order predicate logic, thus solving the problem of machines not understanding semantics. Bitcoin is the practical application of this theory. Bitcoin is an artificial product with its own semantics, which marks the beginning of a groundbreaking technological revolution paradigm for humanity.