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

Holger Siegel holgersiegel74 at yahoo.de
Thu Oct 16 10:56:24 EDT 2008


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.




More information about the Haskell-Cafe mailing list