The tombstone symbol used to signify the end of a mathematical proof is frequently called a halmos, a testament to the enduring influence of Paul Halmos. Born in Budapest in 1916, this Hungarian-American mathematician gained prominence for his rigorous approach to algebra, functional analysis, and set theory, while simultaneously shaping how mathematical concepts are communicated to future generations of scholars.
Academic Formation and Early Work
After immigrating to the United States at age 13, Halmos attended Lincoln Park High School before enrolling at the University of Illinois Urbana-Champaign. He completed his degree in three years, initially pursuing philosophy before transitioning to mathematics. Under the supervision of Joseph L. Doob, he finished his dissertation, Invariants of Certain Stochastic Transformations: The Mathematical Theory of Gambling Systems, in 1938. Shortly after, he moved to the Institute for Advanced Study, where his collaboration with John von Neumann significantly informed his early professional development.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Mathematical Contributions and Exposition
Halmos was recognized for both his original research and his clarity as an expositor. In his 1962 work Algebraic Logic, he introduced polyadic algebras as a version of first-order logic. His 1960 text Naive Set Theory remains a notable contribution to the field. He famously advocated for viewing mathematics as a creative art rather than a mechanical process. During his career, he introduced the common mathematical notation for if and only if, abbreviated as iff, and formalized the use of the tombstone symbol to demarcate the conclusion of a proof.
Professional Tenure and Recognition
His career spanned numerous institutions, including Syracuse University, the University of Chicago, the University of Michigan, and the University of Hawaiʻi System. He later held positions at the University of California, Santa Barbara, and Santa Clara University, where he served from 1985 until his death in 2006. Over his lifetime, he received the Chauvenet Prize in 1947, the Leroy P. Steele Prize in 1983, and multiple Paul R. Halmos - Lester R. Ford Awards. His 1985 book, I Want to Be a Mathematician, serves as an automathography detailing his academic life in 20th-century America.
Fast facts
- Born: 1916, Budapest
- Died: 2006, Los Gatos
- Citizenship: Hungary; United States
- Notable Book: Naive Set Theory
- Education: University of Illinois Urbana-Champaign
- 1983 Awards: George Pólya Award, Leroy P. Steele Prize
Questions readers ask
What is the origin of the tombstone symbol?
Paul Halmos is credited as the first mathematician to use the tombstone symbol, now sometimes called a halmos, to mark the end of a proof.
What did Halmos mean by an automathography?
He used this term to describe his 1985 memoir because the narrative focuses almost exclusively on his professional life as a mathematician rather than his personal history.
Achievements
- Leroy P. Steele Prize — 1983
- Chauvenet Prize — 1947
- Notable work: Naive Set Theory
- Held posts at University of Chicago, University of California, Santa Barbara and Syracuse University
- Fields: algebra, mathematical analysis and functional analysis
.jpg)