 Gleason made fundamental contributions to widely varied areas of mathematics , including the theory of Lie groups , quantum mechanics , and combinatorics . According to Freeman Dyson 's famous classification of mathematicians as being either birds or frogs , Gleason was a frog : he worked as a problem solver rather than a visionary formulating grand theories . 
