Paul Halmos

Le symbole de la tombe, utilisé pour signifier la fin d'une démonstration mathématique, est fréquemment appelé un halmos, témoignage de l'influence durable de Paul Halmos. Né à Budapest en 1916, ce mathématicien hongrois-américain a gagné en importance pour son approche rigoureuse de l'algèbre, de l'analyse fonctionnelle et de la théorie des ensembles, tout en façonnant simultanément la manière dont les concepts mathématiques sont communiqués aux futures générations de chercheurs.

Formation académique et premiers travaux

Après avoir immigré aux États-Unis à l'âge de 13 ans, Halmos a fréquenté la Lincoln Park High School avant de s'inscrire à l'Université de l'Illinois à Urbana-Champaign. Il a obtenu son diplôme en trois ans, poursuivant initialement la philosophie avant de se tourner vers les mathématiques. Sous la supervision de Joseph L. Doob, il a terminé sa thèse, Invariants of Certain Stochastic Transformations: The Mathematical Theory of Gambling Systems, en 1938. Peu après, il a rejoint l'Institute for Advanced Study, où sa collaboration avec John von Neumann a considérablement influencé son développement professionnel précoce.

Contributions mathématiques et exposition

Halmos était reconnu à la fois pour ses recherches originales et pour sa clarté en tant qu'exposant. Dans son ouvrage de 1962 Algebraic Logic, il a introduit les algèbres polyadiques comme une version de la logique du premier ordre. Son texte de 1960 Naive Set Theory reste une contribution notable au domaine. Il a défendu avec ferveur l'idée de considérer les mathématiques comme un art créatif plutôt que comme un processus mécanique. Au cours de sa carrière, il a introduit la notation mathématique courante pour « si et seulement si », abrégée en iff, et a formalisé l'utilisation du symbole de la tombe pour délimiter la conclusion d'une preuve.

Parcours professionnel et reconnaissance

Sa carrière a couvert de nombreuses institutions, notamment l'Université de Syracuse, l'Université de Chicago, l'Université du Michigan et le système de l'Université d'Hawaï. Il a ensuite occupé des postes à l'Université de Californie à Santa Barbara et à l'Université de Santa Clara, où il a servi de 1985 jusqu'à sa mort en 2006. Au cours de sa vie, il a reçu le prix Chauvenet en 1947, le prix Leroy P. Steele en 1983 et plusieurs prix Paul R. Halmos - Lester R. Ford. Son livre de 1985, I Want to Be a Mathematician, sert d'autobiographie mathématique détaillant sa vie académique dans l'Amérique du XXe siècle.

Faits en bref

- Naissance : 1916, Budapest - Décès : 2006, Los Gatos - Citoyenneté : Hongrie ; États-Unis - Livre notable : Naive Set Theory - Éducation : Université de l'Illinois à Urbana-Champaign - Prix de 1983 : Prix George Pólya, prix Leroy P. Steele

Questions posées par les lecteurs

### Quelle est l'origine du symbole de la tombe ?

Paul Halmos est crédité comme étant le premier mathématicien à utiliser le symbole de la tombe, désormais parfois appelé halmos, pour marquer la fin d'une preuve.

### Que voulait dire Halmos par une autobiographie mathématique ?

Il a utilisé ce terme pour décrire ses mémoires de 1985 car le récit se concentre presque exclusivement sur sa vie professionnelle en tant que mathématicien plutôt que sur son histoire personnelle.