Re: [Haskell-cafe] (OT) Humorous definition for fixed points?

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.