Paul Halmos est l'un des mathématiciens du XXᵉ siècle qui a le plus marqué l'écriture mathématique moderne. Né le 3 mars 1916 à Budapest dans une famille juive hongroise, mort le 2 octobre 2006 à Los Gatos en Californie, il a traversé toute la mathématique américaine d'après-guerre, élève de Joseph Doob, assistant de John von Neumann, professeur à Chicago, Michigan et Indiana, auteur de manuels devenus des classiques.
On lui doit des contributions fondamentales en théorie de la mesure, en espaces de Hilbert, en théorie ergodique et en logique algébrique. Mais aussi deux notations universelles dans tous les livres de maths du monde : le carré ∎ qui termine les démonstrations, et l'abréviation iff pour if and only if. Voici sa vie, son œuvre, et pourquoi un mathématicien hongro-américain de la théorie de la mesure peut compter pour un taupin français de 2026.
De Budapest à l'Illinois
Paul Richard Halmos naît dans la capitale hongroise au milieu de la Première Guerre mondiale. Sa famille, juive, émigre aux États-Unis en 1929, alors qu'il a 13 ans. Comme beaucoup d'intellectuels juifs hongrois de cette génération, au premier rang desquels von Neumann (1903), Wigner (1902), Erdős (1913), Pólya (1887), il rejoint la diaspora scientifique d'Europe centrale qui va profondément reconfigurer la science américaine.
Il s'inscrit à l'Université de l'Illinois à Urbana-Champaign en 1931, à 15 ans. Il commence par la chimie, bifurque vers les mathématiques et la philosophie, et obtient son B.A. en 1934 à 18 ans après seulement trois ans d'études. Il échoue à l'oral du master de philosophie, anecdote qu'il raconte sans honte dans son autobiographie, et bascule définitivement vers les mathématiques.
Il prépare son doctorat sous la direction de Joseph Leo Doob, l'un des fondateurs de la théorie moderne des probabilités, futur auteur du célèbre Stochastic Processes (1953). Halmos soutient sa thèse en 1938, à 22 ans : « Invariants of Certain Stochastic Transformation: The Mathematical Theory of Gambling Systems ». Le sujet, les transformations stochastiques et la théorie mathématique des jeux de hasard, annonce sa future trajectoire vers la théorie de la mesure et la théorie ergodique.
Génération hongroise. Halmos appartient à ce qu'on appelle parfois la « generation of Hungarian Jewish mathematicians » qui a profondément marqué les mathématiques du XXᵉ siècle. Beaucoup ont fui le nazisme et le communisme et sont devenus des piliers des universités américaines. Pour comprendre cette diaspora, lis aussi notre article sur Jacques Hadamard, autre mathématicien juif qui a fui les persécutions de la Seconde Guerre mondiale.
Princeton · l'IAS et von Neumann
Après sa thèse, Halmos enseigne brièvement comme instructeur à l'Université de l'Illinois (1938-1939), puis au Reed College en Oregon, qu'il quitte rapidement. Il rejoint en 1939 l'Institute for Advanced Study (IAS) à Princeton, le sanctuaire scientifique où enseignent alors Albert Einstein, Kurt Gödel et John von Neumann.
Six mois après son arrivée, Halmos obtient un fellowship et devient l'assistant de John von Neumann. Cette collaboration va durer jusqu'en 1946 et va profondément marquer son travail. Avec von Neumann, l'un des plus grands mathématiciens du XXᵉ siècle, il rédige un article commun et participe aux séminaires d'analyse fonctionnelle qui font de Princeton le centre mondial de la discipline.
Cette période formatrice débouche sur son premier livre en 1942 : Finite Dimensional Vector Spaces, paru chez Princeton University Press. L'ouvrage, bref et lumineux, devient instantanément le manuel d'algèbre linéaire de référence pour toute une génération de mathématiciens et physiciens américains. Il introduit déjà l'approche « coordinate-free » qui caractérisera toute son écriture : on raisonne sur les espaces vectoriels et leurs morphismes, pas sur des matrices fixées.
Cours particuliers
Progressez en maths avec un prof particulier
Cours individuels avec des professeurs issus des meilleures écoles.
Les grandes contributions
Halmos écrit dans plusieurs domaines, mais quatre dominent : la théorie de la mesure, les espaces de Hilbert, la théorie ergodique, et la logique algébrique. Voici les plus marquantes.
Théorie de la mesure (1950)
Le manuel Measure Theory, publié chez Van Nostrand en 1950, devient une référence mondiale. Halmos y présente l'intégrale de Lebesgue avec une rigueur et une économie d'écriture qui en font un classique. C'est dans ce livre qu'il introduit le symbole ∎ de fin de démonstration. Au programme de prépa scientifique, on aborde l'intégrale de Lebesgue uniquement à la marge ; en revanche, l'intégration par parties, à laquelle Halmos consacre plusieurs sections en théorie de la mesure, est centrale dès la Terminale spé.
Espaces de Hilbert (1951, 1957, 1967)
Introduction to Hilbert Space and Theory of Spectral Multiplicity (1951) puis A Hilbert Space Problem Book (1967) sont devenus des références sur les espaces de Hilbert : généralisation infini-dimensionnelle des espaces euclidiens. C'est le cadre naturel de la mécanique quantique (états physiques = vecteurs unitaires d'un Hilbert) et de l'analyse fonctionnelle moderne. En prépa, on étudie les espaces préhilbertiens de dimension finie ; les Hilbert sont vus en master.
Théorie ergodique (1956)
Lectures on Ergodic Theory (1956) systématise le travail commencé dans sa thèse de 1938 et avec von Neumann. La théorie ergodique étudie le comportement à long terme des systèmes dynamiques préservant une mesure, c'est le fondement mathématique de la physique statistique et de la mécanique des systèmes complexes.
Naive Set Theory (1960)
Manuel pédagogique d'à peine 100 pages qui présente les axiomes de Zermelo-Fraenkel sans formalisme excessif. Devenu un classique de la culture mathématique générale, traduit dans plusieurs langues, encore réimprimé en 2026. Halmos y montre toute l'étendue de son talent d'expositeur : présenter des idées profondes avec une économie maximale.
Logique algébrique (1962)
Avec Algebraic Logic, Halmos contribue à formaliser la logique du premier ordre dans le langage des structures algébriques (algèbres polyadiques). Travail technique mais influent en théorie des modèles et en informatique théorique.
∎ et iff · les notations qui restent
Au-delà des manuels, Halmos a marqué l'écriture mathématique de manière durable par deux notations universelles, présentes aujourd'hui dans presque tous les livres de maths du monde.
Le tombstone ∎ (1950)
Dans la préface de Measure Theory, Halmos écrit : « The symbol ∎ is used throughout the book in place of such phrases as "Q.E.D." or "This completes the proof of the theorem". » Il a depuis remplacé presque universellement le sigle latin Q.E.D. (et son équivalent français CQFD) dans la littérature mathématique mondiale. Halmos précise dans I Want to Be a Mathematician (1985) qu'il s'est inspiré des fins d'articles de magazines populaires américains. Pour l'histoire complète, lis notre article dédié sur le carré ∎ et le CQFD.
L'abréviation « iff » (années 1950)
Pour « if and only if » (en français : si et seulement si, abrégé ssi). Halmos l'introduit dans ses livres dès les années 1950 et la popularise. iff est aujourd'hui omniprésent dans la littérature mathématique anglophone, à côté du symbole logique . En français, on continue d'écrire ssi ou si et seulement si en toutes lettres dans la rédaction formelle.
Ces deux contributions paraissent anodines, mais elles ont durablement structuré la typographie mathématique. Tout étudiant qui ouvre un livre de maths après 1950, qu'il soit en classes préparatoires, à l'université ou en recherche, voit le carré ∎ et l'abréviation iff, sans toujours savoir à qui il les doit.
Parlons de votre projet
Un conseiller Hadamard est disponible pour répondre à toutes vos questions.
Halmos expositor · l'art d'écrire les maths
Au-delà de ses contributions techniques, Halmos est reconnu comme l'un des plus grands « mathematical expositors » de son siècle, terme anglais qu'on traduit mal en français par « pédagogue mathématique ». Ses livres sont étudiés dans les écoles de rédaction mathématique pour leur clarté, leur économie et leur élégance.
Ses distinctions majeures couronnent cette double identité de chercheur et de pédagogue :
- Prix Chauvenet de la MAA (1947), pour ses qualités d'exposition.
- Conférencier Hedrick (1953), distinction pédagogique majeure de la MAA.
- Fellow de la Royal Society of Edinburgh (1975).
- Prix Steele de l'American Mathematical Society (1983), récompense suprême pour l'exposition mathématique aux États-Unis.
- Distinguished Teacher Award de la MAA (1993).
Son article-essai « How to write mathematics », publié en 1970 dans L'Enseignement Mathématique, est encore aujourd'hui une référence dans les écoles de rédaction scientifique. On y lit cette définition de la rigueur : « The best notation is no notation; whenever it is possible to avoid the use of a complicated alphabetic apparatus, avoid it. »
« Mathematics is security. Certainty. Truth. Beauty. Insight. Structure. Architecture. »
Paul Halmos, sur sa propre vision des mathématiques
Son autobiographie I Want to Be a Mathematician: An Automathography (Springer, 1985) est l'un des rares témoignages de premier ordre sur la vie d'un mathématicien au XXᵉ siècle, au même titre que Apologie d'un mathématicien de Hardy (1940) ou Souvenirs d'apprentissage d'André Weil (1991).
Carrière américaine · six universités en 60 ans
Après Princeton, Halmos enchaîne les postes dans les grandes universités américaines, à l'image d'une carrière mathématique du XXᵉ siècle :
| Période | Institution | Statut |
|---|---|---|
| 1938-1939 | Université de l'Illinois | Instructeur |
| 1939-1946 | Institute for Advanced Study, Princeton | Fellow, assistant de von Neumann |
| 1946-1961 | Université de Chicago | Assistant puis professeur |
| 1961-1968 | Université du Michigan | Professeur |
| 1968-1969 | Université d'Hawaï | Président du département |
| 1969-1985 | Université d'Indiana | Professeur |
| 1985-2006 | Université Santa Clara | Affiliation après retraite |
En 1945, il épouse Virginia Templeton Pritchett. Le couple n'aura pas d'enfants. En 2002, ils font une donation de 4 millions de dollars à la Mathematical Association of America (MAA) pour financer le Carriage House Conference Center à Washington, un geste qui témoigne de son attachement à la communauté mathématique américaine. Halmos meurt d'une pneumonie le 2 octobre 2006 à Los Gatos, en Californie, à 90 ans.
Héritage et lien avec la prépa
Pour un taupin français de 2026, Paul Halmos peut sembler lointain, mathématicien américain de la théorie de la mesure, peu présent dans le programme officiel de classes préparatoires. Pourtant, son influence est partout :
- Le carré ∎ qui termine les démonstrations dans Bourbaki, dans tes polycopiés de cours de MPSI/PCSI, dans les manuels Liret-Martinais et Monier que tu utilises au quotidien, c'est lui.
- L'algèbre linéaire en formulation moderne, sans référence systématique aux matrices fixées, est en grande partie son héritage via Finite Dimensional Vector Spaces. Tout le formalisme du chapitre Réduction des endomorphismes en MP suit cette logique.
- La pédagogie mathématique moderne, l'idée qu'on peut écrire un livre de maths qui soit à la fois rigoureux et lisible, doit énormément à ses essais sur l'écriture mathématique. Une pédagogie que partage notre institut Hadamard, dont les profs (anciens MPSI/PCSI passés par l'X, l'ENS et CentraleSupélec) ont tous étudié en suivant cette tradition d'exposition claire.
Halmos partage avec Jacques Hadamard une caractéristique rare chez les grands mathématiciens : il a explicitement réfléchi à l'enseignement et à la transmission. Hadamard a écrit en 1945 Essai sur la psychologie de l'invention dans le domaine mathématique ; Halmos a écrit en 1985 I Want to Be a Mathematician. Deux livres rares où des mathématiciens de premier plan analysent leur propre pratique.
Si tu prépares une khôlle ou un DS et que tu hésites entre conclure par CQFD ou par un carré ∎, sache que c'est exactement ce choix qu'a fait Halmos en 1950. Le résultat : ∎. Aujourd'hui, c'est devenu universel, au point que beaucoup d'élèves le tracent sans connaître son nom ni son histoire.
Ce qu'il faut retenir
- Paul Halmos (3 mars 1916 Budapest, 2 octobre 2006 Los Gatos), mathématicien hongro-américain, émigré aux États-Unis à 13 ans.
- Doctorat 1938 à l'Université de l'Illinois sous Joseph Doob (probabilités et stochastique).
- Assistant de John von Neumann à l'Institute for Advanced Study de Princeton de 1939 à 1946.
- Quatre domaines majeurs : théorie de la mesure, espaces de Hilbert, théorie ergodique, logique algébrique.
- Cinq livres de référence : Finite Dimensional Vector Spaces (1942), Measure Theory (1950), Hilbert Space (1951), Lectures on Ergodic Theory (1956), Naive Set Theory (1960).
- Deux inventions notationnelles universelles : le tombstone ∎ (1950, dans Measure Theory) et l'abréviation iff pour if and only if.
- Prix Steele d'exposition (1983), Prix Chauvenet (1947), Distinguished Teacher Award MAA (1993), les distinctions pédagogiques majeures aux États-Unis.
- Autobiographie I Want to Be a Mathematician: An Automathography (Springer, 1985), où il raconte l'origine du tombstone et sa carrière.
Pour aller plus loin, lis notre article dédié sur le carré ∎ en fin de démonstration et l'histoire du CQFD, ainsi que la biographie de Jacques Hadamard, l'autre grand mathématicien-pédagogue dont l'institut tient le nom. Si la rigueur de l'écriture mathématique te parle, c'est probablement parce qu'un certain nombre des mathématiciens que tu lis ont, comme Halmos, vu dans la clarté et la concision les vraies vertus de la discipline.
