paul r.halmos