Link to current text
C.29.3:3 - Forces
| Force | Working tension |
|---|
| Abstract freedom and available means | A mathematical input or operation may have no preparation or execution in the proposed arrangement. |
| Useful abstraction and intermediate behavior | One logical step can be convenient for reasoning while its physical implementation has consequential intermediate states. |
| Input meaning and output meaning | The same carrier can represent different quantities at different points; preparation and readout need their own interpretations. |
| A demonstrated case and a stated range | A small case exposes mistakes, while a claim covering many inputs needs an argument or evidence that covers them. |
| Precision and useful consequence | Exact equality may be unnecessary; an unexplained error can still defeat a threshold decision. |
| Fixed computation and adaptable arrangement | Changing an interface can preserve a computation; changing its formulation can sometimes use the available arrangement more effectively. |