Paul Richard Halmos, född 3 mars 1916 i Budapest, Österrike-Ungern, död 2 oktober 2006 i Los Gatos, Kalifornien, var en ungersk-amerikansk matematiker verksam i USA. Hans intressen inkluderade bl.a. sannolikhetsteori, statistik, operatorteori och funktionalanalys (i synnerhet Hilbertrum). Han är även välkänd för sina välskrivna läroböcker, t. ex. Finite Dimensional Vector Spaces (1942) och Measure Theory (1950).
Halmos införde 1950 symbolen , som ibland även är öppen (), för att i matematisk text markera ett slutfört bevis, jämför med Q.E.D.. Han fick idén till att utnyttja denna typografiska symbol när han såg den användas för att markera slutet på en artikel i olika tidskrifter. I sina memoarer I Want to Be a Mathematician skrev han följande förtydligandePaul R. Halmos, I Want to Be a Mathematician: An Automathography, 1985, p. 403.
Även begreppet "iff" (svenska: omm) som betecknar satslogisk ekvivalens är Halmos påfund
Bibliografi 1942. Finite-Dimensional Vector Spaces. Springer-Verlag. 1950. Measure Theory. Springer Verlag. 1951. Introduction to Hilbert Space and the Theory of Spectral Multiplicity. Chelsea. 1956. Lectures on Ergodic Theory. Chelsea. 1960. Naive Set Theory. Springer Verlag. 1962. Algebraic Logic. Chelsea. 1963. Lectures on Boolean Algebras. Van Nostrand. 1967. A Hilbert Space Problem Book. Springer-Verlag. 1973. (tillsammans med Norman E. Steenrod, Menahem M. Schiffer och Jean A. Dieudonné). How to Write Mathematics. American Mathematical Society. 1978. (tillsammans med V. S. Sunder]. Bounded Integral Operators on L² Spaces. Springer Verlag. 1985. I Want to Be a Mathematician. Springer-Verlag. 1987. I Have a Photographic Memory. Mathematical Association of America. 1991. Problems for Mathematicians, Young and Old, Dolciani Mathematical Expositions, Mathematical Association of America. 1996. Linear Algebra Problem Book, Dolciani Mathematical Expositions, Mathematical Association of America. 1998. (tillsammans med Steven Givant). Logic as Algebra, Dolciani Mathematical Expositions No. 21, Mathematical Association of America. 2009. (postumt, tillsammans med Steven Givant), Introduction to Boolean Algebras, Springer.
Källor
Kategori:Ungerska matematiker Kategori:Födda 1916 Kategori:Avlidna 2006 Kategori:Män Kategori:Personer från Budapest Kategori:Algebraiker Kategori:Personer verksamma vid Institute for Advanced Study Kategori:Alumner från University of Illinois at Urbana-Champaign Kategori:Personer verksamma vid University of Chicago Kategori:Personer verksamma vid Syracuse University Kategori:Personer verksamma vid University of Michigan Kategori:Ledamöter av Royal Society of Edinburgh Kategori:Mottagare av Steelepriset