About Paul Halmos
Paul Richard Halmos (Hungarian: Halmos Pál [ˈhɒlmoʃ paːl]; 3 March 1916 – 2 October 2006) was a Hungarian-born American mathematician and probabilist who made fundamental advances in the areas of mathematical logic, probability theory, operator theory, ergodic theory, and functional analysis (in particular, Hilbert spaces). He was also recognized as a great mathematical expositor. He has been described as one of The Martians. While at the Institute, Halmos wrote his first book, Finite Dimensional Vector Spaces, which immediately established his reputation as a fine expositor of mathematics. In a series of papers reprinted in his 1962 Algebraic Logic, Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of Alfred Tarski and his students. In these memoirs, Halmos claims to have invented the "iff" notation for the words "if and only if" and to have been the first to use the "tombstone" notation to signify the end of a proof, and this is generally agreed to be the case.
Biography source: Wikipedia. The profile adds birthday-specific historical context from the Celebs Birthday Today editorial database.