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