Gian-Carlo Rota Garrett Birkhoff