Click the grey button to change which order messages are sent in, then click the green flag to send messages.
A project of purely theoretic value. Carl Hewitt states the Church-Turing thesis (that any computation can be modelled by a Turing machine, or lambda calculus terms) is false, because it is impossible to produce unbounded non-determinism on those models, but it is with his Actor model. This is another port of a program I've been working on for a university assignment. In theory, no one knows which order the "increment" and "halt" messages sent by Scratch Cat to themself will arrive, and this also applies to subsequent "increment" messages. Thus we don't know when the messages stop, except that (if the message queue is fair) it eventually will. But that is all theoretical; in practice the messages are handled in exactly the order they are sent, and so if halt is sent first, 0 increments are done, and if increment is sent first, exactly 1 increment is done.
