The functions of human-computer interaction and oracle are the same, both used to connect two different formal systems. But there is a fundamental difference in the connection between oracle machines and human-computer interaction. Human computer interaction is achieved through individual 1:1 mapping and linear connections. The oracle is connected nonlinearly through the solution/verification of P/NP. For example, there are two formal systems, A and B. If it is human-computer interaction, it is: The individual 1:1 mapping under the formalization of A and B. The comparison is: The UTXO wallet of BTC is a formal system A, and the human individual is a formal system B. Therefore, the UTXO wallet and the human individual are mapped 1:1, which is called human-computer interaction. If it is an oracle, then it is not, A formal system is responsible for difficulty solving calculations, while B formal system is responsible for result verification. B cannot know and does not need to understand the formal system of A, only needs to verify it. Analogous to the distributed individual miners in Bitcoin, formal system A calculates nonce for POW, while formal system B verifies the longest chain and maintains the UTXO ledger. B only needs to verify A's work without repeating calculations. This logic can present non-linearity. And why do individuals of formal system A maintain formal system B? It is to obtain rewards (BTC) from B, and B's formal system lies in its own value (such as BTC's scarcity/storage/monetary value, etc.). In this way, the feedback of these two formal systems is established. And Turing machine refers to an abstract model of a single formal system. So, like Ethereum saying Bitcoin is Turing incomplete, it is Turing complete. That's Ethereum without culture (VB is illiterate), I didn't see it clearly. Ethereum itself is a singular formal system, so it considers itself unilaterally believing that Bitcoin is also a singular formal system. So the technological development of the entire cryptocurrency industry has fallen into the trap of a single formal system.