computation

Direction test (Law 9): computation IS a specific kind of procedure — specifically, a systematic, rule-governed transformation of information. A competent speaker would accept 'computation is a type of procedure.' The edge-test confirms procedure is more foundational (epoch 0.23 vs 1.01), consistent with computation being a specialization. Nearest kind: procedure (not formalism — computation is the process, not the symbolic system used in it).

Computation is the systematic manipulation of symbols/information. Remove information — the stuff being computed on — and computation has nothing to operate on. It stops OPERATING, not just becoming sayable. The removal test (Law 8) passes: without information, computation collapses. This is not a meta-level claim about language (Law 2b) — computation and information are object-level concepts about processing content.

Calculation is a specific kind of computation — specifically, the arithmetic or numerical kind. A competent speaker calls calculation 'a computation.' The sense is operational: computation as the broad capacity, calculation as its numeric instantiation.

which-came-first test: computation (the practice/process) predates computational complexity (the formal study). Complexity theory was built ON TOP of the prior concept of computation. DERIVED_FROM: Y existed first and fed into X.

Remove computation and a pipeline of processing steps cannot execute — the pipeline's operation requires computation to proceed.

which-came-first-existed-and-fed-into: computation (performing calculations and operations) predates weight-sharing (a neural network technique from the 1980s) by millennia. Weight-sharing — sharing the same parameters across different parts of a network — is a specific computational technique built on the general concept of computation. Computation existed first and fed into the design of weight-sharing as a computational optimization.

Algorithms are designed and maintained for the sake of computation — their purpose is to provide step-by-step procedures for information processing and problem-solving. Law 8d SERVES: servant (algorithm) points at master (computation).

Calculator is designed and maintained for the sake of computation — its purpose is to perform arithmetic and mathematical operations on behalf of the user. Remove computation from the picture and the calculator has no purpose. Law 8d: X SERVES Y means X is built for the sake of Y.

The MacBook Air is a portable computer built and maintained for the sake of computation: its design purpose is to execute programs, process data, and support user tasks. Servant points at master.