«What Is Mathematics?» in English with a Parallel Translation