George david birkhoff biography of michael