11 Oct
2006
11 Oct
'06
11:58 p.m.
On 11/10/06, Nicolas Frisby <nicolas.frisby@gmail.com> wrote:
Intuitively
q = lfp f = f(f(f(f(f(f .... (f(f(f _|_)))...))))) (*) r = lfg g = g(g(g(g(g(g .... (g(g(g _|_)))...))))) (**)
This way of writing it would imply (at least to me) that the number of f's and g's involved is finite, when that's not really the intention. It's probably better to write something like: q = lfp f = f (f (f (f (...))))