You can if you bound the program in time and space. In particular if you put a timeout on a computation you know for a fact it will halt at some point before th

You can if you bound the program in time and space. In particular if you put a timeout on a computation you know for a fact it will halt at some point before the timeout.