|
![](/i/fill.gif) |
Somebody defined recursion as follows:
"Recursion: see recursion."
Somebody else wanted to extend the joke to something involving the fixed
point operator. At this point, somebody interjected:
"According to the Curry-Howard isomorphism, a fixed point is the
center of a hermeneutic circle. Hope this helps."
Personally, I find this comment more of a joke than the actual joke! ;-)
I mean, as if knowing a consequence of the Curry-Howard isomorphism
could be described as "helpful". :-P
Post a reply to this message
|
![](/i/fill.gif) |