16
Jun
13

Scooping the Loop Snooper

I just wrote a paper on recursion and some examples of uncomputable functions. These are standard fare for computer scientist types, but they were interesting and challenging for me. A mathematician, Geoffrey Pullum, has a wonderful Dr. Seuss-like poem summarizing how the proof that the halting problem in insoluable. It’s called “Scooping the Loop Snooper” and it’s here.

Advertisements

0 Responses to “Scooping the Loop Snooper”



  1. Leave a Comment

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s



%d bloggers like this: