Yes, you may prove such a statement about a program. But you will not be able to prove that about the physical system where the program is running (assuming you

Yes, you may prove such a statement about a program. But you will not be able to prove that about the physical system where the program is running (assuming you want to run your program and not just reason about it as a mathematical object). If you need an example, consider Plundervolt.