John Forbes Nash, Jr. (June 13, 1928 – May 23, 2015)