霍金用英文怎么说呢