Re: [isabelle] Infinitely recursive lambda expression or not?

On 14 Dec 2013, at 12:17, Yannick <yannick_duchene at> wrote:

> Why is f(False) not False ? If it's built with False only and only disjunctions, where could True comes from?
> Or else may be my interpretation is wrong: I see it as an infinite sequence like “x ∨ x ∨ x ∨ x ∨ x ∨ …”.

I’m afraid that’s your mistake. Such expressions simply don’t make sense.

Larry Paulson

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.