Think about a filesystem check (like Windows7 CHKDSK, ha). While fixing and committing filesystem fixes (with or without transactions I don't know), the state of the data is in flux. When the program finishes, it declares the information to be correct. Is this declaration any different than someone looking at 1+1=2 and saying "yep."?

Information is correct when an observer correctly or incorrectly says it's correct. Any deeper discussion of what is correct or real is getting into Descartes territory and I'm not talking about that. Print off a wikipedia page (version), you (observer) review it (validation) and say it's correct. The data hasn't changed. Rather it's a data decoration, metadata about the print-out.