Buridan's Ass and the Trouble With Symmetry

The paradox is named for Jean Buridan, a 14th-century French priest and rector of the University of Paris, though the argument predates him. The setup: a rational animal stands equidistant from two identical piles of food. It is hungry. Each pile is indistinguishable from the other on every dimension — same distance, same size, same smell. If the animal moves only on reasons, and has equal reasons to go in two directions, it cannot move. It starves.

Buridan himself didn't quite make the argument in that form. He was interested in a subtler question about free will: if the will is determined by the intellect's final judgment, and the intellect sees two options as equally good, can the will act at all? Critics reduced the point to the donkey as a reductio. Spinoza, Leibniz, and Schopenhauer all weighed in. Schopenhauer flat-out declared that a rational animal would of course starve.

The interesting move in the modern treatment is a refusal. Real animals don't stand in such setups. Real setups don't produce perfect ties; some random perturbation — a breath of wind, a fly, a pupil dilation — breaks the symmetry and the animal eats. The paradox survives only as long as you insist on an idealized scenario that never occurs.

Buridan's ass shows up again in computer science. A digital circuit presented with an input exactly on the threshold between 0 and 1 enters a metastable state — neither one nor the other — and in principle can stay there arbitrarily long. Leslie Lamport proved in 1984 that no physical synchronizer can eliminate metastability, only reduce the probability. Every chip on every device you own has a small circuit whose job is to quietly wait out Buridan's donkey whenever two signals arrive at the same nanosecond. It's a 14th-century paradox that became engineering.