But we can use the abstract construction of uncertainty to express this layer of uncertainty. Art is like this (such as painting and music). Satoshi Nakamoto's $BTC is even more so. Satoshi's craftsmanship achieved a unified formal construction of art and mechanics. This craftsmanship is both art and formalized science. The part expressed by the Turing machine (i.e., code) is formalized science, while the longest chain attribute expressed by the non-Turing machine group is a form of abstract art.