An Actor cannot decide the halting problem for program expressions. See proof in the following: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.c

An Actor cannot decide the halting problem for program expressions. See proof in the following: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021