John Forbes Nash, Jr. - Bahasa lain