Re: [isabelle] Infinitely recursive lambda expression or not?
On 14 Dec 2013, at 12:17, Yannick <yannick_duchene at yahoo.fr> 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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and