A mathematical proof can remain true while no longer applying to the installed system.
Machine-Native ReasoningReading edition
7. What remains valid after a revision
Reading tools
Reading library
Text settings
Saved in this browser for reading chapters. Browser zoom also works.
Loading chapter…