Who said anything about blockchain? It is one thing to formalize contracts as functions. Also formalizing the world state is a much harder problem and Ethereum

Who said anything about blockchain? It is one thing to formalize contracts as functions. Also formalizing the world state is a much harder problem and Ethereum tries to solve it by declaring the blockchain "the world". This is the harder problem as you can observe in courts where nearly all the discussion is about the world state. For an example, the question might be "murder" vs "manslaughter". Was there malice? This is about the world state. Once that is decided, the function to determine the sentence is relatively quick to compute.