Formal results describe *what* computation produces, not *what* it fundamentally is or how it should...
This proposition has not been edited since the history system was added.