am trying HARD AND FAILING to find how to express a question in Lambda..
Perhaps am mistaken in the search? As far as I understand, in Lambda calculus, we get to define the parameters, operations, etc. eg: TRUE := λx.λy.x FALSE := λx.λy.y AND := λp.λq.p q p OR := λp.λq.p p q etc..
Am wondering how, even theoretically, there is a way to compute a question with lambda.
i.e. an anonnymous/abstract question like:
QUESTION := The_Lambda_expression
What might compute as a question - there must be a function, no??
Any ideas? Clues?
Cheers and Many thanks!
It seems what you are looking for is predicates, which is nothing but a formal form of questions for which the response/answer is YES (True) or NO (False).
Check out the Logic and Predicate section at http://en.wikipedia.org/wiki/Lambda_calculus#Logic_and_predicates.