与霍金一起证明奇点定理的人是（）。