On Thursday 16 October 2008 02:01:57 Corey O'Connor wrote: > I was just reminded of one of the joke definitions of recursion: > "recursion: see recursion". > > Perhaps there is a similar one for fixed points? > "To learn about fixed points find the fixed point of the process: > Given somebody learn about fixed points from them."
According to the Curry-Howard isomorphism, a fixed point is the center of a hermeneutic circle. Hope this helps. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
