函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
集合论的悖论不应被视为理论本身的不一致,而应被视为表明某些被认为有效的推理方法实际上并非如此。
发现说谎者悖论及相关悖论使人们认识到,直觉上的真理概念并不像乍看起来那么简单。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
判断两个λ表达式是否等价的问题是无法解决的。
函数的概念在数学中是基础的,而λ演算试图使这一概念精确化。
λ演算本质上是一个关于函数及其应用的理论。
λ演算是一种表示函数及其应用的形式体系。
λ演算的基本概念是函数,被视为一种对应规则。
λ演算本质上是一种纯粹抽象的函数理论。
函数是一种对应规则,通过它当给定任何东西(作为参数)时,可以获得另一个东西(该参数的函数值)。
某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。