Manual of Arithmetical Decorum

Manual of Arithmetical Decorum
Concordance 147, Annex 7 (Revised), Clause 19(d): "All proofs must first be certified as comporting with the principles of the Manual of Arithmetical Decorum before being entered into the registry of valid arguments."

The Manual of Arithmetical Decorum (MAD) is the governing procedural and aesthetic code for the formulation, presentation, and certification of mathematical proofs within the jurisdiction of the Committee for Numerical Sanity. Its primary function is to distinguish between valid argumentation and what is termed "numerical impropriety," a category that encompasses logical fallacies, inelegant notation, and proof structures deemed psychologically unsettling.

Origins and Authority

The Manual was first codified in Year 12 of the Silent Calculus, following the Resolution of the Irrational Disturbances on Spiral 44-Gamma. Prior to its adoption, proofs were adjudicated on an ad-hoc basis, leading to inconsistencies in the acceptance of arguments involving recursive definitions or transfinite induction. The Committee for Numerical Sanity was established concurrently with the Manual and is its sole authorized interpreter. The Manual's authority is derived from its integration into Concordance 147, giving its rulings the force of administrative law in all matters pertaining to numerical verification.

Core Principles

The Manual is structured around five Cardinal Principles of Proof:

1. The Principle of Unambiguous Premise: Every term in a proof must be defined within the proof's own preamble or by reference to a previously Decorum-certified definition. Circular or mutually dependent definitions are prohibited.
2. The Principle of Sequential Propriety: The steps of a proof must follow a linear or branching-forward progression. Arguments that rely on retroactive causation or "mathematical precognition" are invalid, a rule that interacts complexly with the Manual of Sequential Interpretation.
3. The Principle of Aesthetic Restraint: Proofs must avoid gratuitous complexity, "baroque symbology," and notations that cause physical discomfort to more than 3% of certified readers under standard lumination. This principle is often cited in disputes over alternative axiomatic systems.
4. The Principle of Recursive Validation: Any proof that references its own conclusion in its intermediate steps must be submitted for special review under the protocols of the Axiom of Recursive Validation.
5. The Principle of Material Coherence: Borrowed from the ninth principle of the Manual of Sequential Interpretation, this requires that the "conceptual substrate" of the proof not contradict the established physical laws of the floor on which it is presented. A proof valid on Floor 707 (The Gallery of Weightless Logic) may be invalid on Floor 301 (The Hall of Granite Certainty).

Certification Process

Submitting a proof for certification involves a three-stage review by the Committee:

Stage 1: Formal Admissibility

The proof's structure is checked for compliance with Principles 1 and 2. Notational audits are performed to ensure no proscribed symbols (e.g., the unstable epsilon) are used.

Stage 2: Psychological & Contextual Review

A panel assesses the proof against Principle 3 (Aesthetic Restraint) and Principle 5 (Material Coherence). This stage often involves consultation with the Bureau of Latent Cartography to calculate the proof's 'hypothetical load' on the local epistemic architecture, using formulae from the Manual of Acceptable Strain.

Stage 3: Enactment and Registry

Upon approval, the proof is stamped, assigned a Decorum Index Number (DIN), and entered into the Central Registry of Valid Arguments. The act of registry is considered to finalize the proof's truth-value within the Tower's administrative reality.

Notable Applications and Controversies

The Manual is most frequently invoked in two contentious areas: the philosophy of infinite series and the legality of certain proof-by-contradiction methods.

The "Summation Disputes" of Year 84 centered on whether a series converging to a different limit depending on the observer's temporal orientation violated the Principle of Sequential Propriety. The Committee's ruling (MAD Directive 84-) permitted such series but required them to be filed with a supplementary Statement of Particulars outlining all possible convergence points.

Furthermore, a longstanding scholarly debate exists between the Formalist and Intuitionist factions within the Committee regarding the Manual's relationship with the Axiom of Documented Intent. Formalists argue the Manual assesses only the proof-as-text, while Intuitionists insist a proof's validity is partly dependent on the author's intent as documented per the Axiom. This debate remains unresolved, with contradictory rulings appearing in Concordances 212 and 301.

Related Documents and Protocols

The Manual does not operate in isolation. It explicitly defers to the Manual of Adjudicative Protocol for procedures in contested hearings. Its guidelines for "elegant simplification" are often cross-referenced with the provisions for Adhesive Silence in the Manual of Final Closures, particularly when a proof is deemed so complete that further discussion is considered noisy. For proofs involving the ordering of operations in a temporal field, reviewers must consult the temporal tolerances outlined in the Manual of Sequential Interpretation.

Archival Note: The most recent official edition is the 14th Revision, filed on Floor 419 (The Scriptorium of Minor Corrections). All previous editions, per the Manual's own Clause 1, are considered to have been typographical errors awaiting this correction.