Wolfram’s conjecture that a 2-state 3-symbol Turing Machine is a UTM Wolfram was proven in 2007 by Smith. We can show that the predicate logic system deployed in Bitcoin as a scripting language is equivalent to Wolfram’s Turing Machine
What the chain says
- Block
- 748 096
- Time
- 2022-07-13T19:02:23Z
- Signer
- 13DyoCGkWZMEV9db5tRWVHTzZTK8GUGQ7X
- App
- twetch
- Type
- post
- Content type
- text/plain
- Name in tx
- twetch#8088
Fields the transaction did not carry are omitted. Open the payload to see the bytes as stored.
Signed by
13DyoCGkWZMEV9db5tRWVHTzZTK8GUGQ7X Verified