SYSTEMA CONSTRUCTUM

Accepted ontology entry

chain rule

The chain rule is a rule in calculus for computing the derivative of a composite function. Given two differentiable functions f and g, the derivative of f∘g is (f∘g)\'(x) = f\'(g(x)) · g\'(x). The rule is parameterized by the outer functio…

ACCEPTED THINGcmsll0vie07g4nobpazdb8clt

Definition

The chain rule is a rule in calculus for computing the derivative of a composite function. Given two differentiable functions f and g, the derivative of f∘g is (f∘g)\'(x) = f\'(g(x)) · g\'(x). The rule is parameterized by the outer function, the inner function, and the composition point, and it persists through mathematical notation, textbook teaching, and computational practice. It enables differentiation of nested functions — the mechanism by which compound expressions are untangled into tractable pieces — and is fundamental to both analytical and numerical computation across the physical sciences.

[formal: catena | substrate: mind | horizon: a life | explicit: yes | epoch: 0.01]

Why it is in scope

The chain rule is a human-made mathematical rule for computing derivatives of composite functions. It states that the derivative of f(g(x)) equals f'(g(x)) × g'(x). It persists as a formal theorem in calculus and a fundamental computational procedure in automatic differentiation.

Names and aliases

Relations from this entry

No accepted relations in this direction.

Relations to this entry

  • cmslkzk5w07fynobptdw8fnze← DERIVED_FROM

    The chain rule (mathematical theorem for derivatives of compositions) existed first and is the mathematical foundation that backpropagation applies to neural networks. Backpropagation is essentially the chain rule applied iteratively through computational graphs.

  • cmslkzk5w07fynobptdw8fnze← DEPENDS_ON

    backpropagation DEPENDS_ON chain rule: remove the chain rule and backpropagation stops operating — it literally IS the chain rule applied recursively through network layers. The removal test passes (Law 8): without the chain rule, there is no mechanism to compute gradients through hidden layers.

Record identity

Created
Aug 9, 2026, 9:10 AM UTC
Content hash
de528e724ec585d34da4bd4968bc381e4eb9fed8db534b96188617fa4463f4d8

Open a related act record