Suppose McGonagall does not recall being handed 100 Galleons an hour ago. What should she do?
Precommit, give him the Galleon, then reach in her bag to get the 100 Galleons. (She must have been Obliviated; otherwise, she would remember.)
You can actually get around a lot of the problems with time travel by taking advantage of the difference between observation and reality. For instance, if you see one of your friends die, you can go back in time, save him, then plant a fake double so you still have the same observations.
Though Godel was interested in time travel loops, that’s not the type of consistency that his Second Incompleteness Theorem discussed (it’s limited to formal axiomatized systems that can describe arithmetic).
Precommit, give him the Galleon, then reach in her bag to get the 100 Galleons. (She must have been Obliviated; otherwise, she would remember.)
You can actually get around a lot of the problems with time travel by taking advantage of the difference between observation and reality. For instance, if you see one of your friends die, you can go back in time, save him, then plant a fake double so you still have the same observations.
You can never know consistency, can never rely on it, otherwise you are inconsistent (2nd incompleteness theorem).
Though Godel was interested in time travel loops, that’s not the type of consistency that his Second Incompleteness Theorem discussed (it’s limited to formal axiomatized systems that can describe arithmetic).
I suspect Vladmir is considering the system in question here in a way that meets that description.