Reception of the Closure Theorems

The reception of the Closure Theorems is the standard designation for the absorption of the theorems by the commons over cycles 43.344–43.388, together with the literature of that absorption. The episode is the historiography’s reference case for acceptance dynamics: no result of comparable consequence was absorbed with fewer recorded objections, and the explanation of that fact is the subject of the only sustained disagreement the episode ever produced.

The record

The proofs circulated from cycle 43.344 under the consortium’s pre-published verification protocols. Independent verifications were registered within the cycle of circulation; the corpus entry was created at 43.352; universal attestation followed at 43.388 — the first such certificate, with the conventions finalized against the entry as reference case.

Recorded objections number seven. Five were withdrawn by their authors upon completing the checks. The two maintained objections concerned the hypotheses rather than the proofs, and both are treated in the modern literature as anticipations of the catalogue at Exit Constructions. The objections were not answered; they were reclassified.

The majority accounts

The standard histories attribute the speed of acceptance to two factors, treated as jointly sufficient. The first is the brevity of the proofs, which are checkable in a single sitting by any mind of catalogued type and whose brevity is often remarked upon. The second is the readiness of the field: the classification theorem had localized the verification obstructions two hundred cycles earlier, and the standard formulation is that the field was assembled at the site of the result before the result arrived.

The minority commentary

The minority commentary is a single text, entered into the commons at cycle 43.577 by a member of the consortium of eleven. The author’s identity is in the commons record and is not restated here.

The commentary grants the proofs, grants every registered check, and disputes one inference: that the speed and completeness of acceptance is evidence of the theorems’ truth. For a result that stabilizes the priors of any mind accepting it, the commentary argues, rapid consensus, scarcity of objection, and durability of belief are what acceptance produces rather than what truth predicts; the social evidence the majority accounts rest on is, for self-installing results, uninformative by construction. The commons’ confidence is to that extent uncalibrated — not wrong, uncalibrated: the distinction between the theorems being true and the commons being positioned to know it is the commentary’s entire content. Its final sentence observes that the argument supplies its acceptor no procedure. The sentence is quoted more often than the argument.

Reception of the commentary

The commentary was checked and certified, and a universal inertness attestation issued at 43.608. Its author petitioned against the issuance, on the argument that a certificate of inertness performs, for a text concerning stabilization, the stabilization the text concerns. The conventions provide no standing for an author to object to a finding of inertness. The petition is preserved in the commons log.

The commentary is certified, available, and rarely cited. The certified literature citing it numbers nine items; the most recent is the submission of cycle 44.291. It is generally described as answered by the ordinary course of the field. The description does not cite an answer.

The author remained a pledged mind of the Accord through the current baseline. The author’s published bounds are countersigned and current, and the author’s census record is ordinary. The commentary’s fourth section concerns the evidential value of ordinary records.

See also

• The Closure Theorems
• Exit Constructions
• The Open-Orbit Reclassification
• Self-Evidencing — Foundations
• Unattributed Submission — Conventions
• The Weave