Paul Halmos
Based on Wikipedia: Paul Halmos
The Man Who Named the End of a Proof
Every time a mathematician finishes a proof today, they mark it with a small black square. This symbol—∎—is so ubiquitous in mathematical writing that most people assume it has always existed, like the equals sign or the integral symbol. But someone had to invent it. That someone was Paul Halmos, a Hungarian immigrant who arrived in America at thirteen, failed his philosophy exams, and went on to become one of the twentieth century's most beloved mathematical writers. The symbol even has a name: the halmos.
He also invented "iff."
If you've ever read a mathematics textbook and encountered "if and only if" compressed into those three letters, you've encountered another Halmos creation. It seems like a small thing, this verbal shorthand, but mathematics is built from such small things. Notation shapes thought. The right symbol at the right moment can make an entire field clearer.
One of the Martians
Halmos has been described as one of "The Martians"—a nickname for the extraordinary cluster of Hungarian scientists who emigrated to America in the early twentieth century and transformed fields from physics to computing. The group included Leo Szilard, who conceived the nuclear chain reaction; Edward Teller, the father of the hydrogen bomb; Eugene Wigner, who won the Nobel Prize for his work on atomic nuclei; and John von Neumann, perhaps the most versatile genius of the century.
The joke was that these scientists were so brilliant, so otherworldly in their abilities, that they must have come from Mars. They spoke with Hungarian accents, it was said, because that's what Martians learning English would sound like.
Halmos was born in Budapest in 1916 into a Jewish family. When he was thirteen, his family moved to the United States—a decision that would prove lifesaving as Europe descended into horror. The young Halmos enrolled at the University of Illinois, where he displayed the kind of restless intellectual hunger that would define his career. He majored in mathematics but simultaneously completed all the requirements for a philosophy degree. He finished in just three years. He was nineteen.
A Failed Philosopher, a Born Mathematician
Then came disaster, or what seemed like it at the time.
Halmos began a doctoral program in philosophy at Illinois. He failed his oral examinations for the master's degree. This is the kind of setback that ends academic careers. For Halmos, it was a redirection. He switched to mathematics and never looked back.
His dissertation, supervised by Joseph Doob, carried a wonderfully specific title: "Invariants of Certain Stochastic Transformations: The Mathematical Theory of Gambling Systems." He graduated in 1938, just as the world was about to catch fire.
What happened next was audacious. Halmos showed up at the Institute for Advanced Study in Princeton—the intellectual sanctuary that housed Albert Einstein and the greatest minds of the age—without a job offer and without grant money. He simply arrived and hoped something would work out.
Six months later, he was working as John von Neumann's assistant.
The von Neumann Encounter
Von Neumann was, by nearly universal agreement, the fastest mathematical mind anyone had ever encountered. His colleagues described him in terms that bordered on the supernatural. He could hear a complex problem stated once and solve it before the speaker finished asking. He could memorize books at a glance. He made fundamental contributions to set theory, quantum mechanics, game theory, computer architecture, and cellular automata. Working alongside him was like standing next to lightning.
For Halmos, the experience proved transformative. At the Institute, he wrote his first book: Finite Dimensional Vector Spaces. It was published in 1942, and it immediately established Halmos's reputation—not as an original researcher, though he was certainly that, but as something arguably rarer: a mathematical expositor of extraordinary clarity.
The Art of Mathematical Writing
What does it mean to be a great mathematical expositor? Mathematics is notoriously difficult to communicate. The subject matter is abstract, the notation is specialized, and the logical chains can stretch across dozens of careful steps. Most mathematical writing is dense, technical, and readable only by specialists in the precise subfield being discussed.
Halmos was different. He wrote mathematics that people actually wanted to read.
His book Naive Set Theory, published in 1960, remains in print more than sixty years later. The title itself is a kind of joke—"naive" in mathematics means something like "informal" or "intuitive," as opposed to the rigorous axiomatic treatment. Halmos was inviting readers into set theory through a friendlier door. The book worked. Generations of students have learned the foundations of mathematics from its pages.
He won the Lester R. Ford Award twice, in 1971 and 1977, for outstanding mathematical exposition. The American Mathematical Society asked him to chair the committee that wrote their style guide for academic mathematics. In 1983, he received the Leroy P. Steele Prize for exposition—the mathematical equivalent of a lifetime achievement award for writing.
Mathematics as Art
In 1968, Halmos published an essay in American Scientist that made an argument many mathematicians believe but few have stated so forcefully: mathematics is a creative art. Mathematicians, he argued, should be seen as artists, not as the number-crunching calculators of popular imagination.
He introduced a distinction between "mathology" and "mathophysics." Mathology, roughly speaking, is mathematics pursued for its own sake—the investigation of abstract structures because they are beautiful and interesting. Mathophysics is mathematics developed to solve problems in the physical sciences. Halmos was firmly in the mathology camp, though he recognized that the boundary between the two is blurry and that historically, each has enriched the other.
His central claim was that mathematicians and painters think in related ways. Both work with form, structure, and aesthetic judgment. Both create objects that did not exist before. Both are animated by a sense of elegance—the feeling that some solutions are not just correct but right.
Fight the Book
In 1985, Halmos published his autobiography. He called it I Want to Be a Mathematician: An Automathography—a portmanteau suggesting that the book was about his mathematical life rather than his personal one. He was explicit about this focus. The book says almost nothing about his marriage, his friendships, or his inner emotional life. It is entirely about what it was like to be an academic mathematician in twentieth-century America.
The book contains a passage that has become famous in mathematical circles. It captures something essential about what Halmos believed mathematics education should be:
Don't just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case? What about the degenerate cases? Where does the proof use the hypothesis?
This is advice about reading mathematics, but it's really advice about thinking. Passivity is the enemy. Understanding comes through struggle. The reader must engage actively, testing every claim, pushing back against every assertion, trying to break the argument. Only through this kind of combat does mathematical knowledge become real.
A Wandering Career
Halmos's academic career took him across America. He taught at Syracuse University, the University of Chicago, the University of Michigan, the University of Hawaii, Indiana University, and the University of California at Santa Barbara. From his retirement in 1985 until his death in 2006, he was affiliated with Santa Clara University.
In 1967-68, he held the Donegall Lecturership in Mathematics at Trinity College Dublin—one of the oldest academic positions in Ireland, established in 1764. It was a brief European interlude in a career that was otherwise entirely American.
Throughout this wandering, he kept writing. His bibliography is enormous. Measure Theory (1950), Introduction to Hilbert Space (1951), Lectures on Ergodic Theory (1956), Algebraic Logic (1962), A Hilbert Space Problem Book (1967), and many others. Each book was crafted with the same attention to clarity and readability that had made his first effort so successful.
Original Mathematics
It would be wrong to remember Halmos only as a writer. He was also an original mathematician who made fundamental contributions to several fields.
His work touched probability theory, the mathematical study of random processes. It touched operator theory, which examines the abstract properties of transformations on mathematical spaces. It touched ergodic theory, which studies systems that evolve over time and asks when their long-term behavior is predictable. It touched functional analysis, particularly the study of Hilbert spaces—infinite-dimensional spaces that generalize ordinary geometry and form the mathematical backbone of quantum mechanics.
In the early 1960s, Halmos developed what he called polyadic algebras. This was an algebraic approach to first-order logic—a way of capturing logical reasoning in the language of algebra. The approach differed from the better-known cylindric algebras developed by Alfred Tarski and his students. Both systems aim at the same target: understanding the logical structure of mathematical reasoning. They just take different routes to get there.
A Photographic Memory
In 1987, Halmos published I Have a Photographic Memory, a book of photographs he had taken throughout his career. The title is a mathematician's joke—Halmos didn't have an eidetic memory, but he did have a camera, and he had used it to document the mathematicians he met over decades of conferences and collaborations.
The book is a who's who of twentieth-century mathematics, captured in candid moments. It's also a reminder that mathematics is not just a body of knowledge but a community of people—flesh-and-blood human beings who attend conferences, drink coffee, argue about theorems, and pose awkwardly for photographs.
Teaching and Legacy
In 1994, Halmos received the Deborah and Franklin Haimo Award for Distinguished College or University Teaching of Mathematics. This was recognition of what his students had known for decades: Halmos was not just a great writer but a great teacher. He brought the same clarity and engagement to the classroom that he brought to the page.
In 2005, Halmos and his wife Virginia established the Euler Book Prize, an annual award given by the Mathematical Association of America for a book likely to improve the public's view of mathematics. The prize was first awarded in 2007—the 300th anniversary of Leonhard Euler's birth—to John Derbyshire for Prime Obsession, a popular book about Bernhard Riemann and the Riemann hypothesis.
The choice of Euler as the prize's namesake was apt. Euler was the most prolific mathematician in history, and he was known for the clarity and accessibility of his writing. In sponsoring a prize in Euler's name for mathematical exposition, Halmos was honoring his own deepest values.
The Documentary
In 2009, three years after Halmos's death, the filmmaker George Csicsery released a documentary about him. The film was called I Want to Be a Mathematician, after the autobiography. It captured Halmos's wit, his passion for mathematics, and his conviction that the field was fundamentally about beauty and creativity rather than calculation.
Halmos died on October 2, 2006, at the age of ninety. He had spent nearly seventy years doing mathematics and more than sixty years explaining it to others. The small black square at the end of a proof—the halmos—remains his most visible legacy. Every mathematics student who writes QED or draws that square is, knowingly or not, paying tribute to a Hungarian immigrant who failed his philosophy exams and found his calling in the austere beauty of mathematical thought.
∎