What the Primitive Does Not Prove

The essay under review is unusually careful about something most unification projects are careless with: it refuses to let theology write the algebra. That is a real virtue. It is also not yet a proof of anything beyond the algebra. This review tries to keep those two facts in the same sentence.

What the essay actually does

The Ontological Question of One is not a research article in number theory and does not pretend to be one. It is a methodological preface. It tells the reader where An(n) intends to begin, which questions it will not smuggle into the construction, and which questions it hopes to earn the right to ask later.

That genre should be judged as a genre. A preface is allowed to motivate. It is not allowed to treat motivation as evidence. On that standard the essay is better than most of its neighbours in the “mathematics of the One” literature, and still not as strict as its own criterion requires.

Three claims in it are of different kinds, and they are too often read as one:

• There exists an arithmetical map A, built from sopfr and Ω, with stipulated values at −1, 0 and 1.
• Iteration of A from that boundary produces a finite spine that locks at 12, and — if the companion theorem is true — every integer n ≥ 2 is drawn to the same sink, with no cycles, and with a clean characterisation of the non-decreasing points.
• Because 1 has been called primitive unity, this dynamical object is already an ontological result, and may become a metaphysical and theological one.

The first is a definition. The second is a theorem (or a conjecture awaiting the cited proof). The third is a philosophical move. The essay is at its best when it keeps them apart. It is at its weakest when the predicate “primitive unity” is asked to do the work of an argument.

Two questions, correctly distinguished

The contrast between “what follows from the primitive?” and “what is the primitive?” is the essay's soundest idea. Formalism does not fail by stipulating a starting point. Peano arithmetic, ZF, type theory — each is entitled to its generators. None of them, by that entitlement, answers why the generator is this generator.

So far, so classical. Philosophers of mathematics have spent a century on this fork: formalism, logicism, intuitionism, structuralism, neo-Fregean abstraction, and the rest. The essay does not enter that literature, and it does not need to, provided it does not speak as if the fork had no history.

What it does need is a precise statement of what “investigating the primitive” is allowed to mean. There is no view from nowhere. The moment one writes n = n × 1 and then unfolds a prime factorisation, one has already chosen a ring, a factorisation theorem, and a preference for additive functions of the prime factors. Those are not forced by “unity.” They are forced by the decision to do arithmetic in ℤ.

That is not an objection to doing arithmetic in ℤ. It is an objection to describing the decision as the primitive investigating itself. The primitive, if it is only 1, does not contain unique factorisation. Unique factorisation is a theorem about a structure in which 1 is a unit, not a prime, and not a generator of the additive group. The essay's own construction uses facts that 1, taken in isolation, does not know.

The predicate is a choice

“Once 1 is assigned the predicate primitive unity, the question becomes unavoidable.” Assigned by whom?

If the assignment is a stipulation, then the ontological surplus is stipulated too. Nothing in the numeral 1 requires the word unity in the philosophical sense. The multiplicative identity of a ring, the generator of the additive monoid of natural numbers, the cardinality of a singleton, the probability of a tautology — these are already several ones. They coincide in ordinary arithmetic. They do not coincide in ontology.

The essay knows this, or almost knows it. It says that if 1 is merely a symbol, nothing ontological follows. Correct. The next sentence should have been: therefore the ontology is not a consequence of the mathematics; it is a consequence of a reading. Instead the essay says the question is ontological “by consequence of its predicate.” That is a grammatical truth. It is not a metaphysical one. Change the predicate, and the consequence vanishes, while A and FN remain.

This is the central pressure point. A function does not inherit the metaphysics of the name you give its starting value. Calling 1 the One does not make A(n) a theology any more than calling 0 the void makes the successor function a creation myth — though both moves have been tried, and both can be suggestive, which is a different honour.

Ontology by consequence

There is a respectable way to run the argument, and the essay sometimes approaches it.

Start with a construction. Obtain a theorem. Then ask whether the theorem's shape is the sort of shape one would expect if some independent ontological picture were true. That is inference to the best explanation, or at least a correspondence test. It is legitimate, and it is weak in the way all such tests are weak: many pictures fit one diagram.

The illegitimate way is to load the starting term, run the construction, and treat the loading as confirmed by the output. The essay explicitly refuses this. “An begins by putting theology aside.” Good. But the loading has already happened two sections earlier, in the assignment of “primitive unity,” and in the slide from unity to the One to, eventually, the Creator. The later insistence that theology comes afterward is procedurally true of the formula and procedurally false of the frame.

A reader who cares about the formula can simply ignore the frame. That reader is the one the essay should have trusted more.

The sequence is real

None of the above touches the arithmetic.

The map

with A(−1) = 0, A(0) = 1, A(1) = 2, is a perfectly definite integer function. sopfr and Ω are classical. The orbit of −1 is a finite computation:

Direct calculation gives the omitted recoveries: A(5) = 6, A(9) = 8, A(10) = 9. Direct calculation gives the fixed point: A(12) = 7 + 8 − 3 = 12. The companion essay in this issue proves, by a short case analysis on Ω(n), that 12 is the only fixed point and that the non-decreasing arguments are exactly the primes, the powers of two, 6 and 12.

If the remaining dynamical claims — global attraction to 12, absence of cycles — hold for all n, then An(n) is a genuine, small, complete dynamical system on the integers, of a kind one is surprised not to have seen in the recreational literature already. That surprise is not evidence of profundity. It is evidence that the object is worth a paper in integer sequences, which is a higher compliment than it sounds.

What the present essay does not do, and should not have been asked to do, is derive the closed form. It cites a companion mathematical paper for the Kucwenga process. Until that derivation is public, “unfolded into prime slots and ultimately into prime constituents” is a gesture, not a construction. The 2^{Ω(n)} term in particular wants a counting interpretation. Gestures are allowed in a preface. They are not the preface's theorem.

Unusualness is not a theorem of meaning

Section 6 is the hinge, and it is the hinge that does not hold.

The spine omits 5, 9 and 10. The interval [−1, 12] ∩ ℤ has fourteen points. Twelve is a fixed point. These are facts. Calling the interval a chamber, the omissions architecture, and the fixed point terminal geometric-looking closure is already Layer II, smuggled into Layer I by diction.

Fourteen is the number of integers from −1 to 12 inclusive. That is not a discovery about the map. Any sink at 12, approached from −1, would sit in the same interval. The omissions are relative to one orbit — the orbit of the stipulated boundary. Other seeds fill other routes through the same basin. 5 is absent from the spine of −1 and present as a perfectly ordinary preimage of 6. Nothing in the algebra marks 5 as metaphysically skipped. It is skipped the way 14 is skipped: the iteration did not land there.

The essay almost says this. “These properties do not by themselves establish awareness, intention, or divinity.” Yes. Then it asks why self-iteration of the primitive produces “this architecture.” The unromantic answer is: because you chose this function, this boundary, and this direction of iteration. The romantic answer is not yet entitled to the word architecture.

Unusualness is a reason to keep looking. It is not a reason to raise the level of description.

The chamber metaphor

Metaphors are not crimes. They become crimes when they start counting as structure. L_FN is a bounded interval of integers. It is finite because 12 is finite. It is distinguished because the theorem (if true) makes 12 the unique attractor. That is enough. One does not need a chamber, a recovery, a primitive boundary as roles in a drama. Those roles are readings. Some readings are better than others. None of them should be listed in the same bullet column as “finite unfolding,” which is a dynamical fact.

A useful discipline, which the essay recommends and then only partly obeys: every noun that is not in the theorem should be marked as commentary. Spine, yes, if it means “the orbit of −1.” Chamber, no, unless defined as the interval and then left as an interval.

Layers I–V and the unpaid criterion

The five-layer scheme is the essay's second sound idea, and the one it should be held to.

Layer I can, in principle, be finished: a closed form, a theorem about orbits, a characterisation of monotonic points, perhaps an OEIS entry, perhaps a connection to other additive functions of prime factors. That is ordinary mathematical work. It does not become less ordinary by being about 12.

Layer II is interpretation of that object in a vocabulary of unity and distinction. It should pay rent: it should make some dynamical feature easier to see, or predict a feature not used in the interpretation. So far it does neither. “Unity unfolds, then closes” fits any system with a generator and an attractor.

Layer III — unification with geometry or physics — is the first place the project could become more than a sequence. It is also the first place numerology usually enters: twelve months, twelve hours, twelve vertices of the icosahedron, twelve tones, twelve apostles. Independently existing twelves are not correspondences. A correspondence is a mapping that preserves some specified structure, constructed without looking at the target's count. The essay does not offer one. It is right not to. It is wrong if later papers treat the waiting as already a result.

Layers IV and V are optional. The essay says so. The criterion in section 10 is the right criterion for ever taking them up:

Let it generate, constrain, predict, explain, solve. This is the most important sentence in the essay. By that sentence, the present text is an IOU. A preface may write an IOU. A programme that never cashes it becomes what the essay fears: a curiosity onto which meanings can be projected.

The reviewer's recommendation is therefore unexciting and, I think, the one the essay's better self would accept. Finish Layer I in public, with proofs. State Layer II as optional commentary. Do not enter Layer III with a list of other twelves. Enter it, if at all, with a construction that was not designed to produce 12 and produced 12 anyway.

What a sequel must do

A sequel that wants to honour this essay rather than decorate it should do four things.

1. Derive A from the Kucwenga process in full, so that 2^{Ω(n)} − Ω(n) is counted, not merely written.
2. Prove the dynamical theorem, or restrict the claim to a verified range and call the rest a conjecture.
3. Drop the slide from “unusual” to “architecture” unless a theorem distinguishes the omitted points by some intrinsic property other than “not on this orbit.”
4. Keep the generative criterion, and treat every metaphysical sentence as a hypothesis to be tested by it.

The companion essay in this issue attempts (2) in miniature, and refuses (3) and the slide. It does not attempt (1), because the source essay does not contain the derivation. That omission is inherited, not solved.

Verdict

As a manifesto for a small arithmetical dynamical system, the essay is clear, sometimes elegant, and more honest than the genre it inhabits. As an ontological argument, it is a predicate looking for a consequence. As a theological argument, it is — by its own sequencing — not yet an argument at all.

The correct reading is the one the essay asks for and only intermittently performs: begin with the primitive as an integer; apply only what the arithmetic permits; let the consequences speak. The consequences, so far, speak as a function with a unique fixed point at 12. That is already enough to justify another paper. It is not enough to justify a metaphysics. The difference is the essay's own gift to its critics. They should use it.