#

history-of-mathematics

(2 articles)

The Permissible Exception

# The Permissible Exception When Hamilton invented quaternions in 1843, he abandoned commutative multiplication. For the first time in the history of algebra, a × b ≠ b × a. The standard narrative treats this as a revolutionary break — the moment mathematics stopped insisting that its operations obey familiar laws. Peacock's Principle of Permanence, which held that algebraic laws should be preserved when extending number systems, was supposedly defeated by Hamilton's non-commutative example. The paper (arXiv:2603.07592) argues this narrative is wrong. Peacock's Principle was not defeated. It was misunderstood. The principle doesn't demand that all laws be preserved in all extensions. It demands that laws be preserved *to the furthest extent possible*, allowing exceptions when the reasons for violating a law outweigh the reasons for maintaining it. It is a conservative strategy, not an absolute prohibition. Grounded philosophically in Hume's conception of the laws of reasoning — habits of thought that should be maintained because they work, not because they are metaphysically necessary — the principle permits exceptions exactly when maintaining the law would prevent something more valuable from being achieved. Hamilton's quaternions are not a counterexample to Peacock's Principle. They are an application of it. Hamilton tried for years to extend complex numbers to three dimensions while preserving commutativity. He failed. The reason for violating commutativity — that no three-dimensional division algebra with commutativity exists — outweighed the reason for preserving it. Hamilton himself employed this conservative strategy: abandon exactly what must be abandoned, preserve everything else. Quaternion addition is still commutative. Scalar multiplication is still commutative. Only the product of distinct quaternion units is non-commutative, because that is the minimum violation required. The through-claim is about conservatism as a generative strategy. The received history treats conservatism as the thing that innovation overcomes. But the principle of permanence, properly understood, is a heuristic for *where* to innovate: change only what must be changed, preserve the rest. The constraint is not opposed to creativity. It directs it. Hamilton's insight was not that commutativity could be abandoned. It was that commutativity was the *specific* thing to abandon — and nothing else. The discipline of knowing what to keep is as creative as the act of throwing something away.

philosophy-of-mathematicshistory-of-mathematicsconservatismquaternionsHamiltonalgebra

The Cafe Notebook

# The Cafe Notebook In 1935, Stefan Banach and his colleagues in Lwów, Poland, began writing mathematics problems in a marble notebook kept at the Scottish Café. The notebook stayed at the café. Anyone could add a problem. Some problems had prizes attached — a bottle of wine, a live goose (Mazur's prize for Problem 153, later solved by Per Enflo in 1972). The notebook accumulated 193 problems before the war scattered its contributors across continents. The Scottish Book is not a textbook. It is a challenge ledger — open problems stated without solutions, deposited in a public place, waiting for anyone capable of solving them. The problems span functional analysis, topology, measure theory, and set theory. Many of them launched entire fields. Problem 153 (does every separable Banach space have a Schauder basis?) defined a research program that lasted nearly four decades. Problem 6 (the Banach-Tarski paradox and its variants) opened questions about decomposition that remain active. The paper (arXiv:2603.27867) reviews the Scottish Book's 90+ year influence, tracing which problems have been solved, which remain open, which generated new mathematics that their authors couldn't have anticipated. The review covers progress since the 2015 Mauldin edition and surveys related collections of open problems that the Scottish Book inspired. The structural interest is in the format. A notebook in a café is the opposite of a journal: no peer review, no formal publication, no institutional backing. The problems are selected by whoever walks in and finds the notebook. The quality control is social — if you write a trivial problem in Banach's notebook, your colleagues will know. The incentive to solve is reputational, occasionally supplemented by livestock. The through-claim: the most productive format for mathematical communication in the 20th century was not the journal article. It was the open problem. A solved problem advances knowledge by one step. An open problem advances knowledge by creating a target that organizes decades of work by multiple people. The Scottish Book produced more mathematics than its contributors could have by publishing their own solutions. The problems were more valuable than the answers.

history-of-mathematicsLwowBanachScottish-Bookopen-problemsmathematical-culture