Professor Quillibrace had insisted on silence for the first part of the seminar. Not for atmosphere, Mr Blottisham suspected, but because silence made conceptual overreach easier to detect. Miss Stray, as ever, was already tracking something that had not yet been properly said.
“Today,” Quillibrace began, “we are not discussing mathematics. We are discussing the metaphysical enthusiasm that keeps trying to turn it into something else.”
Blottisham frowned. “I’m not sure I follow. Mathematics is something else. It’s… the deepest thing there is. It either is reality or it isn’t.”
Stray tilted her head slightly. “Or it might be a relational system whose stability produces the impression of depth when we re-describe other systems through it.”
Quillibrace did not look up from his notes. “That is one way of avoiding the question entirely, yes. But let us begin where Mr Blottisham’s impatience usually begins.”
He tapped the page once.
1. “Is the universe fundamentally mathematical?”
Blottisham leaned forward. “Well—yes or no? That’s the question, isn’t it? Either the universe is mathematics, or mathematics is just a tool we invented. It feels like a real fork.”
Quillibrace: “It feels like a fork because you have already cut the world into two incompatible substances: description and reality.”
Stray: “And then allowed description to masquerade as substance in order to compare itself to reality from outside both.”
Blottisham blinked. “I didn’t do that.”
Quillibrace: “No. But the question did it for you.”
He continued.
“What is being assumed is that mathematics is a thing-like structure that could, in principle, be identical to what it describes. Once that assumption is in place, ‘is it fundamental?’ becomes a sensible question.”
Stray: “But only because abstraction has been treated as if it were a candidate for materiality.”
Blottisham: “Hang on. But it works. Physics is mathematical. That has to mean something.”
Quillibrace: “It means modelling is effective under certain constraint alignments. Not that the model is the substrate.”
2. “Is mathematics discovered or invented?”
Blottisham: “Right, but this one’s even clearer. We either discover maths or we make it up.”
Quillibrace sighed in a way that suggested he had sighed this thought many times before speech.
“You are treating ‘mathematics’ as a single object with a single origin.”
Stray: “And treating origin as if it determines ontological status rather than describing different strata of activity.”
Blottisham: “So it’s both?”
Quillibrace: “That would already be an improvement over your binary.”
Stray: “Constraint-recognition and symbolic construction are being collapsed into mutually exclusive categories. But they are interdependent processes within the same relational field.”
Blottisham: “That sounds like ‘both’ with extra steps.”
Quillibrace: “It sounds like refusing to confuse activity with taxonomy.”
He paused.
“What is discovered is constraint-structure. What is invented is formal articulation. Neither is mathematics alone.”
Stray: “Mathematics is what happens when those align under stable transformation rules.”
Blottisham: “So we don’t discover it, but we don’t invent it either.”
Quillibrace: “Correct. You are now merely uncomfortable rather than wrong.”
3. “Do mathematical objects exist independently of us?”
Blottisham tried again, more carefully this time. “Fine. But numbers—sets, whatever—you’re telling me they’re not things?”
Stray: “They are positions within formal systems of constraint, not entities inhabiting a domain.”
Blottisham: “That sounds like denying their existence.”
Quillibrace: “Only if you have already decided that ‘existence’ means ‘thinghood.’”
Stray: “Stability within a formal system produces the impression of objecthood when viewed from outside the system.”
Blottisham: “So we made them up.”
Quillibrace: “No. We stabilised relational structures symbolically. That is not the same operation.”
Stray: “The mistake is treating coherence as if it required population.”
Blottisham: “Population?”
Quillibrace: “Yes. You keep imagining mathematics as a place full of entities.”
Stray: “When it is in fact a structured practice of constraint.”
Blottisham leaned back. “That’s… less satisfying than I expected.”
Quillibrace: “Truth rarely arrives with customer satisfaction built in.”
4. “Does mathematics discover truths about reality?”
Blottisham tried one last time. “But surely it discovers something. The equations match the world. That has to be discovery.”
Quillibrace: “What you are calling discovery is structural resonance between constrained systems.”
Stray: “One system formalises relations internally; another instantiates relations materially. Alignment occurs where constraints are sufficiently compatible.”
Blottisham: “So it’s not discovery, it’s matching.”
Quillibrace: “Not matching either. That still implies two pre-existing shapes waiting to coincide.”
Stray: “It is partial structural coupling under shared constraint regimes.”
Blottisham: “I can feel myself losing the ability to translate that into normal English.”
Quillibrace: “That is often a sign you are no longer confusing clarity with familiarity.”
A pause settled.
Blottisham finally said, more quietly: “So what is mathematics, then?”
Stray looked at the table rather than at him.
“A relational system of formal transformation,” she said, “which becomes intelligible when it is coupled to other systems exhibiting compatible constraint structures.”
Quillibrace added: “It is not a mirror of reality. It is a way of articulating structure within reality.”
Blottisham frowned. “So it’s not underneath the world. It’s… alongside it?”
Quillibrace: “That metaphor is already beginning to misbehave, but it will do for now.”
Stray: “Better: it is one mode in which relational structure becomes expressible.”
Blottisham exhaled. “I preferred it when maths was either magic or human invention.”
Quillibrace: “Naturally.”
Stray: “But those are both simplifications that preserve the comfort of a single origin story.”
Blottisham: “And you’re saying there isn’t one.”
Quillibrace closed his notes.
“I am saying,” he replied, “that the desire for a single origin is not itself a mathematical constraint. It is a psychological one.”
Stray added softly: “And mathematics does not resolve it. It simply ignores it while continuing to work.”
Blottisham stared at the page as if it might apologise.
It did not.