John Forbes Nash Jr. 1928–2015