In 1960 the physicist Eugene Wigner published a short, famous essay, “The Unreasonable Effectiveness of Mathematics in the Natural Sciences.” Its puzzle is easy to state and impossible to settle: why should mathematics — invented by mathematicians for internal reasons, with no eye to the physical world — describe that world with such uncanny precision? Among the writings Jef Raskin circulated but never formally published is an essay taking up exactly this question. It is worth reading not as a contribution to the philosophy of mathematics, where it does not pretend to resolve anything, but as a window onto the habit of mind that governed everything Raskin did in interface design.

This page is editorial commentary on that unpublished essay; the archived text itself is preserved separately. What follows is an attempt to say why a piece on Wigner’s puzzle belongs in the record of a man best known for the Macintosh.

The Puzzle Raskin Inherited

Wigner’s examples have become canonical. Maxwell’s equations, developed as mathematical structures, predicted radio waves before anyone had detected one. The non-Euclidean geometry that nineteenth-century mathematicians built as pure abstraction turned out to be the precise geometry of spacetime in general relativity. Group theory, pursued for reasons internal to algebra, became the natural language of quantum symmetry. In each case a structure devised without reference to nature fit nature exactly. Wigner called this unreasonable and declined to explain it, offering it instead as a gift we neither understand nor deserve.

Raskin, trained in mathematics and philosophy before he was a computer scientist, found the puzzle worth sustained attention. His essay surveys the standard responses without endorsing any of them outright — the Platonist view that mathematics is discovered rather than invented; the more radical position that physical reality simply is a mathematical structure; the deflationary suggestion that we remember the mathematics that worked and forget the vast quantity that did not; and the cognitive reading, on which mathematical effectiveness tells us less about reality than about how human minds are built to organize it.

Why He Cared

What separates Raskin’s treatment from an ordinary philosophy-of-science exercise is the use he wanted to make of the answer. He was not chasing Wigner’s puzzle for its own sake. He was interested in a broader version of it: when, and why, do formal abstract systems turn out to be useful tools for understanding and acting in the world?

That question had immediate, practical stakes for him. Raskin had argued for years that interface quality should be measured rather than estimated — that formal tools such as the GOMS model and Fitts’s law could yield quantitative predictions of how long a given interface would take to operate, predictions more trustworthy than a designer’s intuition. This is, in miniature, the same claim Wigner’s puzzle raises: that an abstract formalism can model a slice of reality, here the reality of human performance at a keyboard and a screen.

If formal systems are effective for some discoverable reason, that reason underwrites the use of formal tools in design. If their effectiveness is real but mysterious, the mystery still licenses their use while leaving the success unexplained. Either way, Raskin’s bet held: a designer who measures is on firmer ground than a designer who merely feels.

The Move That Made Him Unusual

The dominant mode of interface design, in Raskin’s time and after, is qualitative. Designers decide on the basis of experience, taste, user observation, and heuristic principle. Raskin did not dismiss these inputs — he thought them valuable — but he thought them insufficient on their own, and he was willing to say so in a field that largely did not want to hear it.

His reason connects directly to the Wigner essay. The value of a formal account, in his view, is precisely that it can contradict intuition. A keystroke-level model can show that an interface which feels fast is in fact slower than one that feels clumsy, or that a menu which feels orderly takes longer to traverse than one that feels cluttered. When a formal analysis disagrees with a designer’s instinct, the disagreement is productive: it converts a matter of taste into a matter of fact, and a matter of fact can be settled by experiment. You can run the test. You can time the users. The dispute does not have to be won by whoever is most confident.

This is the through-line from a 1960 physics essay to a 1987 navigation key. Raskin trusted formal systems to describe behavior because he had seen, in the history of physics, how often formal systems describe reality better than anyone had a right to expect. Wigner’s puzzle was, for him, evidence that the bet on measurement was a good one.

What the Essay Does Not Claim

It is worth being precise about the limits of the piece, because Raskin was. He does not solve Wigner’s problem; he says plainly that it does not admit a clean solution. He does not assert that human behavior is as cleanly mathematical as electromagnetism — the formal tools of HCI in his day, GOMS and Fitts and the keystroke-level model, were crude beside the equations of physics, and he knew it. His point is the more modest and more defensible one: that crude formal tools which make testable predictions are better than no formal tools at all, and that the burden of proof should fall on intuition, not on measurement.

The unpublished status of the essay is itself telling. Raskin wrote a great deal he never sent to a journal, distributing pieces to correspondents instead. This one reads like thinking-aloud — an attempt to reassure himself that the philosophical ground beneath his design methodology was sound. Read that way, it is among the more revealing items in his unpublished work: the place where the Macintosh designer turns out to be standing on the foundations of mathematical physics.

Related:

• The Effectiveness of Mathematics — Raskin’s essay, archived →
• Core Principles of Humane Interface Design →
• The Humane Interface →
• Return to Jef Raskin Reference →

External references: Wigner’s 1960 essay is widely archived (see archive.org); for the formal-methods lineage in HCI, the ACM Digital Library holds the original GOMS and keystroke-level-model papers.