Fixed Points

• If we could find a fixed point of R, we would be done

• How can we find fixed points?

• ``And then, a miracle occurs...''

• There is a function, Y, which computes fixed points.

• For any f,

        (Y f) = (f (Y f))

• !!!

Next

Copyright © 1999 M-J. Dominus