Questions tagged [lambda-calculus]
The lambda-calculus tag has no summary.
5 questions
3
votes
2
answers
268
views
Can we derive Church encodings of concepts via algebraic manipulation of lambda terms? [closed]
Lambda calculus, as has been noted by many, is conceptually uncanny.
In lambda calculus, the application rule seems to imply that every term can be regarded as a function. This means that conceptually,...
- 536
2
votes
1
answer
178
views
Lambda calculus and quantifying the variable
I am generally new to higher-order logic as of currently, and I'm finding trouble in how to properly show the quantification of variables within a particular lambda term. So, take a simple complex ...
- 47
6
votes
4
answers
983
views
What explains the definition of true and false in untyped lambda calculus?
In lambda calculus, the Church encoding defines "true" and "false" as:
true := λx.λy.x
false := λx.λy.y
Interpreted conceptually, this would seem to say that "truth" is ...
- 5,502
10
votes
0
answers
186
views
Is Kripke truth semantics related to LUB semantics of the Lambda Calculus?
Lambda Calculus semantics are defined over a formal structure of values that are partially ordered with respect a sort of "more defined" relation. The least element is the completely ...
- 16.7k
5
votes
2
answers
306
views
What is the proof of that self-application in the λ-calculus is not inconsistent?
The SEP entry on lambda calculus discusses its consistency, surmising:
Early formulations of the idea of λ-calculus by A. Church were indeed inconsistent. The Church-Rosser theorem gives us, among ...
user40843