The enforcement mechanism of smart contracts is the state transition function δ, formally defined by Alan Turing in 1936, the operation actually performed is determined […] by the state of mind of the computer and the observed symbols.
Synapses
Turing, A. M. (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, s2–42(1), 230–265. https://doi.org/10.1112/plms/s2-42.1.230