How a failed philosophy student became the architect of modern mathematical notation

Ideas & Philosophy · Published 3 October 2026 Swipe more like this →

In short: Paul Halmos was a Hungarian-American mathematician who nearly abandoned his career after failing his master's oral exams in philosophy. Instead, he pivoted to mathematics, eventually becoming a legendary expositor who invented the ubiquitous 'iff' shorthand and the 'tombstone' symbol used to mark the end of every mathematical proof.

Born in Budapest in 1916, Paul Halmos moved to Chicago at age thirteen to join his father. Despite arriving without English, he graduated from high school at fifteen and entered the University of Illinois. Initially a chemical engineering student, he switched to mathematics and philosophy, though he later admitted he was merely a routine calculus student who struggled to grasp the concept of limits.

His transition to a career in mathematics was far from certain. After failing his philosophy master's exams, he shifted focus to analysis, earning his Ph.D. in 1938 under Joseph Leo Doob. His thesis, which explored the mathematical theory of gambling, led to a local newspaper headline declaring, 'You Can't Win, Says P R Halmos.' Struggling to find work, he eventually secured a position at the Institute for Advanced Study in Princeton, where he became an assistant to John von Neumann.

Halmos is remembered today not just for his contributions to logic, probability, and operator theory, but for his profound influence on how mathematics is communicated. In his 1985 'automathography,' I Want to Be a Mathematician, he argued that mathematics is a creative art akin to painting. He famously urged students to 'fight' the material rather than passively read it, encouraging them to seek their own examples and proofs.

Beyond his technical work, his legacy is cemented in the symbols mathematicians use daily. He is credited with introducing 'iff' for 'if and only if' and the 'tombstone' symbol (∎) to signify the conclusion of a proof. This symbol is now so synonymous with his work that it is occasionally referred to as a 'halmos.' His dedication to clarity and exposition earned him the Leroy P. Steele Prize and the Deborah and Franklin Haimo Award, solidifying his status as a titan of mathematical education.

General information, not professional advice. Spotted an error? Flag the card or see corrections and complaints.

Intellect Plus is a visual educational discovery platform for exploring fascinating facts and ideas. Brain Food, Not Brain Rot. What is Intellect Plus?

Related

• How a bored chemistry student became a titan of modern mathematics
• How a lottery rejection and wartime internment forged a mathematical giant
• The man who created the Nobel of mathematics never wanted his name on it
• How a mathematician who once lived in a tent became a titan of algebra.
• How a teenage refugee from Hungary became a titan of modern computational science
• Was Paul Janet a profound philosopher or merely a gifted synthesizer of his era?
• How a German philosopher bridged the gap between Kant, Schopenhauer, and ancient Indian wisdom
• Why the father of secular humanism warned against the lure of magical thinking.
• How a nineteenth-century biblical scholar became an unlikely architect of Nazi ideology
• Paul Lafargue: The revolutionary who argued that humanity should embrace the right to be lazy.
• Paul Bernays: The Quiet Architect of Modern Mathematical Logic and Set Theory
• Why Paul Natorp believed that all true education is inherently social education.

More in Philosophers · More in Ideas & Philosophy · Latest · A–Z · All topics