未经审视的生活不值得过。
"The unexamined life is not worth living."
理论计算机科学中的挑战不仅仅是解决问题,而是理解为什么它们难以解决。
"The essence of acting is to live truthfully under imaginary circumstances."