So looking at this Aaronson post and this easier to grasp codegolf post, you’re presented with programs that only terminate if these theories are inconsistent. They’re very long running in the mathematical sense of “long”, but putting aside any philosophical objections, say you ran one and it eventually terminated. How surprising is that?