John Forbes Nash Jr. - Other languages