霍金说，哥德尔定理保证了数学家们总有事情要做