HOME

TheInfoList



OR:

Paul Richard Halmos ( hu, Halmos Pál; March 3, 1916 – October 2, 2006) was a Hungarian-born
American American(s) may refer to: * American, something of, from, or related to the United States of America, commonly known as the "United States" or "America" ** Americans, citizens and nationals of the United States of America ** American ancestry, pe ...
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 logic, 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 for ...
,
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 o ...
,
statistics Statistics (from German language, German: ''wikt:Statistik#German, Statistik'', "description of a State (polity), state, a country") is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of ...
,
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 Ergodic theory (Greek: ' "work", ' "way") is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, statistical properties means properties which are expres ...
, 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 space#Definition, inner product, Norm (mathematics)#Defini ...
(in particular,
Hilbert space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
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
Hungary Hungary ( hu, Magyarország ) is a landlocked country in Central Europe. Spanning of the Carpathian Basin, it is bordered by Slovakia to the north, Ukraine to the northeast, Romania to the east and southeast, Serbia to the south, Croatia a ...
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 scholar ...
, 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 The Donegall Lecturership at Trinity College Dublin, is one of two endowed mathematics positions at Trinity College Dublin (TCD), the other being the Erasmus Smith's Chair of Mathematics. The Donegall (sometimes spelt Donegal) Lectureship was e ...
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 Syracuse University (informally 'Cuse or SU) is a Private university, private research university in Syracuse, New York. Established in 1870 with roots in the Methodist Episcopal Church, the university has been nonsectarian since 1920. Locate ...
, the
University of Chicago The University of Chicago (UChicago, Chicago, U of C, or UChi) is a private research university in Chicago, Illinois. Its main campus is located in Chicago's Hyde Park neighborhood. The University of Chicago is consistently ranked among the b ...
(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 Universit ...
(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 Santa Clara University is a private Jesuit university in Santa Clara, California. Established in 1851, Santa Clara University is the oldest operating institution of higher learning in California. The university's campus surrounds the historic Mis ...
(1985–2006).


Accomplishments

In a series of papers reprinted in his 1962 ''Algebraic Logic'', Halmos devised
polyadic algebra Polyadic algebras (more recently called Halmos algebras) are algebraic structures introduced by Paul Halmos. They are related to first-order logic analogous to the relationship between Boolean algebras and propositional logic (see Lindenbaum–Tar ...
s, 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 algebra In mathematics, the notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of first-order logic with equality. This is comparable to the role Boolean algebras play for propositional logic. Cylindric algebra ...
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 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 Lester is an ancient Anglo-Saxon surname and given name. Notable people and characters with the name include: People Given name * Lester Bangs (1948–1982), American music critic * Lester W. Bentley (1908–1972), American artist from Wisc ...
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 bicondi ...
" 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 Technical standard, standard for the consistent character encoding, encoding, representation, and handling of Character (computing), text expre ...
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 The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university, college, and high school teachers; graduate and undergraduate students; pure a ...
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 Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rig ...
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 ...
:
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 In mathematics, the concept of a measure is a generalization and formalization of geometrical measures ( length, area, volume) and other common notions, such as mass and probability of events. These seemingly distinct concepts have many simil ...
''. Springer Verlag. *1951. ''Introduction to
Hilbert Space In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
and the Theory of Spectral Multiplicity''. Chelsea. *1956. ''Lectures on
Ergodic Theory Ergodic theory (Greek: ' "work", ' "way") is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, statistical properties means properties which are expres ...
''. 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 Set theory#Axiomatic set theory, axiomatic set theories, which are defined using Mathematical_logic#Formal_logical_systems, forma ...
''. Springer Verlag. *1962. ''Algebraic Logic''. Chelsea. *1963. ''Lectures on
Boolean Algebras In abstract algebra, a Boolean algebra or Boolean lattice is a complemented distributive lattice. This type of algebraic structure captures essential properties of both set operations and logic operations. A Boolean algebra can be seen as a gen ...
''. 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 In mathematics, an integral transform maps a function from its original function space into another function space via integration, where some of the properties of the original function might be more easily characterized and manipulated than i ...
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, college, and high school teachers; graduate and undergraduate students; pure a ...
. *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 In mathematics, and in particular the study of Hilbert spaces, a crinkled arc is a type of continuous curve. The concept is usually credited to Paul Halmos. Specifically, consider f\colon ,1\to X, where X is a Hilbert space with inner product \ ...
* 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 Naive set theory is any of several theories of sets used in the discussion of the foundations of mathematics. Unlike Set theory#Axiomatic set theory, axiomatic set theories, which are defined using Mathematical_logic#Formal_logical_systems, forma ...
*
Criticism of non-standard analysis Nonstandard analysis and its offshoot, nonstandard calculus, have been criticized by several authors, notably Errett Bishop, Paul Halmos, and Alain Connes. These criticisms are analyzed below. Introduction The evaluation of nonstandard analysis i ...
*
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 The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university, college, and high school teachers; graduate and undergraduate students; pure a ...
(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