@bruces why shouldn't AI tackle the halting problem? I suggest they get to work on that.