约翰·纳什的主要贡献是（ ）。