
Lux(λ) |光尘|空灵|GEB|Jun 10, 2025 04:23
The core idea of GEB @ BitAgere is:
A single formal system (Turing machine/computable formal system) is incomplete and cannot express complex adaptive systems.
The so-called blockchain technology is a single computable formal system, so it is incomplete, which is the fundamental reason why blockchain technology cannot perceive reality in practice.
Bitcoin is not a blockchain technology limited to a single computable formal system. It is a PH three-layer super poor iterative system based on P!=NP.
The P!=NP of the PH three-layer structure does not collapse.
UTXO: Asymmetric Cryptography
POW: Asymmetric Nonce Calculation Verification
Longest Chain: Asymmetric Longest Chain Selection
Each layer of P!=NP in this PH three-layer structure cannot be expressed using a single formal system (Turing machine theory), in order to solve the decidable (non computable) and computable problems of P!=NP. We introduce Turing's oracle Turing machine, which acts on the NP hard computation side of the PH layer to obtain the Oracle to P validation side solution. And these three levels of oracle spirit machines are all relatively decentralized oracle spirit machines, rather than absolute centralized oracle spirit machines.
UTXO Oracle Turing Machine: Human operation of UTXO wallet private key manages the signature of UTXO, which is an NP hard one end formal system.
Miner oracle Turing machine: Each Miner that calculates a new nonce block that meets the requirements, which is the difficult end of NP to solve.
Each blockchain oracle in the synchronized Turing machine is given one end of the synchronized broadcast block for different forked chains. Determining whether the current chain is the longest chain is an NP hard problem.
Bitcoin has emerged as complex in the asymmetric relative adaptive interaction of three types of oracle Turing machines by abstracting three different NP hard formal system dynamic architectures. The three-layer NP formal system structure expressed by the three types of oracle Turing machines does not collapse. The three-layer structure of UTXO -->Block -->The longest chain should not collapse. Bitcoin uses the technique of Transfinite iteration to prevent the longest chain from collapsing.
And the oracle Turing machine and Transfinite iteration techniques used in it come from Turing's doctoral thesis "Ordinal Logic Systems" published in 1938: https://(GitHub)/GEBcore/urine phd
Share To
Timeline
HotFlash
APP
X
Telegram
CopyLink