Né en Hongrie dans une famille juive, il émigre aux États-Unis en 1929 et s'inscrit à l'université de l'Illinois à Urbana-Champaign à l'âge de 15 ans. Il y étudie la philosophie avant de se consacrer sur le tard aux mathématiques. Il soutient sa thèse de doctorat en 1938 sur le thème des invariants dans les processus stochastiques.
Paul et Virginia Halmos ont doté le Prix Joseph L. Doob en l'honneur du président de l'AMS Joseph L. Doob dont Paul Halmos fut le premier doctorant[1].
L'œuvre
Ses livres, écrits dans un style lumineux et particulièrement fluide[2], sont devenus des classiques : on peut citer Naive Set Theory(en)[3], Introduction to Hilbert Space and the Theory of Spectral Multiplicity[4], Lectures on Boolean algebras[5] et Finite Dimensional Vector Spaces[6]. Son autobiographie, publiée en 1985 est intitulée I Want to Be a Mathematician: An Automathography[7].
Dans un article d’American Scientist (56(4), 375-389), Halmos défend la thèse que les mathématiques sont un art de création et que les mathématiciens sont des artistes, non pas des calculateurs. Il y discute de la division du domaine en mathologie et en mathophysique. Par ailleurs, il illustre à quel degré un mathématicien et un peintre vivent dans des environnements semblables.
L'invention de iff pour abréger if and only if (c'est-à-dire l'équivalent en anglais de ssi pour abréger si et seulement si) est souvent attribuée à Halmos, mais par erreur. L'usage du signe de fin d'article pour signifier la fin d'une démonstration lui est attribué. Ce symbole ∎ (Unicode U+220E) est parfois appelé un halmos.
Problèmes pour mathématiciens, petits et grands [« Problems for mathematicians, young and old »] (trad. de l'anglais par Catherine Bellaïche), Paris, Cassini, , 334 p. (ISBN2-84225-012-5)
L'Algèbre linéaire en problèmes [« Linear Algebra Problem Book »] (trad. de l'anglais par Catherine Bellaïche), Cassini, , 380 p. (ISBN978-2-84225-089-8)
↑(en) Paul Halmos, Introduction to Hilbert space and the theory of spectral multiplicity, Providence, R.I, AMS Chelsea Pub, , 114 p. (ISBN978-0-8218-1378-2).
↑(en) Paul Halmos, Finite dimensional vector spaces, Princeton London, Princeton University Press Oxford University Press, , 196 p. (ISBN978-0-691-09095-5, lire en ligne).