At any time, the universe consists of a number of entities whose formal states inhabit Hilbert spaces of various dimension (thus |01>+|10> comes from a four-dimensional Hilbert space, while |1> comes from a two-dimensional Hilbert space), and the true dynamics consists of repeatedly jumping from one such set of entity-states to another set of entity-states.
But really, I was replying to whpearson’s question about bogus’s comment. (The FP monad at least makes more sense to me than Leibniz’s monads.)
But where does Mitchell Porter use anything from the functional programming side of things?
It might be this bit:
But really, I was replying to whpearson’s question about bogus’s comment. (The FP monad at least makes more sense to me than Leibniz’s monads.)