[math-fun] Paul Halmos, 1916-2006