[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