HOME

TheInfoList



OR:

Paul Richard Halmos ( hu, Halmos Pál; March 3, 1916 – October 2, 2006) was a Hungarian-born American
mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...
and statistician who made fundamental advances in the areas of
mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...
,
probability theory Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set ...
, statistics,
operator theory In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operators ...
, ergodic theory, and
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. inner product, norm, topology, etc.) and the linear functions defined o ...
(in particular, Hilbert spaces). He was also recognized as a great mathematical expositor. He has been described as one of The Martians.


Early life and education

Born in
Hungary Hungary ( hu, Magyarország ) is a landlocked country in Central Europe. Spanning of the Pannonian Basin, Carpathian Basin, it is bordered by Slovakia to the north, Ukraine to the northeast, Romania to the east and southeast, Serbia to the ...
into a
Jewish Jews ( he, יְהוּדִים, , ) or Jewish people are an ethnoreligious group and nation originating from the Israelites Israelite origins and kingdom: "The first act in the long drama of Jewish history is the age of the Israelites""The ...
family, Halmos arrived in the U.S. at 13 years of age. He obtained his B.A. from the
University of Illinois The University of Illinois Urbana-Champaign (U of I, Illinois, University of Illinois, or UIUC) is a public land-grant research university in Illinois in the twin cities of Champaign and Urbana. It is the flagship institution of the Univer ...
, majoring in mathematics, but fulfilling the requirements for both a math and philosophy degree. He took only three years to obtain the degree, and was only 19 when he graduated. He then began a Ph.D. in philosophy, still at the Champaign–Urbana campus; but, after failing his masters' oral exams, he shifted to mathematics, graduating in 1938. Joseph L. Doob supervised his dissertation, titled ''Invariants of Certain Stochastic Transformations: The Mathematical Theory of Gambling Systems''.


Career

Shortly after his graduation, Halmos left for the
Institute for Advanced Study The Institute for Advanced Study (IAS), located in Princeton, New Jersey, in the United States, is an independent center for theoretical research and intellectual inquiry. It has served as the academic home of internationally preeminent schola ...
, lacking both job and grant money. Six months later, he was working under
John von Neumann John von Neumann (; hu, Neumann János Lajos, ; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, engineer and polymath. He was regarded as having perhaps the widest cove ...
, which proved a decisive experience. While at the Institute, Halmos wrote his first book, ''Finite Dimensional Vector Spaces'', which immediately established his reputation as a fine expositor of mathematics. From 1967 to 1968 he was the Donegall Lecturer in Mathematics at
Trinity College Dublin , name_Latin = Collegium Sanctae et Individuae Trinitatis Reginae Elizabethae juxta Dublin , motto = ''Perpetuis futuris temporibus duraturam'' (Latin) , motto_lang = la , motto_English = It will last i ...
. Halmos taught at Syracuse University, the
University of Chicago The University of Chicago (UChicago, Chicago, U of C, or UChi) is a private university, private research university in Chicago, Illinois. Its main campus is located in Chicago's Hyde Park, Chicago, Hyde Park neighborhood. The University of Chic ...
(1946–60), the
University of Michigan , mottoeng = "Arts, Knowledge, Truth" , former_names = Catholepistemiad, or University of Michigania (1817–1821) , budget = $10.3 billion (2021) , endowment = $17 billion (2021)As o ...
(~1961–67), the
University of Hawaii A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, th ...
(1967–68),
Indiana University Indiana University (IU) is a system of public universities in the U.S. state of Indiana. Campuses Indiana University has two core campuses, five regional campuses, and two regional centers under the administration of IUPUI. *Indiana Universi ...
(1969–85), and the
University of California at Santa Barbara The University of California, Santa Barbara (UC Santa Barbara or UCSB) is a public land-grant research university in Santa Barbara, California with 23,196 undergraduates and 2,983 graduate students enrolled in 2021–2022. It is part of the U ...
(1976–78). From his 1985 retirement from Indiana until his death, he was affiliated with the Mathematics department at Santa Clara University (1985–2006).


Accomplishments

In a series of papers reprinted in his 1962 ''Algebraic Logic'', Halmos devised polyadic algebras, an algebraic version of
first-order logic First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantifie ...
differing from the better known cylindric algebras of
Alfred Tarski Alfred Tarski (, born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician a ...
and his students. An elementary version of polyadic algebra is described in
monadic Boolean algebra In abstract algebra, a monadic Boolean algebra is an algebraic structure ''A'' with signature :⟨·, +, ', 0, 1, ∃⟩ of type ⟨2,2,1,0,0,1⟩, where ⟨''A'', ·, +, ', 0, 1⟩ is a Boolean algebra. The monadic/unary ...
. In addition to his original contributions to mathematics, Halmos was an unusually clear and engaging expositor of university mathematics. He won the Lester R. Ford Award in 1971 and again in 1977 (shared with W. P. Ziemer, W. H. Wheeler, S. H. Moolgavkar, J. H. Ewing and W. H. Gustafson). Halmos chaired the
American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...
committee that wrote the AMS style guide for academic mathematics, published in 1973. In 1983, he received the AMS's
Leroy P. Steele Prize The Leroy P. Steele Prizes are awarded every year by the American Mathematical Society, for distinguished research work and writing in the field of mathematics. Since 1993, there has been a formal division into three categories. The prizes have b ...
for exposition. In the ''American Scientist'' 56(4): 375–389, Halmos argued that mathematics is a creative art, and that mathematicians should be seen as artists, not number crunchers. He discussed the division of the field into and , further arguing that mathematicians and painters think and work in related ways. Halmos's 1985 "automathography" ''I Want to Be a Mathematician'' is an account of what it was like to be an academic mathematician in 20th century America. He called the book "automathography" rather than "autobiography", because its focus is almost entirely on his life as a mathematician, not his personal life. The book contains the following quote on Halmos' view of what doing mathematics means: In these memoirs, Halmos claims to have invented the "iff" notation for the words "
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false. The connective is b ...
" 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. The tombstone symbol ∎ (
Unicode Unicode, formally The Unicode Standard,The formal version reference is is an information technology standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems. The standard, wh ...
U+220E) is sometimes called a ''halmos''. In 2005, Halmos and his wife Virginia funded the
Euler Book Prize The Euler Book Prize is an award named after Swiss mathematician and physicist Leonhard Euler (1707-1783) and given annually at the Joint Mathematics Meetings by the Mathematical Association of America to an outstanding book in mathematics that is ...
, an annual award given by the Mathematical Association of America for a book that is likely to improve the view of mathematics among the public. The first prize was given in 2007, the 300th anniversary of
Leonhard Euler Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
's birth, to
John Derbyshire John Derbyshire (born 3 June 1945) is a British-born American far-right political commentator, writer, journalist and computer programmer. He was once known as a paleoconservative, until he was fired from the '' National Review'' in 2012 for ...
for his book about Bernhard Riemann and the Riemann hypothesis:
Prime Obsession ''Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics'' (2003) is a historical book on mathematics by John Derbyshire, detailing the history of the Riemann hypothesis, named for Bernhard Riemann, and some of its appl ...
.The Mathematical Association of America's Euler Book Prize
retrieved 2011-02-01.
In 2009
George Csicsery George Paul Csicsery (born March 17, 1948) is a Hungarian-American writer and independent filmmaker who has directed 35 films including performance films, dramatic shorts and documentaries. He is best known for his documentaries about mathematic ...
featured Halmos in a documentary film also called ''I Want to Be a Mathematician''.


Books by Halmos

Books by Halmos have led to so many reviews that lists have been assembled. *1942. ''Finite-Dimensional
Vector Spaces In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called ''scalars''. Scalars are often real numbers, but can ...
''. 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. (with Norman E. Steenrod, Menahem M. Schiffer, and Jean A. Dieudonne)
''How to Write Mathematics''
American Mathematical Society. *1978. (with 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. (with Steven Givant). ''Logic as Algebra'', Dolciani Mathematical Expositions No. 21, Mathematical Association of America. *2009. (posthumous, with Steven Givant), ''Introduction to Boolean Algebras'', Springer.


See also

* Crinkled arc * Commutator subspace *
Invariant subspace problem In the field of mathematics known as functional analysis, the invariant subspace problem is a partially unresolved problem asking whether every bounded operator on a complex Banach space sends some non-trivial closed subspace to itself. Many vari ...
* Naive set theory * Criticism of non-standard analysis *
The Martians (scientists) "The Martians" ( hu, "A marslakók") is a term used to refer to a group of prominent Hungarian scientists (mostly, but not exclusively, physicists and mathematicians) of Jewish descent who emigrated from Europe to the United States in the early ha ...


Notes


References

* Includes a bibliography of Halmos's writings through 1991. * * *


External links

*
"Paul Halmos: A Life in Mathematics"
Mathematical Association of America (MAA)
Finite-Dimensional Vector Spaces

"Examples of Operators" a series of video lectures on operators in Hilbert Space given by Paul Halmos during his 2-week stay in Australia, Briscoe Center Digital Collections
{{DEFAULTSORT:Halmos, Paul 1916 births 2006 deaths 20th-century American mathematicians Algebraists American logicians American people of Hungarian-Jewish descent American statisticians Donegall Lecturers of Mathematics at Trinity College Dublin Functional analysts Hungarian emigrants to the United States Hungarian Jews 20th-century Hungarian mathematicians Indiana University faculty Jewish American scientists Mathematical analysts Measure theorists Operator theorists Probability theorists Set theorists University of Chicago faculty University of Illinois Urbana-Champaign alumni University of Michigan faculty The American Mathematical Monthly editors