“我们必须知道，我们终会知道。” —— 《退休演讲》 戴维·希尔伯特