Chapter Fifteen When MU Refuses to Answer

Every trial so far has ended with an answer. This one ends with a silence, and the silence is the strongest result of all.

Come tour a factory. It manufactures metal cubes, and the one thing you are told at the door is that every cube comes off the line with a side somewhere between zero and one metre. Nothing else. You do not know the machinery, the customers, the settings; you know the range of sides, and that is all. Now the foreman asks you the visitor’s question: what is the probability that the next cube has a side of half a metre or less?

You have been trained for this. Assume nothing beyond the constraints. Spread your credence evenly over what you do not know. The sides run from zero to one, you know nothing that favours any region, so spread evenly over side length, and half a metre or less takes exactly half the range. One in two. You say it with the quiet confidence of Part Two. The foreman nods. You begin to walk on, and a thought taps your shoulder. You could as easily have described these cubes by the area of a face, and faces run from zero to one square metre, and you know nothing that favours any region of that range either. Spread evenly over face area, then. A side of half a metre means a face of a quarter of a square metre or less, which is a quarter of the area range. One in four. Same factory. Same ignorance. Same principle. Different answer. And volume is waiting its turn: spread evenly over volume, which runs from zero to one cubic metre, and a side of half a metre means a volume of one-eighth or less. One in eight. Three descriptions of one object; a half, a quarter, an eighth; and each of them arrived by obeying, to the letter, the instruction this whole book is built on. Spread evenly. Assume nothing. The instruction has just handed you three incompatible certainties, and the vertigo you feel is the point of the tour.

Understand what is at stake, because this is the falsifier moment the trials were promised. The paradox is not a curiosity at the edge of the framework; it is aimed at the heart. If “assume nothing beyond the constraints” licenses three contradictory answers, then it licenses nothing, and the unique forced structure of the derivations was a conjuring trick, and every trial we have won was won with a weapon that does not exist. The problem is old and has drawn blood before. Joseph Bertrand built its ancestor in 1889 out of a circle and a chord: draw a chord at random, he said, and ask the probability that it is longer than the side of the inscribed equilateral triangle, and then he produced three impeccable methods, random endpoints on the rim, a random midpoint along a radius, a random midpoint anywhere in the disk, and they returned one-third, one-half, and one-quarter, each method a perfectly reasonable reading of the words at random. The paradoxes of this family all have the same skeleton. The question says random, or says you know nothing, and offers no ruling on random with respect to what, and the innocent little phrase is doing all the work, and it has not been defined.

The tempting exits are all smuggling, and each fails in a way that teaches the shape of the lawful answer. You could simply pick a parametrisation, side length, say, because it feels natural, and declare its answer official. But feels natural is not a constraint; it is a preference imported from nowhere, precisely the contraband you have been trained, trial after trial, to search for, and a framework that forbids smuggling everywhere else cannot deal itself an exemption at the exact moment its own convenience is at stake. You could average the candidate answers, blending a half and a quarter and an eighth into some compromise number, but a blend of three unjustified answers is a fourth unjustified answer wearing a diplomat’s suit; averaging is just smuggling with extra steps. Or you could wave the question away as meaningless. It is not meaningless: the factory exists, the next cube will have some definite side, and a well-posed version of the question is one added sentence away. The exits are closed. Good. Now for the door.

Here is what the constraints actually determine, stated with the care it demands. Given exactly what you were told, the range of sides and nothing more, the constraints do not single out a number. They single out, completely and lawfully, a set of distributions: the full family of MU-consistent distributions compatible with everything the foreman actually said, each member tagged with the description that generates it. The three famous calculations, an eighth, a quarter, a half, are not the set’s endpoints and were never shown to be; they are three named residents of it, proof by exhibition that the constraints stop short of a point. That set is not a shrug. It is a finding. It is the unique, fully determined output of the principle applied to these constraints, as forced as any answer in the trials; the determination has not failed, it has delivered an object of a different shape than the question presumed. The question walked in demanding a point. The constraints, served without addition, return the whole family of distributions they permit, the credal set, and the consistent reasoner reports its full spread and declines the point, and the declining is not a failure of nerve. It is the verdict. Ask me the probability and I will tell you exactly what your constraints bought: this much, and no more, and the single number you wanted is not among the purchases. Determinacy holds. The answer is a set. Write it down as one.

And now the other half of the boundary, which rescues everything Part Two proved, because you may be wondering whether this concession kills the die and the maximum-entropy machinery and every uniform prior the book has leaned on. It does not, and the difference is the whole deliverable here. Return to the die: six faces, and spread your credence evenly, one-sixth each. Why was that safe when the cube was not? Because the die’s symmetry is in the problem: six discrete, labelled outcomes, given as such, with a physical exchangeability among faces that is part of what you were told, and permuting the labels changes nothing you know. The uniform answer there is not a choice of description; it is forced by a genuine invariance the constraints contain. The physicist Edwin Jaynes, patron saint of this mathematics, made the same point with Bertrand’s own circle: specify the physical setup, straws tossed onto the circle from a distance, by a thrower with no fine control, and the real invariances of that situation, that nothing changes if the circle is shifted a little, turned a little, scaled a little, pin the answer uniquely, and the pinned answer, one-half, is the one the tossed straws actually produce when someone does the experiment.

So the classification, the tool you carry away, is this. When the symmetries are real, stated in or entailed by the constraints, the principle answers, uniquely and confidently, and the derived architecture stands entire. When the question leaves the description unfixed, when random floats free and no physics anchors it, the principle returns the set and refuses the point, and the refusal is exactly as lawful as the answer was. One principle, two outputs. Knowing which situation you are standing in is most of what there is to teach.

Life, of course, does not always let you hold a set, and the framework owes you an account of the forced bet, which it has. Suppose the foreman offers a wager on the next cube, and the betting slip has one box on it. Believing and acting are different layers, and the discipline differs by layer. At the layer of belief you hold the set, whole and honest, because that is what the constraints determine and belief answers to constraints. Acting needs no single number either: you can weigh a wager against the whole range the set permits, and there are honest ways to do that. What needs a single number is the box. That demand is not a discovery about your belief but one more constraint, arriving from the protocol rather than from the world, and MU does with it what MU does with every constraint: it selects, uniquely, the least-assuming admissible completion, the entropy-maximal member of the set relative to your prior. And be honest about what that completion inherits, because the scar from the grue trial rides here too. The entropy-maximal member is maximal relative to a reference measure. Where the problem’s own physics does not fix that measure, your apparatus does. And where nothing fixes it, neither the physics nor the apparatus, even the number in the box is underdetermined, and the honest report says so. The forced bet does not escape apparatus-relativity. It inherits it, openly, with the completion named rather than smuggled, which is the whole difference between a stated frame and a hidden one. You do not choose the number freely; the constraints plus the named frame choose it, and your remaining duty is to keep it resolutely: the same completion for the same problem, not re-chosen opportunistically when the payoffs shift, because a completion re-shopped whenever convenient is a smuggler’s passport. Held to that standard, resoluteness stops being a personality trait and becomes a kind of constraint, the consistency of the acting self across time, and the two layers close the last gap between the mandated set and the lived necessity of choosing. A cousin of this subtlety, for the readers who will go hunting: the famous Judy Benjamin problem, where updating on conditional information seemed to break the update rule, dissolves under careful formalisation the same way, the apparent inconsistency living in an ambiguity of what was actually learned, and the moral is the one that keeps sounding here, that most scandals about the mathematics are scandals about under-specified questions.

I have saved the oldest practitioners for last, because the refusal proved here was being practised, as institutional discipline, by communities that never saw the mathematics, and their independent arrival is the strongest evidence I know that the boundary is real. In the academies of Babylonia, when the rabbis fought a question of law to a standstill, when every argument had been answered by a counterargument and the sources genuinely underdetermined the ruling, they did not force a verdict and they did not delete the question. They sealed it with one Aramaic word: teiku. Europe’s logicians arrived at the same door much later and by the opposite staircase: the final proposition of Wittgenstein’s Tractatus, the most famous silence in Western philosophy, orders that whereof one cannot speak, one must be silent. He thought reaching it meant kicking away the ladder he had climbed. This book’s one amendment is that there was never a ladder. There was ground, and he was standing on it, and the silence he commanded is the refusal this chapter proves. Let it stand. The question remains on the page of the Talmud to this day, hundreds of times over, marked, preserved, undecided, and the folk etymology grew that the word was a promise, that the Tishbite, Elijah, herald of the messianic age, would one day resolve what the constraints of this age could not.

Consider the epistemic engineering in that single move: a legal civilisation building a formal notation for the constraints do not determine an answer, refusing both the false verdict and the false closure, and carrying its open questions forward for fifteen centuries as a permanent, unashamed inventory of what it did not know. Half a world away, a wanderer’s students kept pressing him on the great metaphysical questions, whether the world is eternal, whether it is finite, whether the enlightened exist after death, and the Buddha, again and again, set them aside undeclared, the avyākata, and when Māluṅkyaputta threatened to quit the order unless the questions were answered, the teacher told him the story of a man shot with a poisoned arrow who refuses treatment until he learns the archer’s name, his clan, the wood of the bow, and dies with his questions. And when the wanderer Vacchagotta demanded to know where an enlightened one goes at death, the Buddha asked him where a fire goes when it goes out, north or south, east or west, and Vacchagotta saw it at once: the question’s frame does not fit the case, and every available answer would say something false. These are not the same doctrine, and I will not pretend they are; one is jurisprudence, one is soteriology, and neither is probability theory. What they share is the discipline at the core of it all, discovered separately, enforced institutionally: when the constraints run out, the honest act is a marked refusal, and the mark is itself information.

And now I can pay a debt carried since the first koan. A monk asked Zhaozhou whether a dog has Buddha-nature, and Zhaozhou answered mu, and I told you to hold the monk, and told you again in the principle’s chapter that the master’s answer had one more secret. Here it is. You have just learned, at full length, exactly what Zhaozhou did. The monk’s question arrived, like the foreman’s, wearing a frame that demanded yes or no, and the frame presumed a determination the constraints of the teaching did not contain, and Zhaozhou, given the choice between a false yes, a false no, and the truth, chose the truth, and the truth was a refusal with a name. Mu is the sound of a mind declining to assert beyond its constraints. It is teiku in one syllable. It is the fire that went neither north nor south. It is the set returned where the point was demanded. The principle was named MU for the discipline of assuming nothing, and the name has been waiting all along to confess its full lineage: the deepest thing the principle does is not answer, and the oldest word for that act is the principle’s own name. The koan was never decoration. It was the specification.

Two short codas, and the case can rest. The first is ancestry of a more recent kind. Ninety years ago, mathematics itself learned to do what the rabbis did, when Gödel and then Turing proved that some well-formed questions are undecidable by given systems, and the profession responded not with despair but with notation, marking such questions formally and building on around them. Undecidability, formally marked, is teiku’s mathematical cousin, and the credal set is the same maturity brought to probability: incompleteness made livable, the open question carried open instead of forced or forgotten. The second coda concerns the machines, and it is one sentence with a test behind it, waiting where the machines are judged: the most important capability a reasoning machine can learn is the lawful refusal, the returned set, the plain the constraints you gave me do not determine an answer. Whether today’s systems can do this, or instead manufacture a confident point wherever a question demands one, is testable in plain terms. The machines chapter states the test.

So the strangest trial ends. This refusal was billed as the most important result, and here is the cash for that claim. Any framework can be built to answer everything; astrology answers everything; that was Popper’s whole warning, and the price of answering everything is meaning nothing. A framework that can prove where its answers end, that can distinguish the question the constraints decide from the question they leave open, and that treats the second kind with a marked, principled, weight-carrying silence, is a different order of thing. The gold assayers of the old texts tested by burning, cutting, and rubbing, and the metal that survives is the metal that does not pretend. This is the burn the framework survives. Where the constraints determine, MU answers, uniquely, and you have watched it do so for eight trials. Where they do not, it hands you the set, and the honesty of the set is the proof that the answers, where they came, were answers and not accommodations. The single number the foreman wanted is not in the constraints.

We do not insert it.