Library / Mathematical Thinking DPF
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:01:07 UTC · snapshot created 2026-10-03 08:04:31 UTC · last check 2026-10-03 08:05:10 UTC

MATH.16:3 - Forces

ForceTension
Familiar representation and needed operationsA convenient notation can make calculation easy while omitting a required construction or recovery.
Recoverable data and additional choiceRecovering the inputs leaves open whether they determine the complete result.
General specification and existenceA universal property can identify the desired object even when it has no realization in the chosen setting.
Structural sameness and computational effortTwo constructions can support the same maps while requiring different work to calculate with them.