史蒂芬霍金用英文怎么说呢