View source for Paul Halmos (nonfiction)

[[File:Paul_Halmos.jpg|thumb|Paul Halmos.]]'''Paul Richard Halmos''' (Hungarian: Halmos Pál; March 3, 1916 – October 2, 2006) was a Hungarian-Jewish-born American mathematician who made fundamental advances in the areas of mathematical logic, probability theory, statistics, operator theory, ergodic theory, and functional analysis (in particular, Hilbert spaces). He was also recognized as a great mathematical expositor.

He obtained his B.A. from the University of Illinois, 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 (nonfiction)|Joseph L. Doob]] supervised his dissertation, titled ''Invariants of Certain Stochastic Transformations: The Mathematical Theory of Gambling Systems''.

Six months after graduation he was working under [[John von Neumann (nonfiction)|John von Neumann]], 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.

Halmos taught at Syracuse University, the University of Chicago (1946–60), the University of Michigan (~1961–67), the University of California at Santa Barbara (1976–78), the University of Hawaii, and Indiana University. From his 1985 retirement from Indiana until his death, he was affiliated with the Mathematics department at Santa Clara University.

In a series of papers reprinted in his 1962 ''Algebraic Logic'', Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of [[Alfred Tarski (nonfiction)|Alfred Tarski]] 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 committee that wrote the AMS style guide for academic mathematics, published in 1973. In 1983, he received the AMS's Steele Prize 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 mathology and mathophysics, 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:

<blockquote>Don't just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case? What about the degenerate cases? Where does the proof use the hypothesis?
What does it take to be [a mathematician]? I think I know the answer: you have to be born right, you must continually strive to become perfect, you must love mathematics more than anything else, you must work at it hard and without stop, and you must never give up.

– Paul Halmos, 1985
</blockquote>

In these memoirs, Halmos claims to have invented the "iff" notation for the words "if and only if" 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 U+220E) is sometimes called a ''halmos''.

<blockquote>A good stock of examples, as large as possible, is indispensable for a thorough understanding of any concept, and when I want to learn something new, I make it my first job to build one." 

– Paul Halmos
</blockquote>

In 2005, Halmos and his wife Virginia funded the Euler Book Prize, an annual award given by the Mathematical Association of America for a book that is likely to improve the view of [[Mathematics (nonfiction)|mathematics]] among the public. The first prize was given in 2007, the 300th anniversary of [[Leonhard Euler (nonfiction)|Leonhard Euler]]'s birth, to John Derbyshire for ''Prime Obsession'', his book about [[Bernhard Riemann (nonfiction)|Bernhard Riemann]] and the Riemann hypothesis.

== In the News ==

<gallery>
</gallery>

== Fiction cross-reference ==

* [[Crimes against mathematical constants]]
* [[Gnomon algorithm]]
* [[Mathematics]]

== Nonfiction cross-reference ==

* [[Bernard Galler (nonfiction)]] - Doctoral student
* [[Donald Sarason (nonfiction)]] - Doctoral student
* [[Errett Bishop (nonfiction)]] - Doctoral student
* [[John von Neumann (nonfiction)]]
* [[Joseph L. Doob (nonfiction)]] - Doctoral advisor
* [[Mathematician (nonfiction)]]
* [[Marshall Harvey Stone (nonfiction)]]
* [[V. S. Sunder (nonfiction)]] - Doctoral student
* [[Alfred Tarski (nonfiction)]]

External links:

* [https://en.wikipedia.org/wiki/Paul_Halmos Paul Halmos] @ Wikipedia


[[Category:Nonfiction (nonfiction)]]
[[Category:Mathematicians (nonfiction)]]
[[Category:People (nonfiction)]]