ג'ון פון נוימן – שפות אחרות