λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Hawk03-A@1 · Hawk03-A.tex · section · 9a109c12

Three distinct verdicts

Question, contribution, and scope › Three distinct verdicts · lines 173–185

Back to manuscript

Throughout, we distinguish:

  1. Constructed: a stated mathematical object and its claimed properties are established on the declared domain.

  2. Obstructed: a stated collection of requirements is proved incompatible under explicit hypotheses.

  3. Unresolved: a required construction or physical identification is absent.

Failure to construct an object is not a universal nonexistence theorem.