Satoshi Nakamoto's design of Bitcoin brought Turing's oracle machine and Turing machine theory to fruition. The Turing machines of Bitcoin are implemented in two formal systems: -Distributed UTXO ledger value network derived from asymmetric encryption. -A distributed work network composed of miners based on POW. The oracle of Bitcoin lies in the longest chain connecting the distributed UTXO ledger value network and the POW miner network. The longest chain is an intuitive assumption that can guarantee 51% loyalty to nodes. It links two types of distributed formal systems.