People or consciousness have at least three levels of cognition: The first layer (lower layer) is the formal lower limit, which can be expressed and reproduced deterministically. The second layer (upper layer) is the part that humans can never perceive, limited by their perception organs. The third layer (middle layer) is the part between the first two layers, which is neither completely certain nor completely uncertain, and is a probabilistic intuitive expression. The intuition of uncertainty in the middle layer cannot be expressed abstractly using deterministic formal theories, otherwise the meaning of the expression of uncertainty in the middle layer will inevitably be lost, leaving only the reducible part. This is an approximate simulation that completely loses the meaning of human cognition and can never achieve the true expression of the middle layer. The mechanical thinking of reductionism attempts to express everything through a deterministic formal theory, which is impractical. That is to say, the Turing machine system can only express the lower limit of human cognition (i.e. the part that humans can formalize with certainty). So the computability theory of Turing machines can only express the meaningless deterministic part of human cognition. The uncertainty of human cognition requires a new computable theory that goes beyond the Turing machine computable theory to express. But we can use abstract construction ideas of uncertainty to express this layer of uncertainty. Art is like that (such as painting and music). Satoshi Nakamoto's BTC is even more so, Satoshi Nakamoto's craftsmanship has unified the formal construction of art and machinery. This craft is both an art and a formalized science. The part expressed by the Turing machine (i.e. code) is formal science, rather than the abstract art of the longest chain attribute of the group expressed by the Turing machine. And the door opened by Satoshi Nakamoto is using new structural thinking to showcase human intuitive perception. This is a new computable thinking that goes beyond Turing machines: the abstract thinking of group organization. This is a non deterministic, probabilistic intuitive expression of meaning. We are studying the use of group organization computable theory to express the uncertainty that Turing machines cannot express but is perceivable by humans. The uncertainty part of human intuitive perception, where meaning exists.