函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
逻辑学研究不仅仅是关于推理规则,而是关于理性思维的结构。
The best performances come from a place of vulnerability and truth.