霍金的英文介绍带翻译怎么写的