霍金和一个叫简•瓦尔德的姑娘定婚了。