Paul Richard Halmos (; 3 March 1916 – 2 October 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, mathematical structure, structure, space, Mathematica ...
and probabilist who made fundamental advances in the areas of
mathematical logic
Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...
,
probability theory
Probability theory or probability calculus 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 expre ...
,
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 operato ...
,
ergodic theory
Ergodic theory is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, "statistical properties" refers to properties which are expressed through the behav ...
, 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 (for example, Inner product space#Definition, inner product, Norm (mathematics ...
(in particular,
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
s). He was also recognized as a great mathematical expositor. He has been described as one of
The Martians.
Early life and education
Born in the
Kingdom of Hungary
The Kingdom of Hungary was a monarchy in Central Europe that existed for nearly a millennium, from 1000 to 1946 and was a key part of the Habsburg monarchy from 1526-1918. The Principality of Hungary emerged as a Christian kingdom upon the Coro ...
into a
Jewish
Jews (, , ), or the Jewish people, are an ethnoreligious group and nation, originating from the Israelites of History of ancient Israel and Judah, ancient Israel and Judah. They also traditionally adhere to Judaism. Jewish ethnicity, rel ...
family, Halmos immigrated to the United States at age 13. He obtained his B.A. from the
University of Illinois
The University of Illinois Urbana-Champaign (UIUC, U of I, Illinois, or University of Illinois) is a public university, public land-grant university, land-grant research university in the Champaign–Urbana metropolitan area, Illinois, United ...
, majoring in mathematics while also fulfilling the requirements for a degree in philosophy. He obtained the degree after only three years, and was 19 years old when he graduated. He then began a Ph.D. in philosophy, still at the
Champaign–Urbana campus. However, after failing his masters' oral exams, he shifted to mathematics and graduated 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) is an independent center for theoretical research and intellectual inquiry located in Princeton, New Jersey. It has served as the academic home of internationally preeminent scholars, including Albert Ein ...
, lacking both job and grant money. Six months later, he was working under
John von Neumann
John von Neumann ( ; ; December 28, 1903 – February 8, 1957) was a Hungarian and American mathematician, physicist, computer scientist and engineer. Von Neumann had perhaps the widest coverage of any mathematician of his time, in ...
, 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
Trinity College Dublin (), officially titled The College of the Holy and Undivided Trinity of Queen Elizabeth near Dublin, and legally incorporated as Trinity College, the University of Dublin (TCD), is the sole constituent college of the Unive ...
.
Halmos taught at
Syracuse University
Syracuse University (informally 'Cuse or SU) is a Private university, private research university in Syracuse, New York, United States. It was established in 1870 with roots in the Methodist Episcopal Church but has been nonsectarian since 1920 ...
, the
University of Chicago
The University of Chicago (UChicago, Chicago, or UChi) is a Private university, private research university in Chicago, Illinois, United States. Its main campus is in the Hyde Park, Chicago, Hyde Park neighborhood on Chicago's South Side, Chic ...
(1946–60), the
University of Michigan
The University of Michigan (U-M, U of M, or Michigan) is a public university, public research university in Ann Arbor, Michigan, United States. Founded in 1817, it is the oldest institution of higher education in the state. The University of Mi ...
(~1961–67), the
University of Hawaii
A university () is an educational institution, institution of tertiary education and research which awards academic degrees in several Discipline (academia), academic disciplines. ''University'' is derived from the Latin phrase , which roughly ...
(1967–68),
Indiana University
Indiana University (IU) is a state university system, system of Public university, public universities in the U.S. state of Indiana. The system has two core campuses, five regional campuses, and two regional centers under the administration o ...
(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 County, California, United States. Tracing its roots back to 1891 as an independent teachers college, UCSB joine ...
(1976–78). From his 1985 retirement from Indiana until his death, he was affiliated with the Mathematics department at
Santa Clara University
Santa Clara University is a private university, private Jesuit university in Santa Clara, California, United States. Established in 1851, Santa Clara University is the oldest operating institution of higher learning in California. The 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 called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over ...
differing from the better known
cylindric algebra
In mathematics, the notion of cylindric algebra, developed by Alfred Tarski, arises naturally in the Algebraic logic, algebraization of first-order logic with equality. This is comparable to the role Boolean algebra (structure), Boolean algebras pl ...
s 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 ...
and his students. An elementary version of polyadic algebra is described in
monadic Boolean algebra.
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 for exposition.
In the ''American Scientist'' 56(4): 375–389 (Winter 1968), 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" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either bo ...
" 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 or ''The Unicode Standard'' or TUS is a character encoding standard maintained by the Unicode Consortium designed to support the use of text in all of the world's writing systems that can be digitized. Version 16.0 defines 154,998 Char ...
U+220E) is sometimes called a ''halmos''.
In 1994, Halmos received the
Deborah and Franklin Haimo Award for Distinguished College or University Teaching of Mathematics.
In 2005, Halmos and his wife
Virginia Halmos funded the
Euler Book Prize, an annual award given by the
Mathematical Association of America
The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university
A university () is an educational institution, institution of tertiary edu ...
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 polymath who was active as a mathematician, physicist, astronomer, logician, geographer, and engineer. He founded the studies of graph theory and topology and made influential ...
's birth, to
John Derbyshire for his book about
Bernhard Riemann
Georg Friedrich Bernhard Riemann (; ; 17September 182620July 1866) was a German mathematician who made profound contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the f ...
and the
Riemann hypothesis
In mathematics, the Riemann hypothesis is the conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex numbers with real part . Many consider it to be the most important unsolved problem in pure ...
:
Prime Obsession.
In 2009
George Csicsery featured Halmos in a documentary film also called ''I Want to Be a Mathematician''.
Books
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'', can be added together and multiplied ("scaled") by numbers called ''scalars''. The operations of vector addition and sc ...
''. Springer-Verlag.
*1950. ''
Measure Theory
In mathematics, the concept of a measure is a generalization and formalization of geometrical measures (length, area, volume) and other common notions, such as magnitude (mathematics), magnitude, mass, and probability of events. These seemingl ...
''. Springer Verlag.
*1951. ''Introduction to
Hilbert Space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
and the Theory of
Spectral Multiplicity''. Chelsea.
*1956. ''Lectures on
Ergodic Theory
Ergodic theory is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, "statistical properties" refers to properties which are expressed through the behav ...
''. Chelsea.
*1960. ''
Naive Set Theory
Naive set theory is any of several theories of sets used in the discussion of the foundations of mathematics.
Unlike axiomatic set theories, which are defined using formal logic, naive set theory is defined informally, in natural language. It de ...
''. 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
The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university
A university () is an educational institution, institution of tertiary edu ...
.
*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
*
Naive set theory
Naive set theory is any of several theories of sets used in the discussion of the foundations of mathematics.
Unlike axiomatic set theories, which are defined using formal logic, naive set theory is defined informally, in natural language. It de ...
*
Criticism of non-standard analysis
*
The Martians (scientists)
Notes
References
* Includes a bibliography of Halmos's writings through 1991.
*
*
*
External links
*
"Paul Halmos: A Life in Mathematics" Mathematical Association of America
The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university
A university () is an educational institution, institution of tertiary edu ...
(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 Hungarian mathematicians
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
Indiana University faculty
Jewish American scientists
Mathematical analysts
Measure theorists
Operator theorists
Probability theorists
Set theorists
The American Mathematical Monthly editors
University of Chicago faculty
University of Illinois Urbana-Champaign alumni
University of Michigan faculty