成功的关键是专注于目标,而不是障碍。
逻辑学研究不仅仅是关于推理规则,而是关于推理本身的本质。
λ演算是一种表示函数及其应用的形式体系。
I think it would be a disaster. The extraterrestrials would probably be far in advance of us. The history of advanced races meeting more primitive people on this planet is not very happy, and they were the same species. I think we should keep our heads low.
我不想被视为“童星”。我想被视为一个恰好有过童年的演员。
活在当下的能力是心理健康的重要组成部分。
The best ideas come from listening, not just talking.