Please observe that one of the possible inputs to your computer is “A cosmic ray flips a bit and turns JMP into NOP, causing data to be executed as though it were code”. In other words, your proof of correctness relies on assumptions about what happens in the physical computer. Those assumptions are testable beliefs, just like the intuitions that go into geometry or the FTA.
Please observe that one of the possible inputs to your computer is “A cosmic ray flips a bit and turns JMP into NOP, causing data to be executed as though it were code”. In other words, your proof of correctness relies on assumptions about what happens in the physical computer. Those assumptions are testable beliefs, just like the intuitions that go into geometry or the FTA.